Kontingensi adalah suatu pernyataan majemuk yang nilai kebenarannya **tidak selalu Benar** (bukan Tautologi) dan **tidak selalu Salah** (bukan Kontradiksi).
Artinya, hasil akhirnya merupakan campuran antara nilai **Benar (T)** dan **Salah (F)**, bergantung pada kombinasi nilai kebenaran dari variabel-variabel penyusunnya.
Contoh rumus Kontingensi: [Q ∧ (P ⇒ Q)] ⇒ P
| P | Q | P ⇒ Q | Q ∧ (P ⇒ Q) | Hasil Akhir: [Q ∧ (P ⇒ Q)] ⇒ P |
|---|---|---|---|---|
| T | T | T | T | T |
| T | F | F | F | T |
| F | T | T | T | F |
| F | F | T | F | T |
Perhatikan kolom terakhir (Hasil Akhir). Nilai kebenarannya adalah campuran:
Karena terdapat setidaknya satu nilai T dan satu nilai F dalam kolom hasil akhir, maka pernyataan majemuk ini terbukti sebagai KONTINGENSI.