Tablas de Verdad

 $P\ \vee\sim Q$  

• v, f, f, v

• v, v, f, v

• f, f, v, f

• v, v, v, v

 $P\wedge\sim Q$  

• f, f, f, f

• v, f, f, f

• f, v, f, f

• v, f, f, v

 $\sim P\ \Longrightarrow\sim Q$  

• v, v, f, v

• v, f, v, v

• v, v, v, f

• f, v, v, v

 $\sim\left(P\vee Q\right)\Longrightarrow\sim Q$  

• v, v, v, v

• f, v, f, v

• v, v, v, f

• f, f, f, f

 $\left(P\wedge Q\right)\Longleftrightarrow\left(P\vee Q\right)$  

• f, v, v, f

• f, v, f, v

• v, f, v, f

• v, f, f, v

 $\left(P\vee Q\right)\wedge\sim\left(P\Longrightarrow Q\right)$  

• v, f, v, f

• f, f, f, f

• f, v, f, f

• v, v, v, f

 $\left(P\Longrightarrow Q\right)\vee\left(Q\Longrightarrow P\right)$  

• v, f, v, v,

• v, v, v, v

• v, f, f, v

• v, f, v, f

 $\left(P\wedge\left(P\Longrightarrow Q\right)\right)\Longrightarrow P$  

• v, f, v, v 

• v, f, f, f

• v, v, f, f, 

• v, v, v, v

 $\sim(P˄Q)˅\sim(Q↔P)$  

• f, v, v, v

• v, f, f, v

• v, v, v,v 

• v, v, v, f

 $\left(\sim P\wedge\sim Q\right)\Longrightarrow\sim\left(P\vee Q\right)$  

• v, v, v, f

• f, f, f, v

• v, v, v, v

• f, f, f, f