Santa Ana de Coro; mayo del 2021
Lógica matemática
Realizado por: José Gregorio Zarraga C.I: 29979888
Actividad 1:
Formaliza o simboliza las proposiciones utilizando los signos de agrupación, partiendo de los
siguientes enunciados.
a) Si el rombo es un equilátero entonces el rectángulo es un equiángulo, y la suma de dos
números impares es par si y solo si el único numero par primo es el 2.
q: el rombo
p: un equilátero
l: el rectángulo
v:un equiángulo
r:la suma de dos números impares
z: es par
y: numero par primo
v:el 2
[(q ^ p) —> (l ^ v)] ^ [(r ^ z) <—> (y ^ v)]
b) Si la mantequilla no es proteínica entonces: la mantequilla es proteínica solo si la arepa no
es una harina, pero ni el queso es una grasa ni la mantequilla son proteínicas.
q: la mantequilla
p: proteínica
a: arepa
b: harina
c: el queso es una grasa
d: la mantequilla son proteínicas
(q ^ ¬p) —> [(q ^ p) <—> (a ^ ¬b)] —> (¬c ^ ¬d)
c) Si la gallina pone huevos y el perro ni es bípedo ni es herbívoro entonces el sol es un astro
si solo y solo si la raíz cuadrada de un numero entero negativo es un numero complejo.
q: la gallina pone huevo
p: el perro
a: ni es bípedo
b: ni es herbívoro
c: el sol
d: un astro
f: la raíz cuadrada de un numero entero negativo
r: es un numero complejo
[q ^( p ^ ¬a ^ ¬b)] —> (c —> d) <—> (f ^ r)
ACTIVIDAD 2:
1.- Identifique cuál de las siguientes inferencias lógicas corresponden a una premisa verdadera o
falsa, marcando dentro de la casilla el símbolo correspondiente. Falsa (f) - verdadera (v).
a) Si los gatos vuelan entonces este es un gato. Por lo tanto, este gato puede volar (f).
b) p: Los niños crecen
q: Ana es una niña ( v )
———
∴ Ana crecera
c) r: la muñeca esta echa de plástico
s: yo tengo una muñeca en la mano (f)
———
∴ mi mano esta echa de plástico
d) Todos los libros de matemáticas son aburridos, este es un libro de matemática. Por lo tanto, es
un libro aburrido ( v ).
e) Quien trabaja gana entonces yo trabajo. Por lo tanto, yo gano. ( v )
2.- Partiendo de las inferencias mencionadas arribas, ubícalas en cada argumento que se mostrara
a continuación, estructura su formalización vertical y di a cual regla de inferencia corresponde.
(Ejemplo: Ley de Morgan, Silogismo Hipotético, etc.)
- No ocurre que Ana no es un estudiante. Por lo tanto, Ana es un estudiante.
(El Modus Tollendo Ponens)
- Si la bola roja golpea a la bola blanca, la bola blanca se mueve
Si la bola blanca golpea a la bola negra, la bola negra se mueve
Si la bola roja golpea a la bola blanca, la bola negra se mueve (El Modus Ponendo Tollens)
- Si llueve, entonces las calles se mojan
Si la tierra tiembla, los edificios se caen
Llueve o la tierra tiembla
Las calles se mojan o los edificios se caen
(El Modum Ponendo Ponens)
- Helado de fresa o helado de vainilla
Si tomas helado de fresa, entonces repites
Si tomas helado de vainilla, entonces repites
Por lo tanto, repites
(El Modum Ponendo Ponens)
3.- Analizando los 4 modus estudiados con anterioridad, formalice vertical y linealmente las
siguientes proposiciones al modus correspondiente.
a) Todo círculo es una curva o una recta, es una curva. Por lo tanto, no es una recta.
vertical lineal
P: todo circulo [P:(q v s) --->Q] ∴ (¬s)
Q: una curva
S: una recta
P:(q v s) --->Q
{todo circulo es una curva o una recta, es
una curva}
--------
∴¬s {por lo tanto, no es una recta}
b) No puede ser que el sol brille y este lloviendo, está lloviendo. Por lo tanto, el sol no brilla.
vertical lineal
q: el sol brille [(¬q ^ p) --->p] ∴¬s
p: lloviendo
s: brilla
(¬q ^ p) --->p
{no puede ser que el sol brille y este lloviendo,
esta lloviendo}
-------
∴¬s {por lo tanto, el sol no brilla}
4.- Complete las siguientes frases y diga su regla de inferencia (Modus)
- Si María fue al banco entonces conseguirá efectivo. Es el caso que María No pudo retirar
efectivo. Por lo tanto, maría no consiguió efectivo (El Modus Tollendo Tollens)
- Si el mundo entero es un escenario, todos los seres humanos somos actores. Por lo tanto, todos
estamos dentro de la obra. (El Modum Ponendo Ponens)
