Concepts Fondamentaux en Logique et Philosophie
Classé dans Philosophie et éthique
Écrit le en français avec une taille de 4,94 KB
Modus Ponens (MP)
Étant donné une prémisse conditionnelle et que son antécédent est vrai, nous pouvons en déduire le conséquent.
Introduction de l'Implication (II)
Si, en supposant A, nous pouvons déduire B, alors nous pouvons conclure que A implique B (A → B).
Introduction de la Conjonction (IC)
Si nous avons deux prémisses, nous pouvons en conclure leur conjonction.
Élimination de la Conjonction (EC)
Étant donné une conjonction comme prémisse, on peut en conclure l'un de ses membres.
Introduction de la Disjonction (ID)
Si nous avons une proposition comme prémisse, nous pouvons y ajouter n'importe quelle autre proposition comme disjonctif, et la disjonction résultante sera vraie.
Élimination de la Disjonction (ED)
Étant donnée une... Continuer la lecture de "Concepts Fondamentaux en Logique et Philosophie" »