1. Pernyataan Majemuk (Compound Statement): Pernyataan majemuk adalah pernyataan yang terbentuk dari dua atau lebih pernyataan sederhana yang digabungkan menggunakan kata penghubung logika, seperti "dan" (∧), "atau" (∨), "jika...maka..." (→), dan "jika dan hanya jika" (↔). Contoh pernyataan majemuk:
"Hari ini hujan dan saya membawa payung."
Ini merupakan pernyataan majemuk dengan kata penghubung "dan" (∧).
"Saya akan pergi ke bioskop jika hujan tidak turun."
Ini adalah contoh pernyataan majemuk dengan penghubung "jika...maka..." (→).
Setiap pernyataan majemuk bisa dinilai benar atau salah berdasarkan kebenaran dari masing-masing pernyataan sederhana yang menyusunnya.
2. Inferensi (Inference): Inferensi adalah proses menarik kesimpulan dari satu atau lebih pernyataan (premis) yang diketahui. Inferensi digunakan untuk menentukan kebenaran dari suatu pernyataan berdasarkan pernyataan lain yang sudah diketahui. Contoh inferensi adalah silogisme, di mana dua premis digunakan untuk menarik kesimpulan.
Contoh:
Premis 1: Jika hari ini hujan (p), maka saya membawa payung (q).
Premis 2: Hari ini hujan (p).
Kesimpulan: Maka, saya membawa payung (q).
Inferensi ini menggunakan aturan modus ponens, di mana jika "p → q" dan "p" benar, maka "q" juga benar.