สมมูลและนิเสธของประโยคที่มีตัวบ่งปริมาณ
ชื่อ ..................................................................................................................... ชั้น....................... เลขที่........................
คำชี้แจง บอกว่าข้อความต่อไปนี้สมมูลกันไหม
∀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))]