Mathematical Logics with Truth

Aplikasi Logik Matematik termasuk topik berikut:

> Negasi - Untuk mengenal pasti kenyataan sebagai benar, salah atau terbuka. Untuk menyenaraikan penafian kenyataan dalam simbol dan dalam bentuk hukuman. Untuk menyenaraikan nilai kebenaran untuk pernyataan yang diberikan dan penolakannya.

> Konjungsi -Untuk menentukan penyambung logik, pernyataan kompaun, dan konjungsi. Untuk menyenaraikan konjungsi dalam simbol dan dalam bentuk ayat. Untuk membina jadual kebenaran untuk konjungsi.

> Disjunction -Untuk menentukan disjunction. Untuk menyenaraikan disjunction dalam simbolik dan dalam bentuk ayat. Untuk membina jadual kebenaran untuk disjunction.

> Penyata Bersyarat -Untuk mengenal pasti hipotesis dan kesimpulan bersyarat. Untuk menyenaraikan bersyarat dalam simbol dan dalam bentuk ayat. Untuk menyenaraikan nilai kebenaran bersyarat, diberi nilai setiap bahagian.

> Penyataan Biconditional - Untuk menyenaraikan bersyarat dalam simbol dan dalam bentuk ayat. Untuk mengenal pasti hipotesis dan kesimpulan. Untuk menilai satu ayat untuk menentukan sama ada ia bersifat biconditional atau tidak.

Tautologi Untuk mengenal pasti bahagian-bahagian individu penyataan kompaun. Untuk membina jadual kebenaran untuk pernyataan kompaun untuk menentukan sama ada tautologi atau tidak.

> Perdebatan

> Kontingensi

> Jadual kebenaran dengan 3 pembolehubah

> Rajah Venn