Punto 1

a) Es una proposición, negación = no es cierto que 2+5 = 19

b) Esto no es una proposición
c) Es un proposición, negación = no es cierto que para algún entero positivo n,19340
= n*17
d) No es una proposición
e) Es una proposición, negación = no es cierto que la línea “Tócala otra vez, Sam”
corresponde a la película “Casablanca”.

Punto 2
a) Es compuesta, Proposición 1: es después de las cinco, Proposición 2: la puerta está
cerrada; Proposición 3: yo no tengo las llaves
b) Es compuesta, Proposición 1: Luis llego tarde; proposición 2: pedro llego muy
temprano, proposición 3: juan se enojo
c) Es compuesta, Proposición 1: tomas no es nuestro representante; proposición 2:
gloria no es nuestra líder
d) Es compuesta, proposición 1: gana la selección Colombia, Proposición 2:si ayer
entrenaron , proposición 3: hoy se concentraron
e) Es compuesta, proposición 1: estudio algebra, Proposicion2: estudio física,
proposición 3: no estudio física, proposición 4: estudio aritmética

(¬p ^ q) , ¬r

Punto 3
a) ¬p -> ¬q
b) P -> q
c) (P v q) ^ (¬p -> q)
d) (P ^ q) -> ¬r
e) ¬p -> (q ^ r)

Punto 4
a) Si ganaste la materia entonces no harás vacacional y ahorraras dinero
b) No me dormiré y hare la tarea si y solo si no me hablas
c) No es cierto afirmar que juan pago el recibo o no tendríamos luz
Punto 5
a) (p ^ q) -> (r v s)
p q r s p^q rvs (p ^ q) -> (r v s)

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

Es contingencia

b) P <-> (q ^ r)
p q r q^r P <-> (q ^ r)

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

Es contingencia
 c) (¬p v q) <-> (r ^ s)

p q r s ¬p ¬p v q r ^ s (¬p v q) <-> (r ^ s)

V V V V F V V V
V V V F F V F F
V V F V F V F F
V V F F F V F F
V F V V F F V F
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 V V
F F V F V V F F
F F F V V V F F
F F F F V V F F

Es contingencia

Punto 6
a) (p v ¬q) -> ( p -> ¬q )
p q ¬q (p v ¬q) (p -> ¬q) (p v ¬q) -> ( p -> ¬q )

V V F V F F
V F V V V V
F V F F V V
V F V V V V
Es contingencia

b) (¬p v q ) -> ( p -> q)

p q ¬p ¬p v q P -> q (¬p v q ) -> ( p -> q)
V V F V V V
V F F F F V
F V V V V V
F F F F V V
Es tautología
c) (p -> q) v p
p q P -> q (p -> q) v p

V V V V
V F F V
F V F F
F F F F
Es contingencia

d) ¬p v ¬(p v q)
p q ¬p Pvq ¬(p v q) ¬p v ¬(p v q)
V V F V F F
V F F V F F
F V V V F V
F F V F V V
Es contingencia

e) ¬(p -> (q -> (q -> ¬p)))

p q ¬p q -> ¬p q -> (q -> ¬p) P -> (q -> (q -> ¬p)) ¬(P -> (q -> (q -> ¬p)))
V V F F F F V
V F F V V V F
F V V V V V F
F F V V V V F
Es contingencia