Matematikte önermeler genellikle p,q,r,s… gibi harflerle gösterilir. Önerme olma şartının doğru veya yanlış bir hüküm belirtmesidir demiştik buna göre eğer önerme doğru ise D veya 1 ,yanlış ise Y veya 0 biçiminde ifade edilir. Buradaki 0 ve 1 değerlerine Doğruluk değeri denir, doğruluk değerlerinin gösterildiği tabloya da doğruluk tablosu denir.
Tablolardan anlaşıldığı üzere p ve q gibi iki önermenin doğruluk değerlerinin 22=4 farklı sıralaması ve p,q,r gibi 3 farklı önermenin de 23=8 farklı doğruluk değeri sıralaması vardır.
NOT: 1 önerme için 21 , iki önerme için 22 , … n önerme için 2n tane doğruluk değeri vardır.
TANIM: Doğruluk değerleri ayno olan önermelere denk önermeler veya eşdeğer önermeler denir. P ve q önermelerinin birbirine denk olması “ “ ile gösterilir ve p önermesi q önermesine denktir” diye okunur. İki önerme denk değil ise “ ” ile gösterilir.
Tablolardan anlaşıldığı üzere p ve q gibi iki önermenin doğruluk değerlerinin 22=4 farklı sıralaması ve p,q,r gibi 3 farklı önermenin de 23=8 farklı doğruluk değeri sıralaması vardır.
