Logic : ตรรกศาสตร์

By BaiyorChalida | Updated: Sept. 12, 2017, 3:50 p.m.

Slideshow Video

SHARE THE AWESOMENESS

Education

create your own animated videos for free

_abc cc

* Powtoon is not liable for any 3rd party content used. It is the responsibility of each user to comply with 3rd party copyright laws.

Embed code

Select a size, the embed code changes based on your selection.

_abc Powtoon Transcript

Hey, it’s
"LOGIC"
ประพจน์ คือ ประโยคที่มีค่าความจริงเป็นจริงหรือเท็จอย่างใดอย่างหนึ่งเท่านั้น
ประพจน์
?
?
?
?
?
ประโยคที่เป็นประพจน์ จะเป็นประโยคบอกเล่าหรือปฏิเสธ ประโยคที่ไม่เป็นประพจน์ จะเป็นประโยคคำถาม คำสั่ง ขอร้อง อุทาน
Tip
ค่าความจริง การเชื่อมประพจน์และนิเสธของประพจน์
Hi
จริง
และ
เท็จ
หรือ
F
^
T
2017
^
ถ้า...แล้ว
ก็ต่อเมื่อ 
ไม่
~
2017
VISIT US
ถ้ามี n ประพจน์ ต้องมี 2n กรณี
ประพจน์ที่สมมูลกัน
p ∧ ( q ∧ r ) ≡ ( p ∧ q ) ∧ r ≡ ( p ∧ q ) ∧ ( p ∧ r ) 
p ∨ ( q ∨ r ) ≡ ( p ∨ q ) ∨ r ≡ ( p ∨ q ) ∨ ( p ∨ r )

p ↔ q ≡ ( p → q ) ∧ ( q → p ) ≡ ~p ↔ ~q  
~( p ↔ q ) ≡ p ↔ ~q ≡ ~p ↔ q ≡ ( p ∧ ~q ) ∨ ~( p ∧ q )

(p ∧ q) → r ≡ ( p → r ) ∨ ( q → r ) 
(p ∨ q) → r ≡ ( p → r ) ∧ ( q → r ) 
p →(q → r) ≡ q → ( p → r )

~( p ∧ q ) ≡ ~p ∨ ~q 
~( p ∨ q ) ≡ ~p ∧ ~q 
~( p → q ) ≡ p ∧ ~q

p ∧ T ≡ p 
 p ∧ F ≡ p 
 p ∨ T ≡ T  
p ∧ F ≡ F

p ∨ ~ p ≡ T 
p ∧ ~ p ≡ F 
p → F ≡ ~ p

T → p ≡ p 
 T ↔ p ≡ p 
 F ↔ p ≡ ~ p

ถ้า p → q เป็น T แล้ว
 ( p ∧ r ) → ( q ∧ r ) เป็นจริง 
( p ∨ r ) → ( q ∨ r ) เป็นจริง

ถ้า p → q เป็น T แล้ว 
 ( p ∧ r ) → ( q ∧ r ) เป็นจริง ( p ∨ r ) → ( q ∨ r ) เป็นจริง

p → q ≡ ~ p ∨ q ≡ ~q → ~p p ∨ q ≡ ~ p → q ≡ ~q → p

( p → q ) ∨ r ≡ ( p ∨ r) → (q ∨ r) 
( p → q ) ∧ r ≠ ( p ∨ r) → (q ∨ r)

p → ( q ∧ r ) ≡ ( p → q ) ∧ ( p → r ) 
 p → ( q ∨ r ) ≡ ( p → q ) ∨ ( p → r )

p ∧ ( q ∨ r ) ≡ ( p ∧ q ) ∨ ( p ∧ r ) 
 p ∨ ( q ∧ r ) ≡ ( p ∨ q ) ∧ ( p ∨ r )

ประพจน์ที่เป็นนิเสธกัน
~(p ∧ q) สมมูลกับ ~p ∨ ~q 
 ~(p ∨ q) สมมูลกับ ~p ∧ ~q 
 ~(p → q) สมมูลกับ p ∧ ~q

~(p   q) สมมูลกับ (p ~q) ∨(q ~p) 
 ~(p   q) สมมูลกับ (p ∧ ~q) ∨ ( q ∧ ~p)

→
→
→
→
~(p   q) สมมูลกับ (p ~q) ∨(q ~p) 
 ~(p   q) สมมูลกับ (p ∧ ~q) ∨ ( q ∧ ~p)

→
→
→
→
ตัวบ่งปริมาณ
∀x สำหรับ x ทุกตัว
1
Ǝx สำหรับ x บางตัว
2
เอามารวมกันได้ แต่ ∀xƎy กับ Ǝy∀x ไม่เท่ากัน
3
VS
ใช้หลักการสมมติว่าค่าความจริงเป็นเท็จ ถ้าเกิดขัดแย้งแสดงว่าเป็นสัจนิรันดร์
สัจนิรันดร์ 
เขียนตารางแจกแจงค่าความจริง
การสมเหตุสมผล
p→q 
p        
 เช่น อย่างนี้หมายความว่า 
[( p Λ q ) Λ p]→q

} q
p→q 
q→r

2017
} p→r
p→r
q→s
p∨q

}r∧s
p∧q } p∨q 
p      } p∨q

2017
p∨q
∼p

} q
เหมือน ∼p→q              
                               ∼p                ดูง่ายกว่า

} q
!
Members
...and I’m bringing
คณะเภสัชศาสตร์
600096
นางสาวมนัสนันท์ ทรงไตรย์
นางสาวชลิดา  แซ่โซว
600391
600396
นางสาวณพิชญา  จำเนียรสุข
600531
นางสาวนิรชา  พานจันทร์
the END

Logic : ตรรกศาสตร์

Copy this link to share with friends and colleagues:

WELCOME TO POWTOON!