Mathematical Logics with Truth

De app Mathematical Logic bevat de volgende onderwerpen:

> Ontkenning - om een ​​verklaring als waar, onwaar of open te identificeren. Om de ontkenning van een uitspraak in symbolische en in zinvorm op te sommen. Om de waarheidswaarden voor een gegeven stelling en zijn ontkenning op te sommen.

> Conjunctie: om logische connector, samengestelde instructie en conjunctie te definiëren. Een combinatie weergeven in symbolische en in vorm van een zin. Een waarheidstabel construeren voor een conjunctie.

> Disjunctie - Disjunctie definiëren. Om een ​​disjunctie op te sommen in symbolische en in zinvorm. Een waarheidstabel construeren voor een disjunctie.

> Voorwaardelijke verklaringen - Om de hypothese en conclusie van een voorwaardelijke te identificeren. Om een ​​voorwaardelijke lijst op te sommen in symbolische en in zinvorm. Om de waarheidswaarde van een voorwaardelijke lijst weer te geven, gegeven de waarde van elk onderdeel.

> Biconditional Statements- Om een ​​biconditional op te nemen in symbolische en in zinvorm. Om de hypothese en conclusie te identificeren. Een zin evalueren om te bepalen of deze al dan niet biconditioneel is.

Tautologieën Om de afzonderlijke delen van een samengestelde verklaring te identificeren. Een waarheidstabel construeren voor een samengestelde verklaring om te bepalen of het een tautologie is of niet.

> Tegenspraak

> Voorwaardelijkheid

> Waarheidstabel met 3 variabelen

> Venn Diagram