MANTIK - 5

SORU SORU
"ancak ve ancak" Bağlacı
(0 Û 1)' y (1 Û 1) Aşağıdaki ifadelerin doğruluk değerlerini bulunuz.
p q pÛq önermesinin doğruluk değerini
bulunuz. a) (0 Û 1)' Û 0'
1 1

1 0

0 1
b) (1 y 1)' Û (0 Ú 1)'
0 0

Melih Akgündüz Partikül Matematik

Ancak ve Ancak Bağlacının Özellikleri SORU SORU

 Û q º (p o q) Ù (q o p)
 p
(p Û q)' Û (p' Û q) (p Û 1)' y (0 Û p')'
SORU
önermesinin en sade halini bulunuz. bileşik önermesinin en sade halini
 Û q º p'Û q'
 p
(p Û p') Ú p bulunuz.
 ( p Û q)' º p' Û q
bileşik önermesinin en sade halini
p Û q' bulunuz.

• p Û p =

• p Û p' =

• p Û 1 =

• p Û 0 =

Melih Akgündüz Partikül Matematik

Hedef
Soru (p Û q)' º p ` q p Û q önermesinin doğruluk
değeri 1 ise bu önermeye çift
gerektirme denir.
(p Û q') Ù (p Ù q) SORU

bileşik önermesinin doğruluk değerini bulunuz. (p ` q)' Ú (p Û q)' SORU

önermesinin en sade halini Aşağıdaki önermelerden hangisi çift

bulunuz. gerektirmedir?

a) (p– y– p) Û p

b) [(p y q)' Û (q' y p')]'