Logique et raisonnementAvancé
Logique des prédicats
Passez de la logique propositionnelle à la logique des prédicats — explorez les prédicats, les quantificateurs (∀, ∃), la liaison de variables, les quantificateurs imbriqués, les preuves logiques et la preuve par contradiction.