Dans tout système logique, vous comparez des déclarations pour prouver ou réfuter leur validité. Avec la logique propositionnelle, vous utilisez les règles d'équivalence suivants pour faire ces comparaisons:
Logic pour les nuls
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.
Sommaire
Ce tableau présente les opérateurs logiques de phrase:
Les tableaux suivants offrent tableaux entrées-sorties pour les opérateurs logiques de phrase:
Logic vous aide à parvenir à des conclusions, que vous faites avec l'aide de règles d'implication pour la logique propositionnelle:
Règles d'équivalence pour Sentential Logic
Identité et quantificateurs Règles pour Quantifier Logic
Logique de quantificateurs englobe les règles de la logique propositionnelle et étend sur eux afin que vous puissiez écrire des déclarations entières avec des symboles logiques. Ces symboles entrent en jeu lorsque vous travaillez avec identités, ou constantes interchangeables. Les règles de l'identité sont présentés ici:
Et, quand on parle de l'identité, vous pouvez quantifier déclarations, en utilisant les règles dans le tableau suivant:
Conseils pour passer un examen de Logic
Passer un examen dans la logique appelle à une tête claire et un plan clair. Les conseils donnés dans la liste ci-dessous peuvent vous aider à l'approche d'un examen logique avec la meilleure chance de prouver votre maîtrise de:
Commencez par en regardant sur l'ensemble examen pour avoir une idée de ce qui est couvert.
Réchauffez-vous avec un problème facile d'abord.
Remplir la colonne de tables de vérité par colonne.
Si vous savez que vous avez fait une erreur, dites-le - vous pouvez obtenir un crédit partiel.
Si le temps est court, terminer les choses fastidieux.
Vérifiez - et double-check - votre travail.