Trabajo N°1 Pensamiento Matemático

Fecha de entrega: 3 de marzo de 2021

1. Si decimos: 𝒙 es un ser vivo. ¿Estamos hablando de una proposición? Justifique su respuesta

2. Enlaza cada proposición con su formalización

“Llueve”=p “hace sol”=q

Proposición Formalización Respuesta
1 Llueve y hace sol A ¬p
2 Llueve y no hace sol B p∨q
3 Llueve o hace sol C p∧q
4 Si no llueve, hace sol D p ∧¬ q
5 No es cierto que llueva E ¬¬p
6 No es cierto que no llueva F q↔¬p
7 Hará sol si y solo si no llueve G ¬p→q

3. Formaliza los siguientes argumentos, indicando qué proposición simple corresponde a cada
variable que uses, y escribe la formula bien formada junto con la conclusión. Luego halla la tabla
de verdad de los argumentos y argumente la validez del argumento.

Si un triángulo tiene tres ángulos, un cuadrado tiene cuatro ángulos rectos. Un triángulo tiene tres
ángulos y su suma vale dos ángulos rectos. Si los rombos tienen cuatro ángulos rectos entonces los
cuadrados no tienen cuatro ángulos rectos. Por tanto los rombos no tienen cuatro ángulos rectos.

4. Dada la siguiente formula bien formada, establezca un argumento en un contexto cualesquiera, tal
que cumpla y tenga un sentido en lenguaje natural, por ultimo realice la tabla de verdad a mano.

{[(p∧q)→r]∧[(q→r)→s]∧p}→s
5. Identifica las 4 proposiciones simples y escribir en símbolos la siguiente proposición compuesta.
Luego realiza la tabla de valores y verifica si hay o no una tautología.

“Si un perro se enoja entonces te quedas paralizado del miedo y si te quedas paralizado del miedo, el
perro te muerde; pero si apelas a su bondad, el perro no te muerde, por lo tanto, si un perro se enoja
debes apelar a su bondad”

6. Dada la siguiente formula bien formada, establezca un argumento que tenga un buen sentido en
lenguaje natural, por ultimo realice la tabla de verdad a mano.

{(a⇒ ~ b) Λ(c ⇒ ~ a) Λ b} ⇒ c