ページ1:

(pvq) vr
pv (qvr)
(peqer = p(qr)
4.สมบัติการ กล้างกันของนิส
d= (d~)~
สตาระ
1. สูตรกระจาย ~ เข้าไปใน A,V
b-ad-=(bvd)~
b-vd- = (bad)~
2. สูตรกระจาย AV เข้าไปใน Y, A
P^iqvr) = (paq) vipar)
PV(q^r) = (pv)^(pr)
->
3. สูตร
P→q = ~pvq
P → q = ~q → ~p
4.สูตร →→
(bed)
b~↔d = b↔d~ɛ≥ (b↔d)-
(debv
bud
การทําประพจน์เป็นรูปอย่างง่าย
1.สมบัติการต่อตัวซ้า
P^P = P PvP=P
2.สมบัติสลับที่
3. สมบัติการเปลี่ยนกลุ่ม A, V,
B
=
(4vbvd = vbvd)
dabbed dab bad
dvb = bvd
0

ページ2:

สัจนิรันดร์ ประพจน์ที่เป็นจริงในทุกกรณี
v,.
กำหนดให้เป็น F ถ้าขัดแย้ง เป็น จนิรันดร์
ไม่ขัดแย้ง เป็น จนิรันดร์
->
ถ้าไม่ขัดแย้ง ไม่เป็นสํจนิรันดร์
A กำหนดให้เป็น T ถ้าขัดแย้ง เป็นไม่เป็นสัจนิรันดร์
ทำให้ทั้งสองฝั่งสมมูลกัน
การอ้างเหตุผล : การอ้างเหตุผล จะสมเหตุสมผล เมื่อ
(เหตุ A เหตุ A เหตุ A... เหตุ) - ผล เป็นสัจนิรันดร์
ตัวบ่งปริมาณะ
VX สำหรับ X ทุกตัว
3x มี × บางตั๋วที่
->
Vx[P(x) เป็นจริง เมื่อ x ทุกตัว ทำให้ P(x) เป็นจริงหมด
เป็นเท็จ เมื่อมี 4 ชื่อตัว ทำให้ P(x) เป็นเท็จ
3x[P(x)) เป็นจริง เมื่อมี 3 ชื่อตัว ทำให้ P(x) เป็นจริง
เป็นเท็จ เมื่อมี x ทุกตัว ทำให้ P(x) เป็นเท็จหมด
fighting!
You