1) Pernyataan
Definisi: Kalimat deklaratif yang bisa dinilai benar atau salah.
Studi kasus: “Lampu menyala” (bisa dicek benar/salah), berbeda dengan “Tolong nyalakan lampu” (perintah).
2) Pernyataan Majemuk
Definisi: Gabungan proposisi menggunakan operator (AND, OR, NOT, XOR, dll).
Studi kasus: “User login DAN akun aktif” → keduanya harus benar agar akses diberikan.
3) Kesetaraan Logis
Definisi: Dua ekspresi berbeda yang memiliki tabel kebenaran identik.
Studi kasus: ¬(P ∨ Q) setara dengan (¬P ∧ ¬Q) — sering dipakai membalik syarat.
4) Aljabar Proposisi
Definisi: Himpunan hukum untuk menyederhanakan ekspresi logika.
Studi kasus: “P ∨ (P ∧ Q)” disederhanakan jadi “P” (Absorpsi) untuk menulis kode yang ringkas.
5) Implikasi & Biimplikasi
Definisi: Implikasi (P→Q) menyatakan “jika P maka Q”; Biimplikasi (P↔Q) menyatakan dua arah.
Studi kasus: “Jika sensor gerak aktif maka lampu menyala”; biimplikasi untuk status yang harus sinkron.
6) Argumentasi Logis
Definisi: Aturan penarikan kesimpulan dari premis (Modus Ponens, Tollens, dsb.).
Studi kasus: “Jika hujan maka jalan basah. Hujan. Kesimpulan: jalan basah.”