สมมูลและนิเสธของประโยคที่มีตัวบ่งปริมาณ

ภาษา: Thai
ชื่อวิชา: คณิตศาสตร์ > ตรรกศาสตร์
ระดับชั้น: Thailand Thailand

ชื่อ ..................................................................................................................... ชั้น....................... เลขที่........................

คำชี้แจง บอกว่าข้อความต่อไปนี้สมมูลกันไหม

∀x[P(x)∧Q(x)] กับ ∀x[Q(x)∧P(x)]

∀x[~(P(x)→Q(x)] กับ ∀x[P(x)∧~Q(x)]

∀x[P(x)→∃x[Q(x)] กับ ~∃x[Q(x)→~∀x[P(x)]

∃x[P(x)∧∀x[Q(x) กับ ∀x[Q(x)]∧∃x[P(x)]

∃x[P(x)↔️Q(x)] กับ ∃x[(~P(x)∨Q(x))∧(~Q(x)∨P(x))]