Bir çelişmenin değili totolojidir.

Bir grup önermenin tümünün aynı zamanda doğru olabilmesine Tutarlılık denir.

Tümel-evetlemenin değillemesinin çözümleyici çizelge kuralı

(Ali dersi geçer (Ali derse düzenli çalışır Ali alıştırmaları çözer)) ((~Ali derse düzenli çalışır ~Ali alıştırmaları çözer) ~Ali dersi geçer) ifadesinde, basit önermeler yerine, bize verilen sembolleştirme anahtarına uygun olarak, önerme değişkenlerini koyarsak aşağıdaki sembolik önerme elde edilir.

Bir dalda birbirinin değili olan iki önerme ortaya çıkmış ise, o dal “kapalıdır”
denir ve bu durum ortaya çıktığında, o dalda daha fazla devam etmeden, hemen
dalın altına bir x (çarpı) işareti konarak, bu işaretin yanına o dalın hangi iki noktasının birbirinin değili olduğu belirtilir. Aksi takdirde o dal açık kalmış kabul edilir. Doğru yanıt A seçeneğidir. 

Öncüllerin sonuç önermesini zorunlu kıldığı ve doğru öncüllerin mutlaka doğru sonuçlara ulaştıracağı varsayımına dayalı çıkarım tipine Tümdengelim denir.

Bir önermenin yanlış olması, önermenin değilinin doğru olması demek olduğundan, bir A önermesi için yanlışlayıcı yorumlama aramak, önermenin değili olan ~A önermesi için doğrulayıcı yorumlama aramak demektir.

“değil”, “veya”, “ve” ve “ise” ifadeleri temel doğrusal önerme eklemlerindendir. Ancak “için” ifadesi ile iki önermeyi ekleyip yeni bir önerme elde edebilmemize rağmen, elde edilen bu önermenin doğruluk değerini sadece “için” ifadesinin anlamına ve birleştirdiğimiz iki önermenin doğruluk değerine bakarak karar veremeyiz.

~(~p → q) ≡ ~(~p ˄ ~q) ≡ (p ˅ q) olduğundan, doğru cevap p ˅ q olarak kabul edilir.

Bir ifadenin birbiriyle ilgisiz birden fazla anlamda kullanılmasına çok-anlamlılık denir.

İfadelerin anlam özellikleri ve ifadelerin anlamları bakımından ilişkilerinin incelenmesi semantik alanına, ifadelerin kullanım özellikleri ve ifadelerin kullanım özellikleri bakımından ilişkilerinin incelenmesi de pragmatik alanına aittir. Didaktik öğretim yöntemleri bilimi, dogmatik ise deneye dayanan kanıtları, deneyden edinilen bilgileri kabul etmeyerek, onları yok sayarak, kanılarını inanç öğretilerinden çıkaran anlamına gelmektedir. Bir dilin ifadelerinin yapısal özellikleri ve ifadelerin yapıları bakımından ilişkililerinin incelenmesi ise sentaks alanına girmektedir.

Önerme anlamlı ve kesin yargı bildiren bildirsel tümcelerdir.

B önermesinin doğru olduğu, yani D değerini aldığı, tüm değerlemelerde D önermeside doğru olduğından doğru cevap B |= D dir.

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

Bir veya daha fazla sayıda önermeden hareketle bir başka önermeye ulaşmak bir çıkarımda bulunmaktır. A şıkkı haric diğer şıklarada bir davranışa nasıl karşılık verileceğini bildirilmektedir.

~p→~q≡(~(~p))∨~q≡p∨~q elde
edilir.

2.satır 2.sütunda q’nun doğruluk değeri Y olduğundan ~q’nun doğruluk değeri D olmalıdır. 3.satır 1.sütunda p’nin doğruluk değeri Y ve 3.satır 2.sütunda ~q’nun doğruluk değeri Y olduğundan, (~q ^ p)’nin doğruluk değeri Y olmalıdır. 1.satır 1.sütunda p’nin doğruluk değeri D ve 1.satır 4.sütunda (~q ^ p)’nin doğruluk değeri Y olduğundan p › (~q ^ p) ifadesinin değeri Y olmalıdır.

Bir veya birden fazla sayıda önermeden hareketle bir başka önermeye ulaşmaya Çıkarım denir.

Açık kalan dalda bir önerme değişkeni değillemesiz olarak geçiyor ise, o
önerme değişkenine D değeri verilir. Açık kalan dalda önerme değişkeni değillemeli olarak geçiyor ise, o önerme değişkenine Y değeri verilir. Doğru yanıt C seçeneğidir. 

Galatasaray’ın şampiyon olmamasının yani ~p durumunun sadece Beşiktaş’ın son maçında kazandığı durumda Galatasaray’ın kazanamamasıyla gerçekleşeceği söylenmektedir, yani (t→~s) durumuna bağlıdır.