Professional Documents
Culture Documents
Set : ก ม ของสมา ก ญ กษ
, ,
ำ
1 - -
n I. = 13T านวน มา เ า
นวน จ ง ะ R
ป
l
Meaning | z
+
| + เห อน แบบ ว อ ว
ให ไ 1
Eng .
ำ
ม เ ยน
% | นวน เ ม ะ I ° _ _ _ _
I 1
Set ะ
{ ส มา } นวน ตรรกยะ i Q
1
I เ น สมา ก
"
| นวนอ ตรรกยะ
E. .
. ไ เ นสมา ก |
| นวน เฉพาะ :P
1
ex . A- -
{ 1
, 2,3 }
_
บ เซต
IACB สมา ก
ก
วใน A เ นสมา กของ B
เ น บ เซต ¢ ไ เ น บ เซต
" " "
ic ะ ะ
-
เท็จ : F
เป็นประโยคบอกเล่าหรือปฏิเสธ
สม ล C
-
-
ประโยคคําถาม คําสั่ ง ขอร้อง อุทาน
4. )
NI 5. จ นด ประพจน์ ที่มีค่าความจริงเหมือนกันทุกกรณี
9-n-ei_m.in
ประพจน์ ที่มีค่าความจริงเป็น T ทุกกรณี
3. -
พิสูจน์
-
ประพจน์ ที่สมมูลกัน • •
"
"-
" " " 1.สมมติให้ประพจน์ ที่ต้องพิสูจน์ เป็น F . . .
T T F T T T T
-
2.หาค่าความจริงของประพจน์ ย่อย
ถ้าค่าความจริงของประพจน์ ย่อยขัดแย้ง
~
(น v ล) E ~
นก ~
ล
F F T F F T T
ประพจน์ ซ้ายมือ ± ประพจน์ ขวามือ
< >
นก ( กข ล ) E ( น กก 1 V1 นก ลง
.
-
Note .
น ←> ล ± 1น → ล) ก ( ล → น)
มีวงเล็บ:ให้หาค่าความจริงในวงเล็บก่อน
าง ส บ / เป ยนห
เห ผล
6. การ ^ ไ ไ
ไม่มีวงเล็บ:1. -
2. n 3. v
4. → 5. <→ ตามลําดับ ,
ตรรกศาสต
-
(เหตุท่1ี n เหตุท่2
ี เหตุท่3
ี … เหตุท่n
ี ) > ผล
_
พิสูจน์ แล้ว -