Bir önerme sütunundaki tüm değerler yanlış ise çelişki önermesidir.

Bir önermenin mantıksal biçimini ortaya çıkarmak için önce önermenin standart biçimde ifade edilmesi gerekir.

Yukarıdaki önermede soru işareti olan yerden hemen önce dallanma vardır. Gerektirmeli bir önermede birinci ifadenin değili ile ikincisinin arasına  gelmektedir. Dolayısıyla dallardan ilk birincisinin değili olduğundan soru işareti yerine q˄r gelmelidir.

Bir önermenin değilinin hiçbir doğrulayıcı yorumlaması yoksa, önermenin yanlışlayıcı yorumlaması yok demektir. Buna göre, bir önermenin totoloji olduğunu göstermek için, önermenin değilinin tamamlanmış çözümleyici çizelgesinde hiçbir açık dal olmadığını göstermek gereklidir. Doğru yanıt E seçeneğidir. 

Eğer tamamlanmış daldaki tüm değerler D ise, yani o tamamlanmış daldaki tüm önerme değişkenleri ve değillenmiş değişkenleri D değirini almış ise, o dal doğrudur denir.

“Önermenin yanlışlayıcı yorumlamasını bulurken dal açma kurallarının önceliği vardır” ifadesi çözümleyici çizelge yöntemine göre doğrudur.

p ˄ q → ~p ˅ r önermesi bir koşullu önerme olup, koşul bağlacının özelliği kullanılarak
(p ˄ q) ˅ ~(~p ˅ r) elde edilir. Buradan
~(~p ˅ r) ≡ (p ˄ ~r) olduğundan (p ˄ q) ˅ (p ˄ ~r) elde edilir. Sonuç olarak ve / veya doğrusal önerme eklemleri özellikleri kullanılarak p ˄ (q ˅ ~r) önermesine ulaşılır.

Ali’nin mantık dersinden geçmesinin gerekli bir koşulu, Ali’nin mantık dersine düzenli olarak çalışmış ve tüm alıştırmaları çözmüş olmasıdır” önermesini ele alalım. “A
B için gerekli bir koşuldur” önermesinin standart biçimi “B ise A” önermesidir. Önermede, Ali’nin mantık dersine düzenli olarak çalışmış ve tüm alıştırmaları çözmüş
olmasının, Ali’nin mantık dersinden geçmesinin gerekli bir koşulu olduğu söylendiğine göre, bu önermenin standart biçimi “(Ali mantık dersinden geçer ise (Ali mantık
dersine düzenli olarak çalışmıştır ve Ali tüm alıştırmaları çözmüştür))” ifadesidir.

Doğru cevap C seçeneğidir.

Bir önermenin doğru olmasını önermenin bildirdiği yargının gerçeklerle uyuşması olarak tanımlanır. Kimi doğru önermeler gerçek durum başka olsa bile yanlış olmayacak önermelerdir. Bu önermelere mantıksak olarak doğru önermeler denir.

 koşul önermesine ait çözümleyici çizelge kuralı

şeklindedir.

Bir sembolik çıkarımın doğruluk tablosunda, tüm öncülerin “D” değerinini aldığı satırlardan hiçbir satır önermesi “Y” değerini almıyorsa, bu çıkarım geçerlidir.

Yeni dallara yol açmadan, sadece mevcut dala yeni bir ya da iki önerme eklememizi gerektiren kurala “Alt alta yazma” kuralı denir.

Sembolleştirmenin aşamaları:
1. adım: Önerme eklemlerinin eşanlamlıları yerine standart önerme eklemleri yazılarak, ve noktalamaya uygun olarak, parantezler yerleştirilerek, önermenin standart biçimi elde edilir.
2. adım: Önerme eklemlerinin yerine önerme eklemi sembolleri konur.
3. adım: Basit önermeler yerine, sembolleştirme anahtarında verilen önerme
değişkenleri konur.
4. adım: Okumada kolaylık sağlamak amacıyla, kimi parantezler işlem önceliği kurallarına göre kaldırılabilir.

Anlamlı olan ve kesin bir yargı bildiren tümcelere önerme denir.

Doğruluk tablosu yöntemi ile bir önermenin semantik statüsünü belirleyebilir, bir çıkarımın geçerliliğini denetleyebiliriz. Ancak, doğruluk tablosu yöntemi önermeler mantığı için çok kullanışlı bir yöntem değildir. Bunun nedeni, doğruluk tablosundaki satır sayısının, göz önünde bulundurmamız gereken önerme değişkenlerinin sayısı ile orantılı olarak çok hızlı artmasıdır. Doğru yanıt D seçeneğidir. 

Bir önermenin doğru olmasına rağmen gerçekliğin başka türlü olması sebebiyle bu önermenin doğruluk değerinin değişmesi durumunda bu önermeye Olumsal Olarak Yanlış önerme denir.

Düzgün akıl yürütme kuralları bilimine Mantık denir.

Bir önermenin doğru olmasına rağmen gerçekliğin başka türlü olması sebebiyle bu önermenin doğruluk değerinin değişmesi durumunda bu önermeye Olumsal Olarak Yanlış önerme denir.