Responder cada una de las siguientes situaciones.

1. ¿Qué es una proposición?

R//: Una proposición matemática es una expresión algebraica que puede acarrear dos
valores: ser verdadera o ser falsa, aunque nunca ambas a la vez. Denominadas a través
de letras minúsculas, las proposiciones matemáticas tienen un valor de verdad
(que será la veracidad o la falsedad de su enunciado).

2. ¿Quién es considerado el padre de la lógica?

R//: De acuerdo a la Historia de la Filosofía, Aristóteles es considerado el padre

fundador de la Lógica, ya que fue el primer pensador en interesarse en el razonamiento
lógico y en orientar las primeras investigaciones hacia este tema, siendo también el pionero
en desarrollar un Sistema Lógico, que ha perdurado a través de los siglos.

3. Josué invita Reyna a una salida y le dice ¨si te comes el ají te gasto ensalada de frutas¨.
Luego de la salida Reyna no comió ají pero si ensalada de frutas es decir que lo que dijo
Josué era.
R//: PROPOSICIONES: CONECTORES:
 Te comes el ají P SI……ENTOCES.
 Ensalada de frutas Q

P Q
 Luego de la salida Reyna NO comió ají PERO si ensalada de frutas.

(p→q)^(~p→q)
P Q (p→q) (~p) ((~p)→q) ((p→q)^((~p)→q))
V V V F V V
V F F F V F
F V V V V V
F F V V F F

ESTA PROPOSICION ES UNA CONTRADICCION.

4. ¿Cuántas posibles respuestas obtengo en una tabla de verdad si la
proposición que deseo analizar posee 13 proposiciones simples.
R//: N = número de proposiciones simples.
N= 13
Solución 2𝑛 = 213 = 8192 posibles respuestas

5. En la proposición compuesta “a = si te gasto arepa entonces gasto jugo y

palomitas” ¿Cuáles son las proposiciones que hay? ¿Escriba en forma
matemática la proposición a?
R//:
PROPOSICIONES. CONECTORES.
Te gasto arepa P Si…entonces. →
Gasto jugo Q
palomitas R y ∧

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 V
F V F F V
F F V F V
F F F F V
Encontrar el valor de verdad de las siguientes proposiciones. Luego escribir si
es FALACIA, TAUTOLOGIA O CONTRADICCION.

6. p ʌ ¬[(q∨r)→(s↔p)]

P Q R S (qvr) (s↔p) [(qvr)→(s↔p)] (~[(qvr)→(s↔p)] p^~[(qvr)→((s↔p)]

V V V V V V V F F
V V V F V F F V V
V V F V V V V F F
V V F F V F F V V
V F V V V V V F F
V F V F V F F V V
V F F V F V V F F
V F F F F F V F F
F V V V V F F V F
F V V F V V V F F
F V F V V F F V F
F V F F V V V F F
F F V V V F F V F
F F V F V V V F F
F F F V F F V F F
F f F F f V V F F

Esta proposición es una contradicción.

7. {[(~p→q)↔(~q^q)]^[qv~r]→p}↔
~{[(~p→q)↔(~q^q)]^[qv~r]→p}

P Q R (~p) (~p→q) (~q) (~q^q) [(~p→q)↔(~q^q)] (~r) [qv~r] [(~p→q)↔(~q^q)]^[qv~r

v V V F V F F F F V F
V V F F V F F F V V F
V F V F V V F F F F F
V F F F V V F F V V F
F V V V V F F F F V F
F V F V V F F F V V F
F F V V F V F V F F F
F f f V f V F v v V V
. {[(~p→q)↔(~q^q)]^[qv~r]→p}↔ ~{[(~p→q)↔(~q^q)]^[qv~r]→p}

{[(~p→q)↔(~q^q)]^[qv~r]→p} ↔ ~ {[(~p→q)↔(~q^q)]^
V F F
V F F
V F F
V F F
V F F
V F F
V F F
F F V
Esta proposición es una falacia.