Tentukan sifat atau sifat -sifat (mungkin lebih dari satu) dari kalimat logika proposisional: G: if (if not P then (Q or P))then (not(Q or R)if and only if (notQ and notR)) else Q berdasarkan nilai-nilai di bawah (under) semua interpretasi untuk G.

Kalimat logika proposisional G memiliki sifat-sifat berikut:1. Tautologi2. Konsisten3. Valid

Kalimat logika proposisional G dapat dianalisis dengan menggunakan tabel kebenaran. Dari tabel kebenaran, kita dapat melihat bahwa untuk semua kombinasi nilai-nilai P, Q, dan R, hasil dari G selalu bernilai True (T). Oleh karena itu, G adalah tautologi, yang berarti selalu benar. Selain itu, karena G selalu benar, maka G juga konsisten dan valid.