ตรรกศาสตร์

ข้อใดไม่ใช่กฎการสลับที่

• $p\wedge q\equiv q\wedge p$

• $p\vee q\equiv q\vee p$

• $p\longleftrightarrow q\equiv q\longleftrightarrow p$

• $p\longrightarrow q\equiv q\longrightarrow p$

ข้อใดเป็นกฎของการแจกแจง

• $\left(p\wedge q\right)\wedge r\equiv p\wedge\left(q\wedge r\right)$

• $\left(p\wedge q\right)\vee r\equiv\left(p\vee r\right)\wedge\left(q\vee r\right)$

• $\sim\left(p\wedge q\right)\equiv\sim p\vee\sim q$

• $p\leftrightarrow q\equiv\left(p\rightarrow q\right)\wedge\left(q\rightarrow p\right)$

ให้ p,q,r และ s เป็นประพจน์ ถ้า  $\left[\left(p\rightarrow\sim q\right)\vee r\right]\wedge\left(q\vee s\right)$ มีค่าความจริงเป็นจริง และ  $\left(p\wedge s\right)\longrightarrow r$  มีค่าความจริงเป็นเท็จแล้ว ประพจน์ใดต่อไปนี้มีค่าความจริงเป็นเท็จ

•  $p\rightarrow q$      

•  $q\rightarrow r$  

•  $r\rightarrow s$  

•  $s\rightarrow p$  

ประโยค " ถ้า $x\le2$  แล้ว $x^2\ge4$ " มีความหมายตรงกับข้อใด

•  $x>2$  หรือ $x^2\ge4$   

•  $x\le2$  หรือ $x^2>4$  

•  $x>2$  หรือ $x^2<4$  

•  $x\le2$  หรือ $x^2<4$  

ประพจน์ $\left(p\rightarrow r\right)\wedge\left(q\rightarrow r\right)$ สมมูลกับประพจน์ในข้อใด

•  $\left(\sim p\wedge\sim q\right)\vee r$  

•  $\left(\sim p\vee\sim q\right)\wedge r$  

•  $\left(p\wedge q\right)\longrightarrow r$  

•  $\left(p\rightarrow q\right)\rightarrow r$