Trabajo Grupal

Paso 4 - Métodos para probar la validez de argumentos
LOGICA MATEMATICA
Presentado por
Gerardo Andres Penagos Quintero
Lizeth Velasco
Walter Colorado González
Guillermo Ladino
GRUPO: 90004_593
Tutor
JUAN DAVID MEJIA
Universidad Nacional Abierta y a Distancia (UNAD)
CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
Mayo 06 de 2017
INTRODUCCION
La lógica matemática está presente desde nuestros antepasados, en cada uno de los campos de
nuestra vida, la lógica matemática es la ciencia que estudia la lógica y la aplicación de esta en las
áreas de las matemáticas. En esta actividad presentaremos un trabajo colaborativo, debatiremos
las propuestas de los compañeros para consolidar un producto final, la metodología basada en la
teoría del aprendizaje significativo, facilita a que nosotros como alumnos en el aprendizaje
tengamos una mejor y calidad sobre unas bases fundamentales para un buen proceso pedagógico,
para afianzar el aprendizaje matemático.

OBJETIVOS
 Conceptualización de las reglas de inferencia
 Validez de los argumentos.
 Expresiones en lenguaje natural.
 Tipo de razonamiento.
Pantallazo del diligenciamiento completo de tabla 1
Tarea 1: Aplicación de las reglas de inferencia.
a. Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipotético

 Modus Ponendo Ponens,
El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado
modus ponens,1 2 3 4 eliminación de la implicación o regla de separación, y
generalmente abreviado MP) es una forma de argumento válido y una regla de inferencia
en lógica proposicional.5 Se puede resumir como "si P implica Q; y P es verdad;
entonces Q también es verdad."6 La historia del modus ponendo ponens se remonta a la
antigüedad.7
El modus ponendo ponens pueden establecerse formalmente como:
𝑃 → 𝑄, 𝑃
∴𝑄
donde la regla es cuando "P → Q" y "P" aparezcan por sí mismos en una misma línea de
una prueba lógica, Q puede ser escrito válidamente en una línea subsiguiente. Nótese que
la premisa de P y la implicación se "disuelven", siendo su único rastro el símbolo Q que
se mantiene para su uso posterior, por ejemplo, en una deducción más compleja.
Un ejemplo de modus ponendo ponens es:
a. Si está lloviendo, te espero dentro del teatro.
Está lloviendo.
Por lo tanto, te espero dentro del teatro.
b. Si estuvieras borracho, estarías cariñoso.
Estás borracho
Por eso estás cariñoso

c. Si Javier tiene rabia, es una nube.
Javier tiene rabia.
Por lo tanto, Javier es una nube.
 Modus Tollendo Tollens
En Lógica, El modus tollens tollendo en (latín, Modo Que negando Niega), También
Llamado modus tollens y generalmente abreviado MTT o MT, Es Una Regla de
inferencia Que TIENE LA Siguiente forma:
Por Ejemplo, el significado del RAZONAMIENTO Que Sigue la forma del modus
tollens podría ser de la siguiente manera:
Si A entonces B
No B
Por lo tanto, no A
d. Si soleado està '' entonces '' Es de Día.
No es de "Día".
Por Lo Tanto, no està soleado.
e. p1: Si el perro guardián detecta un intruso, el perro guardián ladra.
p2: El perro guardián no ladró.
C: Por lo tanto, el perro guardián no detectó ningún intruso.
 Silogismos Hipotético
La presente regla dice que, si el consecuente de una proposición condicional X es el
antecedente de una condicional Y, podemos concluir con otra condicional constituida por
el antecedente de X y el consecuente de Y
f. Si el piso de la alberca está resbaloso, entonces alguien se caerá.
Si alguien se caerá, entonces conviene tener lista la camilla.
Si el piso de la alberca está resbaloso, conviene tener lista la camilla.
Si los ratones son genéticamente similares al ser humano, podemos encontrar curas a
enfermedades humanas experimentando sobre ellos y no sobre humanos.
Si encontramos curas a enfermedades humanas sin experimentar sobre humanos, entonces
evitamos perder vidas humanas al mismo tiempo que buscamos una cura.
Por lo tanto, si los ratones son genéticamente similares al ser humano, entonces evitamos perder
vidas humanas cuando estemos buscando una cura.
b. Modus Tolendo Ponens, Doble Negación y Adjunción

 Modus tollendo ponens:
