Jawab: Proposisi tunggal merupakan proposisi yang terdiri atas satu subjek dan predikat. Contoh: Kucing adalah hewan peliharaan. Subjeknya adalah kucing, predikatnya adalah hewan peliharaan. Proposisi majemuk merupakan proposisi yang terdiri atas satu subjek dan predikat atau bisa juga terdiri atas dua proposisi tunggal. Misalnya: Kucing adalah hewan peliharaan sekaligus hewan omnivora, subjeknya adalah kucing, predikatnya adalah hewan peliharaan dan hewan omnivora. Proposisi kategorial atau categories adalah proposisi yang berisi pernyataan yang membenarkan atau menyalahkan secara mutlak. Misalnya adalah semua makhluk hidup pasti akan mati.
2. Jelaskan yang dimaksud dengan proposisi disjungtif dan kegunaannya!
Jawab: Proposisi disjungtif adalah proposisi yang mengandung kemungkinan- kemungkinan atau pilihan-pilihan. Proposisi disjungtif biasanya ditandai dengan atau atau atau titik proposisi disjungtif dibedakan menjadi proposisi disjungtif dalam arti sempit dan proposisi disjungtif dalam arti luas. Proposisi disjungtif dalam arti sempit hanya mengandung dan Kemungkinan tidak lebih dan tidak kurang. Kedua kemungkinan itu tidak dapat bersama-sama benar. Dan dua kemungkinan itu hanya satu yang benar. Jika kemungkinan yang satu benar maka kemungkinan yang lain pasti salah.
3. Jelaskan yang dimaksud dengan proposisi konjungtif!
Jawab: Proposisi konjungtif adalah proposisi yang memiliki dua predikat yang tidak mungkin sama-sama memiliki kebenaran pada saat yang bersamaan titik proposisi ini biasanya ditandai dengan tidak mungkin sekaligus dan juga dan titik kebenaran suatu proposisi konjungtif tergantung pada suatu komposisi eksklusif yang benar yang berada di antara bagian-bagiannya. Bagian-bagian dari 1 proposisi konjungtif disebut konjungsi. Proposisi-proposisi semacam ini dapat dijabarkan menjadi 2 proposisi hipotesis atau menjadi suatu Kombinasi yang terdiri dari proposisi hipotesis dan proposisi kategoris.
4. Jelaskan kegunaan tabel nilai kebenaran!
Jawab: Tabel kebenaran adalah tabel Matematika yang digunakan dalam logika untuk menentukan nilai kebenaran dari suatu ekspresi logika yang masing-masing nilai kombinasi diambil dari variabel logika. Tabel kebenaran dapat digunakan untuk mencari tahu apakah ekspresi proposisi tersebut bernilai benar untuk semua nilai input yang paling secara logis. Satu atau lebih proposisi dapat dikombinasikan untuk menghasilkan proposisi baru. Operator yang digunakan untuk mengombinasikan proposisi disebut operator logika. Proposisi baru yang diperoleh dari pengkombinasian tersebut dinamakan proposisi majemuk. Proposisi yang bukan merupakan kombinasi proposisi lain disebut proposisi atomik. Dengan kata lain, proposisi majemuk disusun dari proposisi proposisi atomik.