Professional Documents
Culture Documents
การสมมูลและสัจนิรันดร์
การสมมูลและสัจนิรันดร์
ระ บ
การสม ลและ จ นด
น
ถาม
p∨ ∼ q ∼ q →∼ p
∼p∧q ∼ p →∼ q
p∧ ∼ q ∼ p →∼ q
∼ q →∼ p ∼p∨q
∼ (p ∨ q) ∼ (p ∧ q)
p∧q p∨q
า a = 3 แ ว a2 = 9 สม ล บ อความใด
า a2 = 9 แ ว a = 3 3 ห อ a2
a= =9
3 ห อ a2 = 9
a=
a = 3 ห อ a2 = 9
W → (S → T ) T → (W → S )
(S ∧ W ) → T S → (T → W )
3<5 3≤5
3≥5 3>5
https://quizizz.com/print/quiz/600ec8f7314adb001b16be13 1/3
7/14/23, 7:08 PM การสม ลและ จ นด
อใด อไป ไ ก อง
(p → r) → (p → q)
(p → q) → (p → r) ≡ (p∧ ∼ r) → (p∧ ∼ q)
≡ (p∧ ∼ r) → (p∧ ∼ q)
(p∧ ∼ r) → (p → q) (p → r) → (p∧ ∼ q)
≡ (p∧ ∼ q) → (p → r) ≡ (p → q) → (p∧ ∼ r)
อใด อไป ก อง
า p ↔ q าความจ งเ นจ ง แ ว
(p → r) ∧ (q → r) สม ล บ
(q ∧ r) → (∼ p → r) าความจ งเ น
(p ∧ q) → r
เ จ
อใด อไป เ น จ นด
[(p ∧ q) →∼ q] → (p → q) (p → q) → (q → p)
(∼ p∨ ∼ q) → (p → q) [(p∧ ∼ q) →∼ p] → (p → q)
อใด อไป เ น จ นด
(∼ p ∨ q) → (∼ p∧ ∼ q) ∼ p → (∼ p ∧ q)
(∼ p ∧ q) → (∼ q ∧ p) ∼ (p →∼ q) → q
อใด อไป ไ เ น จ นด
ก กข ก ก ดข ด
ก กข ด ก ดข ก
https://quizizz.com/print/quiz/600ec8f7314adb001b16be13 2/3
7/14/23, 7:08 PM การสม ลและ จ นด
อใด อไป เ น จ นด
∼p∧p ∼ (p ∨ q) → (p ∧ q)
(p ∧ q) → (p → q) (p →∼ q) ∨ (q →∼ p)
อใด อไป ไ เ น จ นด
[p ∧ (p → q)] → q p → (p ∨ q)
p∨ ∼ p (p ∧ q) → (∼ p∨ ∼ q)
[x∨ ∼ y] → (x → y) [(x∧ ∼ y) →∼ x] → (x → y)
[∼ x →∼ y] → (x → y) [∼ x∨ ∼ y] → (x → y)
https://quizizz.com/print/quiz/600ec8f7314adb001b16be13 3/3
7/14/23, 7:09 PM ว งป มาณ
ระ บ
ว งป มาณ
น
ถาม
จ ง เ จ
∀ ≥ เ อ สมการ าความจ ง อ
จะ าเ นเ จเ อแทน า จะ าเ นเ จเ อแทน า
จะ าเ นเ จเ อแทน า จะ าเ นเ จเ อแทน า
∀ > าน าอะไร
2
∃ x2 (x + 2) เ อ อเซตของ นวนจ ง จะ าความจ ง อ
าเ นเ จ ก นวน เ นจ งเ อแทน า
เ นจ งเ อแทน า เ นเ จเ อแทน า
ห บ นวนจ ง ก ว
∃ ∃ ∀
∀ ∀ ∀
นวนจ ง บาง ว ง
∃ ∃
∃ ∀
ห บ นวนจ ง บาง ว า แ ว
∀ ∃ → ∃ →
∀ → ∀ ∀ →
https://quizizz.com/print/quiz/5f6c8064bfbed6001b5d9d86 1/2
7/14/23, 7:09 PM ว งป มาณ
∃ ∃ ∀ ∃
∀ ∀ ∀ ∃
∃ ∃ ∀ ∀
∃ ∀ ∀ ∃
นวนจ ง ก นวน ใ ห อ
นวนจ ง บาง ว ใ
นวนจ ง บาง ว ใ
https://quizizz.com/print/quiz/5f6c8064bfbed6001b5d9d86 2/2