Mathematical Logics with Truth

L'app Mathematical Logic include i seguenti argomenti:

> Negazione: per identificare un'istruzione come vera, falsa o aperta. Per elencare la negazione di un'istruzione in forma simbolica e in forma di frase. Per elencare i valori di verità per una determinata affermazione e la sua negazione.

> Congiunzione -Per definire connettore logico, istruzione composta e congiunzione. Per elencare una congiunzione in forma simbolica e in forma di frase. Costruire una tabella di verità per una congiunzione.

> Disgiunzione -Per definire la disgiunzione. Per elencare una disgiunzione in forma simbolica e in forma di frase. Costruire un tavolo di verità per una disgiunzione.

> Dichiarazioni condizionali -Per identificare l'ipotesi e la conclusione di un condizionale. Per elencare un condizionale in forma simbolica e in forma di frase. Per elencare il valore di verità di un condizionale, dato il valore di ciascuna parte.

> Dichiarazioni bicondizionali - Per elencare un bicondizionale in forma simbolica e in forma di frase. Per identificare l'ipotesi e la conclusione. Valutare una frase per determinare se è bicondizionale o meno.

Tautologie Identificare le singole parti di una dichiarazione composta. Costruire una tabella di verità per un'istruzione composta per determinare se sia o meno una tautologia.

> Contraddizione

> Contingenza

> Tabella della verità con 3 variabili

> Diagramma di Venn