ページ1:

09/08/68
ตรรกศาสตร์ M
M.4
ประพจน์ คือ ประโยคที่สามารถหาค่าความจริงได้
จริง - T
เป็นประโยคบอกเล่า เป็นประโยคปฏิเสธ (บอกค่าได้ 2 ทาง คือจริงหรือเท็จ ) เท็จ - F
ประโยคที่ไม่เป็นประพจน์ ได้แก่ ประโยคคำสั่ง / ขอร้อง / คำถาม, คาน,ปรารถนา จำนวน
การเชื่อมประพจน์
ที่ต่อเชื่อม 5 ตัว ได้แก่ - นิเสส, A และ, V หรือ
0
→ ก...แลว
- ก็ต่อเมื่อ
9
9
และ DSD
หรือ
ถา... แลว..
กทมเมอ
นิเสธ
P | 4
แล
A
TAT =T
TVT =T
T→T
= T
T↔T T
~P
-F
หรือ
V
T
T
TAH = F
TVF T
TF F
TF = F
~P | F
v
T
F
FAT = F
FVT T
FT AT
FT =F
~P | T
กา...แดง...
กล เล ←
F
T
FAH = F
FVF F
F→F -T
F F -T
P-T
นิเสธ
*T+TT
*F+F+F
F F
*T***F
นกนัน F
HT
T
เปลี่ยนส
ค่าตรงข้าม
การเขียนประพจน์ในรูปข้อความ
Ex. ให้ p = ฉันตื่นนอนแต่เช้า
1P
และ ๆ
.
จนมาเรียนทันเวลา
บ
ตอน คนไม่ตื่นนอนแต่เช้า
2. P - - ตอบ ถ้านั้นที่พระแม่เจ็บแล้วคนมาเรียนไม่ทันเวลา
4. PA 4 ตอน จนตื่นนอนแต่เราและฉันมาเรียนในเวลา
* 24 ตอบ ฉันตื่นนอนแต่เช้าก็ต่อเมื่อพวกเรียนขึ้นเวลา
การสร้างตารางค่าความจริง
* กำหนดให้
P
2.4 และ เป็นประพจน์ สร้างตารางแสดงค่าความจริงของรูปแบบของประพจน์ต่อไปนี้
6
จ
9-P
pv(ap)
TIFF
T
T
F
T
TF
FELE
= สมมุติ (มีค่าความจริงเหมือนกันทุกประการ)
•p=~(~p)
* PA9*9AP
• PV q = qVP
T
MENU
TTFT
เครื่องหมายเปลี่ยน
เพชรนิเสธ
papra
P99p
=
pg (pa)(q→p)
pA(qvr) (paq)v (par)
pv (qar) (pvq)n(pur)
• ~ (png) = ~p~ 97
•~ (pvq) = ~p^~9
P |q|r
TITIT
TTF
TIE
FT
TFF
FLELE
F|FIT
FTF
FIFIE
ง
From Baitoey
YPKr.

ページ2:

การสมมูล (ทำให้เป็นรูปง่าย)
1. ~ (p^q) = ~p~q * ~ (pvq) = ~p ^ ~ q
2 pg
= ~p~g
* น → A = ~นva
3.~(p→q) = ~(~pvq)
= ~~p^~g
4.(pv)~(pvq) vr
M
ประพจน์ที่สมมูลกัน คือ
จ
ประพจน์ที่ไม่ว่าค่าความจริงของประพจน์ย่อยคืออะไรก็หม
สุดท้ายจะต้องได้ค่าความจริงที่เหมือนกันเสมอ
00
=
5. p→ (ar) p→ (~qvr)
= ~pv (~qvr)
6. P→T
=
T
7. ~p can~g) = ~p → F = p
* q ^ ~q = F
LF-P = T
FI→ T =
F F = T
9. PV T = T
Tv T =
Flv T
10 - PAT = F
ITIA F
FIA F
BAFE
→→F =
Fl→F T
* ข้อใดที่เป็นประพจน์จริงและเป็นประทานเท็จ ดังต่อไปนี้
1. (p → q) v p
±(-p valvp
st-pvplv 1
* T V A A T
TVT
TVF:
2. CPAP) -4
F → 4 AT
FT T
FF = T
3. (~pg) (~p~q)
(pv)(p^~q)
= (pvq)~(pv)
T← F&F
# F
ต่อจาก Tik tok
FT & F
From Baitoey
YPKr.
10/08/68