Hace referencia al "el modo que, al negar, afirma", en lógica clásica, un argumento válido que
contiene una declaración disyuntiva. Establece que al menos una de las proporciones es positiva,
cuando se establece que la primera proporción no es verdadera se debe inferir en que la segunda
proporción es verdadera.
puede escribirse como:
𝐽𝑣𝐾,¬𝐽
si J o K es verdadera y J es falso, entonces K es verdadera.
𝐾
Ejemplos:
 Fui al colegio o a jugar, no fui al colegio. Por lo tanto, fui a jugar.
 Murió el tutor o murió el estudiante, no murió el tutor. Por lo tanto, murió el estudiante.
 Reglas de reemplazo - Doble negación:

En lógica, las reglas de reemplazo o reglas de sustitución son reglas de transformación que
pueden ser aplicadas únicamente a un segmento particular de una expresión.
La doble negación, esto es, la negación de la negación de una proposición p, es lógicamente
equivalente a p. Si un enunciado es verdadero, entonces no es el caso de que la declaración no es
cierta.
Fórmula: A≡~(~A) ó
Ejemplos:
 ¬¬𝑝 ↔ 𝑝
1. “No ocurre que Ana no es una estudiante”, entonces Ana es una estudiante.
2. “No ocurre que el mar no es salado”, entonces el mar es salado.
 Adjunción Lógica
Entre dos proposiciones, a y b, es un conector lógico cuyo valor de verdad resulta en verdadero
sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso.
Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse:
Ejemplos:
 El sol es caliente y el hielo es frío.
 Siete es mayor que cuatro y cuatro es mayor que dos.
C. Simplificación, Adición y Silogismo Disyuntivo
 Simplificación:
