ページ1:

บ
9
ตรรกศาสตร์
ประพจน์ - บอกเล่า ปฏิเสธ
การเชื่อม ๆ เป็นจน ๆ
ค่าเชื่อม
จุน ปราบจนย่อย
ค่าความจริง
A
และ
5
หาค่าความจริงได้ TE
3 เป็น จน เหมา - ปรมจนประกอบ
ปรามจนย่อย
1. และ A เป็นจริงต่อเมื่อทบ เป็นจริง T
3) หรือ V เป็นจริง)มืออย่างใดอย่างหนึ่งจริง
3) ถ้า แล้ว - ตัวหน้า F ค่าเป็นจริงเสมอ
4) ก็ต่อเมื่อ 4 เป็นจริง เมื่อ หน้า หลังตรงกัน
นิเสธ
การถามจา
0 การคานวณหาค่าความจริง
Ex. (PV9) (ns)
-
เหมือนกัน จริง
กลูตารล่มขด
(1).กฎการสลับที่
pnggap pvg = qvp
p + 9 = 9 - P
P=F
F I
F
9% T
T
F
rar
2)
กฎการเปลี่ยนหมู่
SET
F#
3. รูปแบบของประพจน์ที่สมมูลกัน
มีค่าความจริงเหมือนกันทุกกรณี
9) กฎการสมมูล
pig = (p+gin(gp)
กฎการมีเงื่อนไข
p = ~pvg
~pg~(p) Vg = pvq
แย้งสลับที่
(png) r = pn (gnr)
(pv) = pv (qv)
3. กฎการแจกแจง
p(gnv) = (pvq) ^ (pv)
p^(gnv) = (png) v (par)
4) กฎเดอร์ มอแกน
2
~?png) = ~p~q
(pvq) = ~p~g
5). กฎนิเสธ ส่องชิ้น (p) = p

ページ2:

Ex.png
& -q-~p
~~p = ~(~)~p
= 9 vp
- ไม่สมมูล
๏ สทจนิรันดร์
มีค่าความจริงเป็นจริงทุกกรณี
1) สร้างตารางค่าความจริง
Ex. p→ (pva)
P → (pv9)
T
T
P 9
P v ๆ
T
T
T
F
ก - 1
F
T
F
T
F
* เป็นสัจนิรันดร์
T
T
T
F
T
Ex. p+q & (~p vq) ^ (~qvp)
pq=rpagin (q-p}
= (~p vg) ^ (~q vp)
* สมบูลกัน
2) วิธีของแข็ง 43
Ex. [pn(pg)] -9
(F9
Lord's!
E
E
43
- เป็นสีนวนคร
หลักการ) ให้ประมาน เป็น F
53
ถ้ามีความแย้ง = เป็น
53
43
FR
610
H
19
E
C