Contrôle continu de logique n˚1 – L1 – Semestre 2
Texte intégral
Documents relatifs
Vous déterminerez – à l’aide de la méthode des arbres de vérité – si les formules suivantes sont des vérités logiques.. 1. pour chaque ensemble si les formules peuvent
Certains logiciens estiment qu’il faut en avoir non pas deux mais trois (le Vrai, le Faux et une troisième, l’Indéterminé – ni vrai ni faux) et construisent des systèmes
[r]
Si l’on suppose que φ est une tautologie et que ψ est une contradiction, peut-on former une tautologie en prenant φ et ψ comme les deux arguments des fonctions de vérité
Date: 18 Mars 2010 – Tous les documents sont autorisés – Attention : feuille imprimée recto & verso.. 2), les règles suivantes concernant la quatrième figure :. C- Si la
À partir de ces jugements (ou de leurs conséquences), construisez 4 syllogismes concluants en en donnant le nom et en détaillant les étapes que vous avez suivies pour y arriver...
Ce raisonnement est librement inspiré d’une discussion de John Dupré de la notion de Freedom of the Will dans Human Nature and the Limits of Science, Oxford University Press, 2001,
Vous donnerez la qualité (affirmatif ou négatif ), la quantité (universel ou particulier), puis le contraire (ou subcontraire) et enfin le contradictoire des jugements suivants
