semestre L1 1 ANATOMIE STAPS Bobigny
Texte intégral
Documents relatifs
2/ Les termes de la conclusion ne peuvent être pris plus universellement dans la conclusion que dans les prémisses.. 3/ On ne peut rien conclure de deux
Il n’y a pas d’autres formules bien formées que celles qui sont obtenues grâce aux deux
1. Vous utiliserez notamment les règles invoquées par la tradition pour justifier vos démonstrations : 1/ Le moyen ne peut être pris deux fois particulièrement, il doit être pris
Vous déterminerez à l’aide de la méthode des arbres si les formules suivantes sont tautologiques
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
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é
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,
En utilisant le signe φ comme une méta-variable (pouvant tenir lieu de n’importe quelle formule bien formée), le signe > pour la tautologie, le signe ⊥ pour la contradiction et