la simplificación (equivale a la sustitución de una conjunción por uno de sus componentes ) es
una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que
la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad ( o bien "B también
es verdad", otra conclusión). La regla permite acortar las pruebas más largas mediante la
derivación de una de las conjunciones de una conjunción en una línea por sí misma.
(wikipedia Simplificación, s.f.)
Forma Simbólica Forma de Argumento Nombre

(p q) p p q p q
(p q) q
Simplificación
p q
Ejemplo
Si el cielo es azul y la luna es redonda entonces (en particular) el cielo es azul.
Forma argumental
El cielo es azul y la luna es redonda.
Por lo tanto, el cielo es azul.
En símbolos:
𝒑𝒗𝒒
p
 Adición: es una simple forma de argumento válido, una inferencia inmediata y una regla
de inferencia de la lógica proposicional. La regla hace posible la introducción de

disyunciones de pruebas lógicas. Es la inferencia de que si P es verdad,
entonces P o Q tiene que ser verdad.
(wikipedia, s.f.)

P
p (p q) Adición
p q
Ejemplo
Si el cielo es azul, entonces el cielo es azul o algunos patos son canguros.
Forma argumental.
El cielo es azul.
Por lo tanto, el cielo es azul o algunos patos son canguros.
En símbolos:
𝒑
p𝒗𝒒
 Silogismo Disyuntivo: El silogismo disyuntivo es aquel cuya premisa mayor establece
una disyunción exclusiva, de manera que los dos miembros no pueden ser
simultáneamente verdaderos, ni simultáneamente falsos.
(El pensante , 2016)

p q p q
[(p q) (~p)] q ~p ~q Silogismo Disyuntivo
[(p q) (~q)] p (Uno-o-el-Otro)
q p
Ejemplo
Si el cocinero o el mayordomo lo hicieron, pero sabemos que el cocinero no lo hizo, entonces el
mayordomo debió haberlo hecho.
Forma de argumento
El cocinero o el mayordomo lo hicieron.
El cocinero no lo hizo.
Por lo tanto, el mayordomo lo hizo.
En símbolos:
𝒑 𝒗𝒒
∽𝒑
𝒒
d. Simplificación Disyuntiva, Absorción y Ley de Morgan
Simplificación disyuntiva Nos permite pasar de dos premisas a la conclusión, esta regla se
aplica siempre que se dé una proposición condicional y se dé precisamente el consecuente. La
misma regla se aplica tanto si el antecedente y consecuente es una proposición atómica como
molecular.
P →Q (1) P V M→T & Q
P (2) P V M
---------- _____________________
.Q .: (3) T & Q PP 1.2
Ejemplos: Si esta planta no crece, entonces o necesita más agua o necesita mejor abono. Esta planta no
crece.
P: esta planta crece.
Q: necesita más agua.
A: necesita mejor abono
¬P→QVA
¬P
______________
:QVA
 Absorción: se llama ley de absorción porque de la apariencia de que q es absorbido por p, para
reconocer una preposición de absorción es sencillo, solo debemos fijarnos en los conectores lógicos,
el segundo conector debe ser opuesto al primero.
Ejemplos está lloviendo si no llevo paraguas, me mojo
P= está lloviendo
Q=si no llevo paraguas
 Ley de Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas.
Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía
negación.
Ejemplos
 8 no es un numero par y 8 no es divisible por 2

P= 8 es un numero par
Q= 8 es divisible por 2
 No viajamos de día o no viajamos de noche
P= viajamos de día
Q= viajamos de noche
Tarea 2: Problemas de aplicación I
b. En la sociedad de la informática y la tecnología es imposible dar un paso sin encontrarse
con las matemáticas. El ordenador, el móvil, los transportes, la investigación médica, los
bancos, las misiones espaciales o la ecología dependen de ellas. Y eso ha disparado la
demanda y la valoración de los matemáticos, que hoy son la profesión con menos pago y
trabajan en infinidad de ámbitos. Sin embargo, las matemáticas conservan su mala fama
entre los estudiantes y continúan suscitando rechazo en escuelas e institutos. Para tratar de
responder a esta mala fama se planteó el siguiente argumento:
“Si las matemáticas son atractivas, los niños las aprenderán fácilmente y habrán más matemáticos.
Si los niños odian las matemáticas, no habrán matemáticos. Si los niños odian las matemáticas,
tendrán mejor calidad de vida. Las matemáticas son atractivas. En consecuencia los niños tendrán
mejor calidad de vida”.
P: las matemáticas son atractivas
Q: los niños las aprenderán fácilmente
R: habrán más matemáticos
S: los niños odian las matemáticas
T: tendrán mejor calidad de vida
Formula [((𝑃 → 𝑄) ∧ 𝑅) ∧ (𝑆 → ¬𝑅) ∧ (𝑆 → 𝑇 ) ∧ 𝑃] → 𝑇
Uso de las tablas de verdad.

P Q R S T ¬R P ->Q P ->Q∧R S ->¬R ((P→Q)∧R) ∧(S →¬R) S ->T ((P→Q)∧R) ∧(S →¬R)∧(S→T
(S ->T)∧R
)
V V V V V F V V F F V F V
V V V V F F V V F F F F F
V V V F V F V V V V V V V
V V V F F F V V V V V V V
V V F V V V V F V F V F F
V V F V F V V F V F F F F
V V F F V V V F V F V F F
V F F F F V F F V F V F F
V F V V V F F F F F V F V
[((𝑃 → 𝑄) ∧ 𝑅) ∧ (𝑆 → ¬𝑅) ∧ (𝑆 → 𝑇 ) ∧ 𝑃] → 𝑇
1. (𝑃 → 𝑄) ∧ 𝑅)
2. (𝑆 → ¬𝑅)
3. (𝑆 → 𝑇 ) ∧ 𝑃
4. T
5. (𝑆 → 𝑇 ) 3. S
6. T 5, S
C. El consejo directivo de una Universidad, preocupado por el número de estudiantes sin
matricular, realiza un análisis de este fenómeno y encuentra la siguiente situación. “Si se suben
las matrículas, habrá retiros masivos. Si hay retiros masivos, entonces el rector debe replantear el
aumento en las matrículas o la universidad se cerrará. Si la universidad se cierra, el rector será el
responsable. El rector no replanteará el aumento en las matrículas y el rector no será despedido.
En consecuencia, no subirán las matrículas.
P: Suben las matrículas.
Q: Retiros masivos.
J: El rector debe replantear el aumento de las matrículas.
A: La universidad se cierra.
L: El rector será responsable.
D: El rector será despedido.

