ÖRNEK)
a, b ve c birer tam sayı olmak üzere, a².b³.c>0
eşitsizliği veriliyor
. p: "a'nın işareti hakkında kesin birşey söylenmez."
q: "b ile c zıt işaretlidir."
r: "b³-c³ işareti negatiftir."
olduğuna göre,
ı. (p^r') v q II. (p' v r) v q' III. (p' ^r) v (p ^ q) yukarıda verilen önermelerin doğruluk değerlerini bulunuz.​