ตรรกศาสตร์ |
ประพจน์ |
ประโยค หรือข้อความ ที่มีค่าความจริงเป็นจริง หรือ เท็จ อย่างใดอย่างหนึ่งเพียงอย่างเดียว |
การเชื่อมประพจน์และการหา ค่าความจริงของประพจน์ที่มีตัวเชื่อม |
|
การเชื่อมประพจน์ด้วยตัวเชื่อม " และ " |
ใช้สัญลักษณ์ |
|
p
|
q
|
p q
|
T
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
F
|
F
|
F
|
F
|
|
การเชื่อมประพจน์ด้วยตัวเชื่อม " หรือ " |
ใช้สัญลักษณ์ |
|
p
|
q
|
p q
|
T
|
T
|
T
|
T
|
F
|
T
|
F
|
T
|
T
|
F
|
F
|
F
|
การเชื่อมประพจน์ด้วยตัวเชื่อม " ถ้า...แล้ว " |
ใช้สัญลักษณ์ |
p
|
q
|
p q
|
T
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
T
|
F
|
F
|
T
|
การเชื่อมประพจน์ด้วยตัวเชื่อม " ...ก็ต่อเมื่อ..." |
ใช้สัญลักษณ์ |
p
|
q
|
p q
|
T
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
F
|
F
|
F
|
T
|
การเชื่อมประพจน์ด้วยตัวเชื่อม " ไม่ " |
ใช้สัญลักษณ์ |
p
|
p
|
T
|
F
|
F
|
T
|
p
|
q
|
p q
|
( p q ) p
|
T
|
T
|
T
|
T
|
T
|
F
|
F
|
T
|
F
|
T
|
F
|
T
|
F
|
F
|
F
|
T
|
การให้เหตุผลที่สมเหตุสมผล |
|
เหตุ
|
1. p
|
|
2. p q
|
ผล
|
q
|
|