Formula:
[((𝑃 → 𝑄) ∧ (𝑄 → (𝐽 ∨ 𝐴))) ∧ (𝐴 → 𝐿) ∧ (¬𝐽 ∧ ¬𝐷)] → ¬𝑃
p q j a l d ! ! ! (p (j (q ((p=> (a ((p=>q)/ (! (((p=>q)/\(q (((p=>q)/\(q=

j d p = \/ => q)/\(q = \(q=>(j\/ j/\ =>(j\/a)))/\( >(j\/a)))/\(a=
> a (j\/ =>(j\/ > a)))/\(a= !d a=>l)/\(!j/\! >l)/\(!j/\!d))=
q) ) a)) a))) l) >l) ) d)) >!p
VVVVVVF F F V V V V V V F F V
VVVVVF F VF V V V V V V F F V
VVVVF VF F F V V V V F F F F V
VVVVF F F VF V V V V F F F F V
VVVF VVF F F V V V V V V F F V
VVVF VF F VF V V V V V V F F V
VVVF F VF F F V V V V V V F F V
VVVF F F F VF V V V V V V F F V
VVF VVVVF F V V V V V V F F V
VVF VVF VVF V V V V V V V V F
VVF VF VVF F V V V V F F F F V
VVF VF F VVF V V V V F F V F V
VVF F VVVF F V F F F V F F F V
VVF F VF VVF V F F F V F V F V
VVF F F VVF F V F F F V F F F V
VVF F F F VVF V F F F V F V F V
VF VVVVF F F F V V F V F F F V
VF VVVF F VF F V V F V F F F V
VF VVF VF F F F V V F F F F F V
VF VVF F F VF F V V F F F F F V
VF VF VVF F F F V V F V F F F V
VF VF VF F VF F V V F V F F F V
VF VF F VF F F F V V F V F F F V
VF VF F F F VF F V V F V F F F V
VF F VVVVF F F V V F V F F F V
VF F VVF VVF F V V F V F V F V
VF F VF VVF F F V V F F F F F V
VF F VF F VVF F V V F F F V F V
VF F F VVVF F F F V F V F F F V
VF F F VF VVF F F V F V F V F V
VF F F F VVF F F F V F V F F F V
VF F F F F VVF F F V F V F V F V
F VVVVVF F VV V V V V V F F V
F VVVVF F VVV V V V V V F F V
F VVVF VF F VV V V V F F F F V
F VVVF F F VVV V V V F F F F V
F VVF VVF F VV V V V V V F F V
F VVF VF F VVV V V V V V F F V
F VVF F VF F VV V V V V V F F V
F VVF F F F VVV V V V V V F F V
F VF VVVVF VV V V V V V F F V
F VF VVF VVVV V V V V V V V V
F VF VF VVF VV V V V F F F F V
F VF VF F VVVV V V V F F V F V
F VF F VVVF VV F F F V F F F V
F VF F VF VVVV F F F V F V F V
F VF F F VVF VV F F F V F F F V
F VF F F F VVVV F F F V F V F V
F F VVVVF F VV V V V V V F F V
F F VVVF F VVV V V V V V F F V
F F VVF VF F VV V V V F F F F V
F F VVF F F VVV V V V F F F F V
F F VF VVF F VV V V V V V F F V
F F VF VF F VVV V V V V V F F V
F F VF F VF F VV V V V V V F F V
F F VF F F F VVV V V V V V F F V
F F F VVVVF VV V V V V V F F V
F F F VVF VVVV V V V V V V V V
F F F VF VVF VV V V V F F F F V
F F F VF F VVVV V V V F F V F V
F F F F VVVF VV F V V V V F F V
F F F F VF VVVV F V V V V V V V
F F F F F VVF VV F V V V V F F V
F F F F F F VVVV F V V V V V V V
Uso de las reglas de inferencia.

[((𝑃 → 𝑄) ∧ (𝑄 → (𝐽 ∨ 𝐴))) ∧ (𝐴 → 𝐿) ∧ (¬𝐽 ∧ ¬𝐷)] → ¬𝑃
Conjunción, doble negación, modus tollendo tollens, disyunción.
Uso del simulador Truth Table.

d. La Escuela de Ciencias Básicas Tecnologías e Ingenierías ECBTI de la UNAD realizó como
evento disciplinar unas Olimpiadas Matemáticas Virtuales. El Líder Nacional de la Escuela le ha
informado al Decano Nacional de Escuela como fue la premiación, el primer lugar recibirá un
computador portátil, el segundo lugar recibirá una Tablet y el tercer lugar recibirá una colección
de libros de matemáticas Schaun; para dicho fin el líder Nacional hizo el siguiente razonamiento:
“Si Ximena se ganó el computador entonces Johan recibió la Tablet o Ricardo fue quien recibió
la Tablet. Si Johan fue quien recibió la Tablet, entonces Ximena no obtuvo como premio el
computador. Si Carlos fue quien recibió la Tablet entonces Ricardo no fue quien recibió la
Tablet. Ximena se ganó el computador. Por lo tanto, Carlos no fue quien recibió la Tablet
P= Ximena se ganó el computador
Q= Johan se recibió la Tablet
R= Ricardo fue quien recibió la Tablet
S= Carlos fue quien recibió la Tablet
[p → (q v r)] ∧ (q→∼p) ∧(s→∼r) ∧ ∼s
Tablas de verdad
p q r s ∼p ∼s [p → (q v r)] (q→∼p) (s→∼r) ∧∼s [p → (q v r)] ∧ (q→∼p) ∧(s→∼r) ∧ ∼s

