Page 72 - Mantık 11 | Kavram Öğretimi Kitabı
P. 72
MANTIK 11
KOŞULUN DEĞİLİ KARŞILIKLI KOŞUL DEĞİLİ 3. 1. ~ [(p Ʌ q) → (q V r)]
~ (p → q) ~ (p ↔ q) 2. (p Ʌ q) 1
p 3. ~ (q V r)
~q p ~p p
~q q q 2
2.
2 (p V q)
~ q
1 3
3 (~pV~q) ~ r
2
Çözümleyici çizelgede q ve ~q yolları kapalı olduğu için önerme
p q tutarsızdır. Önermede yollar kapalı olduğu için önerme geçerlidir.
3 3
~p ~q ~p ~q tutarlı Çalışma No.: 46
X X
1. DOĞRULUK TABLOSU
3. ~ (p → q) Ʌ (pɅq) ~ Ö
2 p -p q p → q ~p v q
D Y D D D
~ (p → q) ~ (pɅq)
p D Y Y Y Y
3 4
~q Y D D D D
~p q geçersiz
Y D Y D D
Çalışma No.: 44
1. Ahmet çalışkan değildir veya Mehmet çalışkan değildir. İki önermenin eş değer olması için önermelerin doğruluk
değerlerinin aynı olması beklenir.
2. p Ʌ q
( p → q), ( ~p v q ) önermelerinin doğruluk değeri aynı oldu-
3. ~p V q ğundan önermeler birbiriyle eş değerdir.
4. 5 karmaşık sayı değildir ve 8 karmaşık sayı değildir.
ÇÖZÜMLEYİCİ ÇİZELGE
( p → q), ( ~p v q ) önermelerinin eş değerliliğinin doğruluk
Etkinlik No.: 11 tablosuyla denetlenmesinde önermelerin arasına ancak ve
Çalışma No.: 45
ancak ↔ eklemi koyulur. Önermeler köşeli paranteze alınır
Yönerge ve değil alma kuralı uygulanır.
1.
Semboller Önerme D/Y 1. ~ ( p → q) ↔ ( ~p v q ) (~Ö)
p Elif, bilgisayar başında çok zaman D 1
geçiren biridir.
Elif, bilgisayar başında çok zaman
~p geçiren biri değildir. Y 3. ( p → q) 4. ~( p → q)
2. ~( ~p v q ) 5. ( ~p v q )
q Elif, bahçe işleriyle uğraşan biridir. D
Elif, bahçe işleriyle uğraşan biri p p
~q değildir. Y -q 2. -q 4.
r Elif, boş zamanlarında çeşitli D 3. 5.
faaliyetler yapan biridir.
Elif, boş zamanlarında çeşitli faali- ~p q p q
~r yetler yapan biri değildir. Y x x x x
2. “Elif, bilgisayar başında çok zaman geçiren biridir. (p) Önermelerin yolları kapalı olduğu için önermeler birbiriyle
ve (Ʌ) eş değerdir.
bahçe işleriyle uğraşan biri (p) 2. Her iki yöntem aynı sonucu yani önermelerin eş değer oldu-
ise (→) ğu yorumunu verir.
bahçe işleriyle uğraşan (q) Sonuca ulaşmada çözümleyici çizelge daha kolaylaştırıcıdır.
veya (V) Uzun ve çok bileşenli bileşik önermelerin çözümlenmesine
çeşitli faaliyetler yapan biridir. (r) çözümleyici çizelge daha uygundur.
Önermenin sembolleştirilmiş formu [(p Ʌ q)→ (q V r)] dır.
69