Sembolik Mantık

Yanıt Açıklaması: Bir çelişmenin değili totolojidir.

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

Yanıt Açıklaması: Tümel-evetlemenin değillemesinin çözümleyici çizelge kuralı

Yanıt Açıklaması: (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.

Yanıt Açıklaması: 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.

Yanıt Açıklaması: Ö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.

Yanıt Açıklaması: 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.

Yanıt Açıklaması: “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.

Yanıt Açıklaması: ~(~p → q) ≡ ~(~p ˄ ~q) ≡ (p ˅ q) olduğundan, doğru cevap p ˅ q olarak kabul edilir.

Yanıt Açıklaması: Bir ifadenin birbiriyle ilgisiz birden fazla anlamda kullanılmasına çok-anlamlılık denir.

Yanıt Açıklaması: İ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.

Yanıt Açıklaması: Önerme anlamlı ve kesin yargı bildiren bildirsel tümcelerdir.

Yanıt Açıklaması: 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.

Yanıt Açıklaması: Anlamlı olan ve kesin bir yargı bildiren tümcelere önerme denir.

Yanıt Açıklaması: 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.

Yanıt Açıklaması: ~p→~q≡(~(~p))∨~q≡p∨~q elde edilir.

Yanıt Açıklaması: 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.

Yanıt Açıklaması: Bir veya birden fazla sayıda önermeden hareketle bir başka önermeye ulaşmaya Çıkarım denir.

Yanıt Açıklaması: 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.

Yanıt Açıklaması: 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.