∼
V V V V F F F V F F F
V V V F F F V V F V F
V V F V F V F V F F F
V V F F F V V V F V F
V F V V V F F V V F F
V F V F V F V V V V V
V F F V V V F V V F F
V F F F V V V V V V F
F V V V F F F V V F F
F V V F F F V V V V V
F V F V F V F V V F F
F V F F F V V V V V V
F F V V V F F V V F F
F F V F V F V V V V V
F F F V V V F V V F F
F F F F V V V V V V V
Uso de reglas de inferencia
[p → (q v r)] ∧ (q→∼p) ∧(s→∼r) ∧ ∼s
Conjunción, disyusion
e. . Desde muy joven empecé a trabajar para poder buscar tener una buena calidad de vida,
pero siempre me fue complicado poder ingresar a hacer mis estudios superiores; hoy en
día afortunadamente la UNAD ofrece una excelente oportunidad de formación académica

para quienes tenemos una vida laboral muy densa, pues la virtualidad, aunque demanda
de disciplina y adecuados hábitos de estudio, nos permite contar con las 24 horas del día,
los siete días de la semana para ingresar a realizar las actividades según las fechas límites
establecidas; esto es algo que me ha alegrado mucho y le hice el siguiente comentario a
mis amigos, para que se motiven e ingresen a estudiar en la UNAD: “He ingresado a
estudiar administración de empresas y lograré materializar mi proyecto de vida. Si he
ingresado a estudiar en la UNAD Administración de empresas, entonces conseguiré un
mejor estatus laboral. Por lo tanto, conseguiré un mejor estatus laboral y lograré
materializar mi proyecto de vida”.
P: Ingrese a estudiar administración
Q: Lograré materializar mis proyecto de vida
R: Ingrese a la unad
S: mejor estatus laboral
Uso tablas de verdad: [(𝑃 ∧ 𝑄) ∧ ((𝑅 ∧ 𝑃) → 𝑆)] → (𝑆 ∧ 𝑄)

P Q R S P y Q R y P (RyP)->S (P y Q) Y ((RyP)->S) S y Q ((P y Q) Y ((RyP)->S))-> (S Y Q)
V V V V V V V V V V
V V V F V V F F F V
V V F V V F V V V V
V V F F V F V V F F
V F V V F V V F F V
V F V F F V F F F V
V F F V F F V F F V
V F F F F F V F F V
F V V V F F V F V V
F V V F F F V F F V
F V F V F F V F V V
F V F F F F V F F V
F F V V F F V F F V
F F V F F F V F F V
F F F V F F V F F V
F F F F F F V F F V
Inferencia lógica
1. P Y Q
2. (R Y P) -> S
SYQ
___________________________________________
3. Q Y P 1. Conmutativa
4. Q 3. Simplificación
5. R->S 2. Simplificación
6. S 5. PP
7. S Y Q 6 – 4. Adjunción
Tarea 3: Problemas de aplicación II
a. [(𝑝 ⟶ 𝑞) ∧ (𝑟 ⟶ 𝑠) ∧ (𝑝 ∨ 𝑟)] ⟶ (𝑞 ∨ 𝑠)
( p -> q) && ( r -> s) && (p \/ r) -> (q \/ s)
p q r s (p=> (r=> (p=>q)/\(r= (p\/ (p=>q)/\(r=>s)/\ (q\/ (p=>q)/\(r=>s)/\(p\/r)=

q) s) >s) r) (p\/r) s) >(q\/s)
V V V V V V V V V V V
V V V F V F F V F V V
V V F V V V V V V V V
V V F F V V V V V V V
V F V V F V F V F V V
V F V F F F F V F F V
V F F V F V F V F V V
V F F F F V F V F F V
F V V V V V V V V V V
F V V F V F F V F V V
F V F V V V V F F V V
F V F F V V V F F V V
F F V V V V V V V V V
F F V F V F F V F F V
F F F V V V V F F V V
F F F F V V V F F F V
Uso de las reglas de inferencia
 [(𝑝 ⟶ 𝑞) ∧ (𝑟 ⟶ 𝑠) ∧ (𝑝 ∨ 𝑟)] ⟶ (𝑞 ∨ 𝑠)
 Conjunción, disyunción.
Uso del simulador Truth Table

