Cevaplar

2012-10-03T21:09:34+03:00
'ancak ve ancak'ta p ve q için p ve q 1 ise ve p ve q 0 ise önerme doğru diğer durumlarda ise önerme yanlıştır
'ise'de sadece p 1 q ise 0 olduğunda önerme doğru diğer durumlarda ise yanlıştır
totoloji önermenin bütün ihtimallerinin doğru yani 1 çıkması çelişki ise bütün ihtimallerinin 0 yani yanlış çıkmasıdır 
Birkaç örnek çözelim bu arada bu sorular tablo yaparak daha kolay çözülür 

Ör: [p ise (p ancak ve ancak q)] önermesine bakalım

p/q/(p ancak ve ancak q)/[p ise(p ancak ve ancak q)]
1 1---------1------------------------0
1 0---------0------------------------1
0 0---------1------------------------0
0 1---------0------------------------0

Şimdi de totoloji ve çelişkiye örnek vereyim

Ör: (pVq)Vq' önermesini inceleyelim

p/q/pVq/Vq'
1 1--1---1
1 0--1---1
0 0--0---1
0 1--1---1
Görüldüğü gibi önermenin sonucu her durumda 1 çıktı bu durumda önerme totolojidir. Eğer önerme [(pVq)Vq']' şeklinde olsaydı önermenin sonucu bütün durumlarda 0 çıkacaktı ve önerme bir çelişki olacaktı. Fazla ayruntılı yazamadım ama umarım yardımcı olabilmişimdir      
0
2012-10-03T21:09:34+03:00

Bu önermeler, iki basit önermenin “ise” bağlacıyla birleştirilmesiyle oluşur. Bunun sonucunda “ön bileşen” ve “art bileşen” ortaya çıkar. Ancak bu birleştirmede eğer, bağlaç art bileşenin olup-olmama koşulunu ön bileşene bağlıyorsa Bitişik Koşullu Önerme; eğer bağlaç ön bileşenle art bileşenden birini seçip diğerini yok ediyorsa Ayrık Koşullu Önermedir. Örneğin : “Çok çalışırsa, istediği bölümü kazanır” (Bitişik). “Kazanamamışsa, gerektiği kadar çalışmış değildir” (Bitişik). “Ya Marmara’yı ya da Ege’yi kazanacağım” (Ayrık)

0