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:

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

Règles d'équivalence pour Sentential Logic

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:

image0.jpg

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:

image0.jpg

Et, quand on parle de l'identité, vous pouvez quantifier déclarations, en utilisant les règles dans le tableau suivant:

image1.jpg

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.


» » » Logic pour les nuls