ตรรกศาสตร์ 4

 $\exists x\left[3-5x<-7\right]\ ,\ \ U=\left\{3,\ 4,\ 5,\ 6\right\}$  

• จริง

• เท็จ

 $\forall x\left[x\ เป็นจำนวนคี่\longrightarrow x\ เป็นจำนวนเฉพาะ\right]\ ,\$   $U=\left\{0,\ 1,\ 2,\ 3,\ 4,\ 5\right\}$  

• จริง

• เท็จ

 $\exists x\left[x\ เป็นจำนวนนับ\ \vee\ x\ เป็นจำนวนเฉพาะ\right]\ ,\$   $U=\left\{0,\ 2,\ 4,\ 6\right\}$  

• จริง

• เท็จ

 $\forall x\left[x\ เป็นจำนวนตรรกยะ\right]\ \vee\ \exists x\left[x\ เป็นตัวประกอบของ\ 2\right]$   $U=\left\{0,\ 1,\ 2\right\}$  

• จริง

• เท็จ

 $\forall x\left[x\ เป็นจำนวนนับ\longrightarrow x\ne4\right]$   $U=R$  

• จริง

• เท็จ

 $\forall x\left[x^2<4\ \longleftrightarrow\ \left|x\right|<2\right]$ , 

  $U=R$  

• จริง

• เท็จ

 $\forall x\exists y\left[x+y=1\right]\ ,\ \ U\ =\ N$  

• จริง

• เท็จ

 $\exists x\forall y\left[x+y=y\right]\ ,\ \ U\ =\ I$  

• จริง

• เท็จ

 $\forall y\exists x\left[xy=y\right]\ ,\ \ U\ =\ I$  

• จริง

• เท็จ

 $\exists x\forall y\left[xy=1\right]\ ,\ \$  

U = เซตของจำนวนตรรกยะที่ไม่รวมศูนย์

• จริง

• เท็จ