Mathematical Logics with Truth

L'application Mathematical Logic comprend les sujets suivants:

> Negation - Pour identifier une déclaration comme étant vraie, fausse ou ouverte. Pour lister la négation d'une déclaration sous forme symbolique et sous forme de phrase. Pour lister les valeurs de vérité pour une déclaration donnée et sa négation.

> Conjonction - Pour définir un connecteur logique, une instruction composée et une conjonction. Pour lister une conjonction sous forme symbolique et phrase. Construire une table de vérité pour une conjonction.

> Disjonction - Pour définir une disjonction. Pour lister une disjonction sous forme symbolique et phrase. Construire une table de vérité pour une disjonction.

> Instructions conditionnelles - Identifier l'hypothèse et la conclusion d'un conditionnel. Pour lister un conditionnel sous forme symbolique et phrase. Pour lister la valeur de vérité d'un conditionnel, étant donné la valeur de chaque partie.

> Déclarations biconditionnelles - Pour lister une biconditional sous forme symbolique et sous forme de phrase. Identifier l'hypothèse et la conclusion. Évaluer une phrase pour déterminer si elle est biconditionnelle ou non.

Tautologies Pour identifier les différentes parties d'une déclaration composée. Construire une table de vérité pour une instruction composée afin de déterminer s'il s'agit ou non d'une tautologie.

> Contradiction

> Contingence

> Table de vérité à 3 variables

> Diagramme de Venn