b. {[𝑝 ⟶ (𝑞 ∨ 𝑟)] ∧ (𝑞 ⟶ ~𝑝) ∧ (𝑠 ⟶ ~𝑟) ∧ 𝑝} ⟶ ~𝑠
a. P. Estudiar ingeniería de sistemas
b. Q. Veo televisión
c. R. Estudio lógica matemática
d. S: Apruebo lógica matemática
Lenguaje natural: Si estudio ingeniería de sistemas, entonces veo televisión o estudio lógica
matemática. Si veo televisión entonces no estudio ingeniería de sistemas. Si apruebo lógica
matemática entonces no estudio lógica matemática. Estudio ingeniería de sistemas. Por lo tanto
no apruebo lógica matemática.

Tabla de verdad – Es una tabla incrustada de Excel, al darle doble click se pueden ver todos
los datos
(P -> (Q o R)) y (Q->¬P) y (S->¬R) y P [(P -> (Q o R)) y (Q->¬P) y (S->¬R) y P] -> ¬ S
F V
F V
F V
F V
F V
V V
F V
F V
F V
F V
F V
F V
F V
F V
F V
F V
c. [(𝑝 ⟶ 𝑞) ∧ (𝑟 ⟶ ~𝑠) ∧ (𝑝 ∧ 𝑠)] ⟶ (𝑠 ∧ 𝑞)
Lenguaje natural: Si estudio ingeniería de sistemas, entonces estoy en la UNAD. Si juego
futbol entonces no apruebo lógica matemática. Estudio ingeniería de sistemas y apruebo lógica
matemática. En consecuencia, aprobare lógica matemática y estoy en la UNAD
a. P. Estudiar ingeniería de sistemas
b. Q. estoy en la UNAD
c. R. juego futbol
d. S: lógica matemática
(p=>q)/\(r=
(p=>q)/\(r= (p=>q)/\(r= >¬s)/\(P∧S)
p q r s ¬S (p=>q) (r=>¬s) >¬s) (p∧S) >¬s)/\(P∧S) (S∧Q) =>(S∧Q)
V V V V F V F F V F V V
V V V F V V V V F F F V
V V F V F V V V V V V V
V V F F V V V V F F F V
V F V V F F F F V F F V
V F V F V F V F F F F V
V F F V F F V F V F F V
V F F F V F V F F F F V
F V V V F V F F F F V V
F V V F V V V V F F F V
F V F V F V V V F F V V
Uso de las reglas de inferencia
e. [(𝑝 ⟶ 𝑞) ∧ (𝑟 ⟶ ~𝑠) ∧ (𝑝 ∧ 𝑠)] ⟶ (𝑠 ∧ 𝑞)
1. p ⟶q
2. 𝑟 ⟶ ~𝑠
3. 𝑝 ∧ 𝑠
4. 𝑠 ∧ 𝑞
5. 𝑃 3, S
6. Q 5,1 PP
7. S 2. PP
8. 𝑺 ∧ 𝑄 6,7 A
Uso del simulador Truth Table

