Logique des connecteurs et logique des quantificateurs.