SEMANTICA

TABLA DE VERDAD

Q P

V V

V F

F V

F F

TABLA DE VERDAD

P ¬P

F V

V F

TABLA DE CONJUNCION

P Q P^Q

V V V

V F F

F V F

F F F

TABLA DE DISYUNCION

P Q PvQ

V V V

V F V

F V V

F F V

CONDICIONES

P Q P=>Q

V V V

V F F

F V V

F F V

BICONDICIONAL

P Q P<=>Q

V V V

V F F

F V F

F F V

( P^Q)=>(PvQ)=>(PvQ)

P Q PvQ PvQ P=>Q P=>Q

V V V V V V

V F F V V V

F V F V V V

F F F F V V