Bir gündelik dil önermesindeki her bir farklı basit önermeyi farklı bir önerme değişkeni ile eşleştiren bir listeye, bu gündelik dil önermesi için bir “sembolleştirme anahtarı” denir.

(Futbol oynamak yetenek işidir ˄ ((Kızlarda futbol oynayabilir ˄ Elif futbol oynamaya 7 yaşında başlamıştır) → Elif yeteneklidir)) sembolleştirme anahtarına uygun olarak önerme değişkenlerini koyarsak, (p ˄ ((q ˄ r) →s)) elde edilir.

Dünya ve güneş yuvarlaktır. Tümcesinde yer alan ve sözcüğü önerme eklemidir.

Bir ifadenin birbiriyle ilgisiz birden fazla anlamda kullanılması, çok-anlamlılık olarak tanımlanmaktadır. “Ben” sözcüğü hem kişinin kendisini hem de vücuttaki bir kitleyi ifade ettiğinden çok-anlamlıdır.

Anlam bulanıklığı, bir ifadenin hangi varlıklara, hangi durumlara uygulanabileceğinin kesin olarak belirlenememesidir.

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

Bir önermenin çelişki önermesi olduğunu göstermek için çözümleyici çizelge yöntemine göre önermenin çözümleyici çizelgesini yapıp tüm dalların kapalı olduğunu göstermek gerekir.

A seçeneğindeki önermede öncül önermeler doğru olmasına karşın sonuç önermesi yanlıştır, dolayısıyla bu önerme geçersiz bir önermedir. B seçeneğinde öncül önermesi doğrudur ancak sonuç önermesiyle öncül önerme arasında mantık ilişkisi olmadığından bu önerme de geçersizdir. Benzer şekilde D seçeneğinde Fiziğin kolay olması matematiğin zor olmasının bir sonucu değildir. E seçeneği de B seçeneğine benzer şekilde geçersiz bir önermedir.

Bir grup önermenin tümünün aynı zamanda doğru olabilmesi bu önermeler grubunun tutarlı olması demektir.Anlamlı olan ve kesin bir yargı bildiren tümcelere ise önerme denir.Kimi doğru önermelerin önermelerin doğru olmaları gerçekliğin durumuna bağlıdır. Yani gerçekliğin başka türlü olması ve dolayısıyla bu önermelerin doğruluk değerinin değişmesi mümkündür. Bu tür önermelere olumsal olarak doğru önermeler, bu tür doğruluğa da olumsal doğruluk denir.Mantık ise düzgün akıl yürütme kurallarının bilimi olarak tanımlanır.

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

Anlam bulanıklığı, bir ifadenin hangi varlıklara, hangi durumlara uygulanabileceğinin kesin olarak belirlenememesidir.

Bir çıkarımın denetlenmesi ise, çıkarımın
geçerli mi geçersiz mi olduğunun ortaya konması demektir. 

Gündelik dilin hem terim sayısı hem de tümce yapıları bakımından zenginliği
dolayısıyla, ne sembolleştirme ne de gündelik dile çeviri işlemleri kesin kurallarla ortaya konamaz.

Sembolleştirme sonucunda
hangi sembolik önermenin elde edileceği, sembolleştirme anahtarına bağlı olarak
değişir.

Doğru cevap D seçeneğidir.

((Ayşe kopya çekmiştir) ise (Ayşe tüm derslerinden geçmiş ise değildir Ayşe başarılı bir öğrencidir.)) ifadesinde, basit önermeler yerine, bize verilen sembolleştirme anahtarına uygun olarak, önerme değişkenlerini koyarsak aşağıdaki sembolik önerme elde edilir
((r › (q › ~p))

B ve C şıklarındaki akıl yürtmeler tümevarımlı, D ve E şıklarındaki önermeler ise tümdengelimli akıl yürütmelerdir.

Bir veya daha fazla sayıda önermeden hareketle bir başka önermeye ulaşmak bir çıkarımda bulunmaktır. Bir çıkarımda bulunduğumuzda ulaştığımız önerme sonuç önermesi, sonuç önermesine ulaşmak için başlangıç noktası olarak aldığımız önermeler öncül önermeler veya kısaca öncüllerdir.

Doğruluk tablosunda değişkenler arttıkça tablo çok hızlı bir şekilde büyür ve hata yapılma ihtimali giderek artar. Fakat çözümleyici çizelge ona göre çok daha kısa ve pratiktir.

Tikel evetlemeli önerme sadece iki bileşeni de yanlış olduğu durumda yanlıştır. Diğer tüm durumlarda doğrudur.

A önermesinin çözümleyici çizelgesinde açık dal yoksa yani bütün dallar kapandıysa A bir çelişkidir. Dolayısıyla A totoloji değildir.

Bir çıkarımın geçerliliğini çözümleyici çizelge ile denetlerken tepe noktalara alt alta öncülleri ve sonuç önermesinin değilini yazarız. Tüm dallar kapanırsa çıkarım geçerlidir. Doğru yanıt B seçeneğidir. 

Bir dalda birbirinin değili olan iki önerme ortaya çıkmış ise o dal kapalıdır. Dolayısıyla da o dala kapalı dal denir.