Bu önermenin değilini alınırken p'nin değilini alınır araya V (veya) gelir. q ise aynı şekilde kalır. Daha sonra oluşan ifadenin tekrar değili alınmalıdır.
Sonuç olarak 7 önermenin birbirlerine göre 128 tane doğruluk durumu vardır .
Değilleme Eklemi, Değil (~) Olumlu bir ifadeyi olumsuz, olumsuz bir ifadeyi olumlu yapan deyimlere değilleme denir. Değilleme eklemi, “~” sembolü ile gösterilir. Örneğin; “İnsan özgürdür.” önermesini p ile sembolleştirirsek, “İnsan özgür değildir.” önermesi , ~p biçiminde sembolize edilir.
Önerme nedir , sorusu, mantık ve felsefenin en değerli konularından birine dönüktür. Bu bağlamda önerme nedir sorusu şöyle yanıtlanabilir: Önerme , en az iki terimden oluşan, içinde en az bir yargı ve bir doğruluk değeri taşıyan cümlelerdir. ... “Ay, Dünya'nın uydusudur.” Bir önermedir ve doğruluk değeri, “doğru”dur.
Ana eklem ; bir bileşik önermede , önermenin tümünü etkileyen , belirleyen, ana yöneten eklemdir. Ana bileşen; bir bileşik önermede ana eklemin bağladığı, etkilediği bileşenlere denir. ❖ Örnekler: 1.) ( p ∨q) bileşik önermesinde (∨) ana eklem , (p), (q) da ana bileşenlerdir.
Bir önermenin doğruluk değeri , yargının doğru ya da yanlış olduğunu gösteren değeridir. Önerme, doğru ya da yanlış hüküm bildiren ifadedir. Şu halde önermenin olası iki farklı doğruluk değeri vardır. İki değerli mantıkta üçüncü bir değer yoktur.
Bir önermenin doğru veya yanlış olarak nitelenmesine önermenin doğruluk değeri denir. Doğru bir önermenin doğruluk değeri 1, yanlış bir önermenin doğruluk değeri 0 dır. ... p yanlış bir önerme ise bu durum p ≡ 0 ile gösterilir.
Standart bir anlayışa göre, bir önermenin doğru olması , o önermenin anlam içeriğinin olgulara (gerçeklere) uygun olmasıdır (tekabül etmesidir). Bu anlayış, uygunluk (mütekabiliyet) kuramı olarak bilinir.
