Академический Документы
Профессиональный Документы
Культура Документы
Devoir 1
Professeur : Alistair Savage
Date Limite : 10h00, 19 septembre 2014
Les devoirs devront être remis au début de la classe à la date indiquée ci-dessus. Les devoirs soumis à la
fin de la classe auront 25% du total des points disponibles déduit de la note. Pour éviter la perturbation de
la classe, les devoirs soumis pendant la classe (c’est-à-dire, après que la classe a commencé et avant qu’elle
n’ait terminé), recevront une note de zéro. Voyez
http://mysite.science.uottawa.ca/asavag2/mat2762/devoirs.html
pour plus de détails.
Question 1. Écrivez la table de vérité pour les formules propositionnelles suivantes. Dans chaque cas,
expliquez si la formule est une tautologie, une contradiction, ou aucune des deux. (Expliquez comment vous
arrivez à cette conclusion.)
(a) (p ⇒ ¬p) ∨ (¬p ⇒ p)
(b) ((p ∧ q) ⇒ ¬r) ⇒ (¬r ⇒ ¬q)
(c) (p ⇒ q) ⇒ ¬(q ⇒ p)