Opérateurs logiques Sentential, tableaux entrées-sorties, et règles d'implication

Travailler avec la logique propositionnelle signifie travailler avec un langage conçu pour exprimer des arguments logiques avec précision et de clarté. Pour faire usage de ce langage de la logique, vous devez savoir ce que les opérateurs à utiliser, les tableaux d'entrées-sorties pour les opérateurs, et les règles d'implication.

Ce tableau présente les opérateurs logiques de phrase:

image0.jpg

Les tableaux suivants offrent tableaux entrées-sorties pour les opérateurs logiques de phrase:

image1.jpg

Logic vous aide à parvenir à des conclusions, que vous faites avec l'aide de règles d'implication pour la logique propositionnelle:

image2.jpg

» » » Opérateurs logiques Sentential, tableaux entrées-sorties, et règles d'implication