d. {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞
Tablas de verdad
∼p [p → (q v r)] (s→∼p) (𝑡→∼𝑟) (𝑝∧𝑡) {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞

p q r s t ∼
V V V V V F F V F F V V
V V V V F F F V F V F V
V V V F V F F V V F V V
V V V F F F F V V V F V
V V F V V F V V F V V V
V V F V F F V V F V F V
V V F F V F V V V V V V
V V F F F F V V V V F V
V F V V V V F V V F V V
V F V V F V F V V V F V
V F V F V V F V V F V V
V F V F F V F V V V F V
V F F V V V V V V V V V
V F F V F V V V V V F V
V F F F V V V V V V V V
V F F F F V V V V V F V
F V V V V F F V F F F V
F V V V F F F V F V F V
F V V F V F F V V F F V
F V V F F F F V V V F V
F V F V V F V V F V F V
F V F V F F V V F V F V
F V F F V F V V V V F V
F V F F F F V V V V F V
F F V V V V F V V F F V
F F V V F V F V V V F V
F F V F V V F V V F F V
F F V F F V F V V V F V
F F F V V V V V V V F V
F F F V F V V V V V F V
F F F F V V V V V V F V
F F F F F V V V V v F V
Uso de las reglas de inferencia.
{[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞
Conjunción, disyunción

Tarea 4: Razonamiento Deductivo e Inductivo
Identifique de los siguientes casos si el razonamiento es deductivo o inductivo,
argumentado la respuesta con sus propias palabras
a. Se me presenta la siguiente situación: “el restaurante al que siempre acudo, encuentro que
uno y otro miércoles, aparentemente sin excepción el plato principal del almuerzo es arroz
con pollo. Entonces decidí que no almorzaría ahí los miércoles, porque los miércoles sirven
arroz con pollo y a mí no me gusta”.
Es un razonamiento inductivo, ya sé que se basa en la experiencia de ir al restaurante
todos los miércoles encontrando que cada miércoles sirven arroz con pollo.
b. La fuerza de gravedad atrae a todos los objetos hacia el centro de la tierra con una fuerza y
aceleración constantes. Al soltar un martillo de 5 kilogramos, desde una altura de 10 metros, tarda
aproximadamente un segundo en llegar al suelo. Al soltar una pluma de 0,05 kilogramos desde
una altura de 10 metros tarda aproximadamente un segundo en llegar al suelo.
Independientemente del peso, todos los objetos son atraídos con la misma fuerza y tardan el
mismo tiempo en llegar al suelo.
Rta: deductivo ya que todos los objetos son atraídos a la tierra con la misma fuerza y aceleración
constante
c. Los músculos de los brazos son de fibras estriadas que responden a los impulsos
voluntarios de la corteza parietal del lado opuesto. Cuando existen lesiones en la región
parietal, se pierde el control de algunos músculos voluntarios, entre otros, del brazo.
Después del accidente donde el paciente recibió un golpe en la cabeza, perdió el control
del movimiento de sus brazos, así que es muy probable que tenga una lesión en la corteza
parietal.
RESPUESTA: Razonamiento Deductivo: se puede concluir que, por causa de la lesión en la
corteza parietal, le afecto las fibras estriadas perdiendo movimiento en su brazo.
e. Se sabe que en Bogotá casi todos los fanáticos del fútbol, son hinchas de Millonarios,
Santafé o Nacional, pero no todos. Cierto día me encuentro con una persona en Bogotá,
amante del fútbol y prejuzgo, que probablemente, con base en los conocimientos
anteriores, “esta persona es hincha de Nacional”.
Rta: En este caso el razonamiento es deductivo , ya que se llega a la conclusión de que la
“persona es es hincha de nacional“,siendo desconocido, basada en la información que se tiene de
algo general.
CONCLUSIONES
Al realizar este trabajo se puede concluir lo siguiente:
 Reglas de inferencia: Es una forma lógica que consiste en una función que toma
premisas y devuelve una conclusión.
 El término validez o no validez del argumento depende de la relación consecuencia
lógica entre las premisas y la conclusión.
 Deductivo e inductivo. Nos ayuda a comprender, demostrar y interpretar y concluir a
partir de una premisa, la veracidad de las conclusiones.
.
Bibliografía
Andrews, S. Fastqc, (2010). A quality control tool for high throughput sequence data.
Augen, J. (2004). Bioinformatics in the post-genomic era: Genome, transcriptome, proteome,

and information-based medicine. Addison-Wesley Professional.
Blankenberg, D., Kuster, G. V., Coraor, N., Ananda, G., Lazarus, R., Mangan, M., ... & Taylor,
J. (2010). Galaxy: a web‐based genome analysis tool for experimentalists. Current
protocols in molecular biology, 19-10.
Bolger, A., & Giorgi, F. Trimmomatic: A Flexible Read Trimming Tool for Illumina NGS Data.
URL http://www. usadellab. org/cms/index. php.
Giardine, B., Riemer, C., Hardison, R. C., Burhans, R., Elnitski, L., Shah, P., ... & Nekrutenko,
A. (2005). Galaxy: a platform for interactive large-scale genome analysis. Genome
research, 15(10), 1451-1455.
Modus ponendo ponens, tomado de

https://es.wikipedia.org/wiki/Modus_ponendo_ponens
Reglas de deduccion natural modus ponendo ponens
https://sites.google.com/site/seranhelo/cursos/logica/guias/reglas-de-deduccion-
natural/modus-ponendo-ponens
Modus ponendo ponens tomado de

https://es.scribd.com/doc/53808974/3-Ejemplos-de-Modus-Ponens-
Silogismo hipotetico tomado de
http://supermileto.blogspot.com.co/2015/01/ley-del-silogismo-hipotetico.html
https://es.wikipedia.org/wiki/Modus_ponendo_ponens

https://sites.google.com/site/seranhelo/cursos/logica/guias/reglas-de-deduccion-
natural/modus-ponendo-ponens
Modus ponendo tollendo Tollens tomado de
https://es.wikipedia.org/wiki/Modus_tollendo_tollens
Costenoble, S. W. (1996). Introducción a Lógica. Obtenido de

http://www.zweigmedia.com/MundoReal/logic/logic4.html
El pensante . (18 de abril de 2016). Obtenido de Ejemplo de silogismo disyuntivo:

https://educacion.elpensante.com/ejemplo-de-silogismo-disyuntivo/
wikipedia. (s.f.). Obtenido de Introducción de la disyunción o adición:

https://es.wikipedia.org/wiki/Introducci%C3%B3n_de_la_disyunci%C3%B3n
wikipedia Simplificación. (s.f.). Obtenido de https://es.wikipedia.org/wiki/Simplificaci%C3%B3n
https://es.wikipedia.org/wiki/Reglas_de_inferencia
Doble negración Wikipedia https://es.wikipedia.org/wiki/Doble_negaci%C3%B3n

Modus tollendo ponens: https://es.wikipedia.org/wiki/Modus_tollendo_ponens
Adjunción https://es.wikipedia.org/wiki/Adjunción_lógica

Trabajo Grupal

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Trabajo Grupal

Cargado por

Copyright:

Formatos disponibles

Paso 4 - Métodos para probar la validez de argumentos

Gerardo Andres Penagos Quintero

Walter Colorado González

JUAN DAVID MEJIA

Universidad Nacional Abierta y a Distancia (UNAD)

CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

áreas de las matemáticas. En esta actividad presentaremos un trabajo colaborativo, debatiremos

para afianzar el aprendizaje matemático.

 Conceptualización de las reglas de inferencia

 Validez de los argumentos.

 Expresiones en lenguaje natural.

a. Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipotético

modus ponens,1 2 3 4 eliminación de la implicación o regla de separación, y

en lógica proposicional.5 Se puede resumir como "si P implica Q; y P es verdad;

entonces Q también es verdad."6 La historia del modus ponendo ponens se remonta a la

El modus ponendo ponens pueden establecerse formalmente como:

la premisa de P y la implicación se "disuelven", siendo su único rastro el símbolo Q que

Un ejemplo de modus ponendo ponens es:

a. Si está lloviendo, te espero dentro del teatro.

Por lo tanto, te espero dentro del teatro.

b. Si estuvieras borracho, estarías cariñoso.

Por eso estás cariñoso

Javier tiene rabia.

Por lo tanto, Javier es una nube.

 Modus Tollendo Tollens

Llamado modus tollens y generalmente abreviado MTT o MT, Es Una Regla de

inferencia Que TIENE LA Siguiente forma:

tollens podría ser de la siguiente manera:

d. Si soleado està '' entonces '' Es de Día.

Por Lo Tanto, no està soleado.

e. p1: Si el perro guardián detecta un intruso, el perro guardián ladra.

p2: El perro guardián no ladró.

C: Por lo tanto, el perro guardián no detectó ningún intruso.

La presente regla dice que, si el consecuente de una proposición condicional X es el

Si alguien se caerá, entonces conviene tener lista la camilla.

Si el piso de la alberca está resbaloso, conviene tener lista la camilla.

enfermedades humanas experimentando sobre ellos y no sobre humanos.

Si encontramos curas a enfermedades humanas sin experimentar sobre humanos, entonces

vidas humanas cuando estemos buscando una cura.

b. Modus Tolendo Ponens, Doble Negación y Adjunción

puede escribirse como:

 Reglas de reemplazo - Doble negación:

pueden ser aplicadas únicamente a un segmento particular de una expresión.

La doble negación, esto es, la negación de la negación de una proposición p, es lógicamente

equivalente a p. Si un enunciado es verdadero, entonces no es el caso de que la declaración no es

2. “No ocurre que el mar no es salado”, entonces el mar es salado.

sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso.

Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse:

 El sol es caliente y el hielo es frío.

 Siete es mayor que cuatro y cuatro es mayor que dos.

C. Simplificación, Adición y Silogismo Disyuntivo

la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad ( o bien "B también

(wikipedia Simplificación, s.f.)

Forma Simbólica Forma de Argumento Nombre

Si el cielo es azul y la luna es redonda entonces (en particular) el cielo es azul.

El cielo es azul y la luna es redonda.

Por lo tanto, el cielo es azul.

de inferencia de la lógica proposicional. La regla hace posible la introducción de

entonces P o Q tiene que ser verdad.

Forma Simbólica Forma de Argumento Nombre

Si el cielo es azul, entonces el cielo es azul o algunos patos son canguros.

Por lo tanto, el cielo es azul o algunos patos son canguros.

 Silogismo Disyuntivo: El silogismo disyuntivo es aquel cuya premisa mayor establece