SIMPLE COMPUESTA

11 ES UN NUMERO PRIMO HOY FUI AL MALL Y COMPRE ROPA

V
F
a: hoy fue al mall
b: compre ropa
c: y me fui al cine

2n

a b
V V
V F
F V
F F

SIMBOLO
1 NEGACIÓN ¬ NO
2 CONJUNCION ^ Y
3 DISYUNCION V O
4 CONDICIONAL
5 BICONDICIONAL

CONJUNCION a^b a b a^b

V V V
V F F
F V F
F F F

NOMBRE EDAD AÑOS DE SERVICIO

JUAN 65 30 TRUE
PEDRO 70 8 FALSE
MARIA 59 31 FALSE
SOLEDAD 18 1 FALSE

a b ¬b (a ^ ¬b(b^a) (a ^ ¬b)^(b^a)
V V F F V F
 V F V V F F
F V F F F F
F F V F F F

DISYUNCION O

a: TENGO UN LIBRO DE TROGONOMETRIA

b: TENGO UN TIBRO DE FISICA

aVb TENGO UN LIBRO DE TROGONOMETRIA O TENGO UN LIBRO DE FISICA

a b aVb
V V V
V F V
F V V
F F F

NOMBRE EDAD AÑOS DE SERV aVb

JUAN 65 30 TRUE
PEDRO 70 8 TRUE
MARIA 59 31 TRUE
SOLEDAD 18 1 FALSE

a b ¬b (a V ¬b) (bVa) (a V ¬b)^(bVa)

V V F V V V
V F V V V V
F V F F V F
F F V V F F
8

p q r ¬q (rVp)[¬qV(rVp)]
(pVr) (pVr)^[¬qV(rVp)]
V V V F V V V V
V V F F V V V V
V F V V V V V V
V F F V V V V V
F V V F V V V V
F V F F F F F F
F F V V V V V V
F F F V F V F F
DISYUNCION EXCLUSIVA v

a b aVb (aVb)^¬(a^b)
V V V
V F F
F V F
F F V

[(p^¬q)^(p^q)]V{(p^¬p)V[((p^q)^r)V(qVr)]}

p q r ¬p ¬q (p^¬q) (p^q) [(p^¬q)^(p^¬p) (p^q)^r)

V V V F F F V F F V
V V F F F F V F F F
V F V F V V F F F F
V F F F V V F F F F
F V V V F F F F F F
F V F V F F F F F F
F F V V V F F F F F
F F F V V F F F F F

CONDICIONAL "->"

a b a->b
V V V SI YO ESTUDIO ENTOCES PASO EL SEMESTRE
V F F SI YO ESTUDIO ENTONCES PIERDO EL SEMESTRE
F V V SI NO ESTUDIO ENTONCES PASO EL SEMESTRE
F F V SI NO ESTUDIO ENTONCES NO PASO EL SEMESTRE

{[(¬pVq)->(p^q)]->(r->(pVq))}Vs

p q r s ¬p (¬pVq) (p^q) [(¬pVq)->(p

V V V V F V V V
16 V V V F F V V V
V V F V F V V V
V V F F F V V V
V F V V F F F V
V F V F F F F V
V F F V F F F V
V F F F F F F V
F V V V V V F F
F V V F V V F F
F V F V V V F F
F V F F V V F F
F F V V V V F F
 F F V F V V F F
F F F V V V F F
F F F F V V F F

BICONDICIONAL <->

a b a<->b NEGACION
V V V CONJUNCION
V F F DISYUNCION
F V F CONDICIONAL
F F V BICONDICIONAL

(p->q)^[(~sVq)<->s]
p q s ~s (~sVq) [(~sVq)<->s] (p->q)
V V V F V V V
V V F V V F V
V F V F F F F
V F F V V F F
F V V F V V V
F V F V V F V
F F V F F F V
F F F V V F V
OMPRE ROPA

a b c
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
UN LIBRO DE FISICA
 (qVr) [((p^q)^r)V(qVr)]
V V
V V
V V
F F
V V
V V
V V
F F

L SEMESTRE

O EL SEMESTRE

(pVq) (r->(pVq)) {[(¬pVq)->(p^q)]->(r->(pVq))} {[(¬pVq)->(p^q)]->(r->(pVq))}Vs

V V V V
V V V V
V V V V
V V V V
V V V V TAUTOLOGIA
V V V V
V V V V
V V V V
V V V V
V V V V
V V V V
V V V V
F F V V
 F F V V
F V V V
F V V V

NEGACION
CONJUNCION
DISYUNCION
CONDICIONAL
BICONDICIONAL

(p->q)^[(~sVq)<->s]
V
F
F
F
V
F
F
F
AUTOLOGIA
(p->q)^[(¬sVq)<->s]

{[(¬pVq)->(p^q)]->(r->(pVq))}Vs