Mathematical Logics with Truth

Aplikasi Logika Matematika mencakup topik-topik berikut:

> Negasi - Untuk mengidentifikasi pernyataan sebagai benar, salah atau terbuka. Untuk daftar negasi dari pernyataan dalam bentuk simbolis dan kalimat. Untuk membuat daftar nilai kebenaran untuk pernyataan yang diberikan dan negasinya.

> Konjungsi -Untuk menentukan konektor logis, pernyataan majemuk, dan konjungsi. Untuk membuat daftar konjungsi dalam bentuk simbolis dan kalimat. Untuk membangun tabel kebenaran untuk konjungsi.

> Disjungsi -Untuk menentukan disjungsi. Untuk membuat daftar disjungsi dalam bentuk simbolis dan kalimat. Untuk membangun tabel kebenaran untuk disjungsi.

> Pernyataan Bersyarat -Untuk mengidentifikasi hipotesis dan kesimpulan yang bersyarat. Untuk daftar bersyarat dalam bentuk simbolis dan kalimat. Untuk daftar nilai kebenaran dari suatu kondisi, diberi nilai setiap bagian.

> Pernyataan Biconditional - Untuk membuat daftar bikondisional dalam bentuk simbolis dan kalimat. Untuk mengidentifikasi hipotesis dan kesimpulan. Untuk mengevaluasi kalimat untuk menentukan apakah itu bikondisional atau tidak.

Tautologi Untuk mengidentifikasi bagian-bagian individual dari pernyataan majemuk. Untuk membangun tabel kebenaran untuk pernyataan majemuk untuk menentukan apakah itu tautologi atau tidak.

> Kontradiksi

> Kontingensi

> Tabel kebenaran dengan 3 variabel

> Diagram Venn