Mathematical Logic app includes following topics:
> Negation - To identify a statement as true, false or open. To list the negation of a statement in symbolic and in sentence form. To list the truth values for a given statement and its negation.
> Conjunction -To define logical connector, compound statement, and conjunction. To list a conjunction in symbolic and in sentence form. To construct a truth table for a conjunction.
>Disjunction -To define disjunction. To list a disjunction in symbolic and in sentence form. To construct a truth table for a disjunction.
> Conditional Statements -To identify the hypothesis and conclusion of a conditional. To list a conditional in symbolic and in sentence form. To list the truth value of a conditional, given the value of each part.
>Biconditional Statements- To list a biconditional in symbolic and in sentence form. To identify the hypothesis and conclusion. To evaluate a sentence to determine whether or not it is biconditional.
Tautologies To identify the individual parts of a compound statement. To construct a truth table for a compound statement to determine whether or not it is a tautology.
> Contradiction
> Contingency
> Truth table with 3 variables
>Venn Diagram