Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Matematica Unidad 2 Paso 4 - Metod PDF
Logica Matematica Unidad 2 Paso 4 - Metod PDF
LOGICA MATEMATICA
UNIDAD 2: PASO 4 - MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
ACTIVIDAD INDIVIDUAL
INTEGRANTES:
KENIA MARTINEZ TORDECILLA CÓD: 1.063.149.006
GLENDY JOHANNA CHACON CÓD: 1.005.058.723
EMILIANO DELGADO MENDOZA CÓD: 88.265.486
LEDYS ADRIANA PAEZ RODRIGUEZ CÓD: 1.090.432.603
GRUPO: 90004_652
1
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
INTRODUCCIÓN
2
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
OBJETIVOS
3
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
ACTIVIDADES A DESARROLLAR
Podemos decir que en lógica, Modus Ponendo Ponens (llamado en latín, modo que
afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, en
una regla de inferencia que tiene siguientes forma [(p→q)۸p]→q
Por otra parte se utiliza para obtener conclusiones simples en esta se examina la primicia de la
regla, uno de los conceptos más utilizados en la lógica, no debe confundirse con una ley
lógica. Más bien, es uno de los mecanismos aceptados para la construcción de pruebas
deductivas que incluye la "regla de definición" y la "regla de sustitución
Formula
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
remisa 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.
Ejemplo
4
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
La validez del modus ponens en la lógica clásica de dos valores se puede demostrar
claramente demostrada utilizando una tabla de verdad.
p q p→q
v v v
v f f
f v v
f f v
Significa negando, niego y se refiere a una propiedad inversa de los condicionales, a los que
nos referíamos en primer lugar.
Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos
conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha
podido darse.
Por otra parte es una forma de argumento válida y una regla de inferencia en lógica
proposicional es una aplicación de la verdad general de que, si una declaración es válida,
también lo es su contraposición la regla de inferencia esta establece que si una primera
afirmación implica una segunda afirmación; y la segunda afirmación no es verdadera; se
puede inferir que la primera no puede ser verdadera es decir, si P implica Q y Q no es
verdadera entonces P tampoco es verdadera, vale decir que sería la contraposición de la otra
regla "Ponendo Ponens" en la que afirma afirmando.
Formula
Ejemplo
5
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
No suelta vapor.
Por lo tanto, no está hirviendo el agua.
SILOGISMOS HIPOTÉTICO
Es una forma de argumento válido que consiste en un silogismo con una sentencia condicional
para una o ambas de sus premisas. En la lógica proposicional, el silogismo hipotético es una
regla de inferencia válida (llamado también argumento cadena, regla de cadena, o el principio
de transitividad de la implicación, y a veces abreviado SH)
Formula
Donde la regla es que cada vez que las instancias de P→Q y →R aparecen en las líneas de
demostración, P→R se puede colocar en una línea posterior
Ejemplo
Donde ˫ es un símbolo metalógico que significa que P→R es una consecuencia sintáctica de
P→Q, y Q→R en algún sistema lógico y expresado como una tautología verdad funcional o
teorema de la lógica proposicional.
((P→Q) ^ (Q→R))→ (P→R) donde P, Q y R son proposiciones expresadas en algún sistema
formal.
6
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
La siguiente regla afirma que en una proposición molecular disyuntiva al negarse uno de sus
miembros (tollendo), se afirma el otro (ponens). ¿Por qué? Porque el sentido que tiene la
disyunción en la lógica proposicional es incluyente y no excluyente. Es decir, a veces el "o"
nos limita a que solamente una de las dos opciones es válida cuando es excluyente ("está
embarazada o no está embarazada"); pero a veces es incluyente, pues una de las opciones es
válida y quizá los sean las dos ("Benito Juárez fue indígena o fue mexicano"). Bueno, al ser
incluyente el sentido de la disyunción, podemos aceptar que si una posibilidad no se da,
entonces es la otra la efectiva.
pvq
¬p
q
Ejemplo 1
estudia alemán o estudia ingles. No estudia alemán por lo tanto estudia ingles
p = Estudia alemán
q = Estudia ingles
7
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
Ejemplo 2
voy a cine o voy de compras. No fui a cine por lo tanto fui de compras
p = voy a cine
q = voy de compras
Doble Negación
p ≡~p(~p)
Dentro de esta fórmula, el signo ≡ es usado para expresar “lógica”, mientras que por su
parte el signo ~ es usado para indicar negación, leyéndose literalmente como “no es
cierto que”. De esta forma A es lógicamente equivalente a no (no A) constituyéndose
entonces como una doble negación.
Ejemplo 1
1. p = Es de día
2. ~p = no es de día, es de noche
3. ~(~p) = resulta falsa la proposición “no es de día, es de noche” por lo tanto es de
día.
8
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
Entonces se tendría:
Ejemplo 2
1. A = el reo es culpable
2. ~A = el reo no es culpable, el reo es inocente
3. ~(~A) = resulta falsa la proposición “el reo no es culpable, el reo es inocente” por ende
es culpable
El reo es culpable ≡ no, el reo no es culpable, el reo es inocente (Lo cual se leería: la
proposición “el reo es culpable” es lógicamente equivalente a resulta falso que el reo sea
inocente, es culpable)
Adjunción
Esta ley permite que dos proposiciones dadas como premisas, donde ambas son verdaderas; se
pueden juntar mediante el termino enlace (y), originando como conclusión una conjunción.
p
q
p˄q
Ejemplo 1
9
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
Ejemplo 2
Cinco es mayor que tres; tres es menor que cuatro.
p = Cinco es mayor que tres
q = Tres es menor que cuatro
p˄q = cinco es mayor que tres y tres es menor que cuatro.
10
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
Absorción
Es una ley de equivalencia en la que se deben identificar los conectores lógicos, que como se
presenta en el ejemplo deben ser diferentes, posteriormente se visualizan las preposiciones
presentes en el ejercicio y la preposición que se repite será la equivalente. A continuación, se
presenta un ejercicio de ley de absorción.
Ejemplo:
P^(PVQ)=P
P Q PVQ P^(PVQ)
V V V V
V F V V
F V V F
F F F F
11
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
Ley de Morgan
12
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
En otras palabras
( ) ( ) ( )
Si reemplazamos
( ) ( ) ( )
( ) ( ) ( )
En lógica matemática podemos asumir que se obtiene la misma respuesta cuando operas
un conjunto de preposiciones por otra preposición que cuando se hace cada operación por
separado es decir
( ) ( ) ( )
( ) ( ) ( )
13
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
Ley de exportación
Es una regla de reemplazo que permite que sentencias condicionales que tengan antecedentes
conjuntivos que se sustituyen por declaraciones que tienen consecuentes condicionales y
viceversa en pruebas lógicas.
Ejemplo
Si llueve, entonces me mojo por lo tanto me enfermo. Es lógicamente equivalente a: Si llueve
y me mojo, entonces me enfermo.
Ley de Contraposición. En lógica, la contraposición lógica es una ley que dice que, para cada
sentencia condicional, hay una equivalencia lógica entre la misma y su contraposición.
14
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
15
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a
través de:
Uso de las tablas de verdad.
Uso de las reglas de inferencia.
Uso del simulador Truth Table.
(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea
escogido por otro integrante)
p: como frijoles
q: como lentejas
s: como carne
t: obtengo proteínas
16
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
“Si como frijoles y como lentejas, entonces tendré dolor de estómago. No es cierto que si
como lentejas, me duela el estómago. Como carne o como frijoles. Si como carne, obtengo
proteínas. Por lo tanto, obtengo proteínas”.
Premisa 1: (p q)→r
Premisa 2: ¬q→r
Premisa 3: s p
Premisa 4:s→t
Conclusión: t
,(( ) ) ( ) ( ) ( )-
17
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
18
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
19
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
Premisa 1: (p q)→r
Premisa 2: ¬q→r
Premisa 3: s p
Premisa 4:s→t
Conclusión:
20
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
C. La Vicerrectoría Académica, quiere realizar una campaña motivacional para los estudiantes
y que así obtengan mejores calificaciones, por esta razón se plantea el siguiente argumento:
“Si Juan estudia el fin de semana, entonces estará preparado para el lunes, o Juan se va de
paseo. Si Juan se va de paseo, entonces no estudia el fin de semana. Ocurre que Juan Estudió
el fin de semana y llegará seguro a la evaluación. Por consiguiente Juan está preparado para el
lunes y llega seguro a la evaluación”.
,( ) ( )- ( ) ( )
P1.
P2.
P3.
C.
P5. TT en 2
P_______
r
P6. MTP en 1
r______
q
P7. S en 3
21
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
22
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
23
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
(¬PVQ→R^S) → (¬S→P)
24
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
TRUTH TABLE
25
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
E. En el colegio, están realizando actividades para incentivar los buenos hábitos de estudio, así
que nos manifestaron el siguiente argumento, el cual se dio como resultado de una encuesta
realizada a los padres de familia: “Si estudio diariamente, tendré tiempo para otras actividades.
Me va bien en los cursos o no tendré tiempo para otras actividades. Si duermo en exceso,
entonces no me va bien en los cursos. Por lo tanto, si estudio diariamente, entonces no duermo
en exceso”
P = estudio diariamente
q = tendré tiempo para otras actividades
r = me va bien en los cursos
s = duermo en exceso
(p → q) ˄ (r v ¬ q) ˄ ((s → ¬ r) → (p → ¬s))
2ⁿ = 24 = 216
26
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
(p → q) ˄ (p → q) ˄ (r v ¬ q) ˄
p q r s ¬q ¬r ¬s (p → q) (r v ¬ q) (r v ¬ q) (s → ¬ r) (p → ¬s) (s → ¬ r) → (p → ¬s) ( (s → ¬ r) → (p → ¬s))
v v v v f f f v v v f f v v
v v v f f f v v v v v v v v
v v f v f v f v f f v f f f
v v f f f v v v f f v v v f
v f v v v f f f v f f f v f
v f v f v f v f v f v v v f
v f f v v v f f v f v f f f
v f f f v v v f v f v v v f
f v v v f f f v v v f v v v
f v v f f f v v v v v v v v
f v f v f v f v f f v v v f
f v f f f v v v f f v v v f
f f v v v f f v v v f v v v
f f v f v f v v v v v v v v
f f f v v v f v v v v v v v
f f f f v v v v v v v v v v
El ejercicio es una contingencia, por lo tanto se le aplica leyes de inferencia ya que el argumento no es válido
27
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
28
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea
escogido por otro integrante)
Sochi ladra toda la noche entonces los vecinos se molestan. Sochi no está en el garaje entonces
no pelea con los gatos. Sochi ladra toda la noche y pelea con los gatos entonces los vecinos se
molestan y pelea con los gatos.
29
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
p q r s p→q ¬r→¬s p s q s ,( ) ( ) ( )- ( )
v v v v f f f v v
v v v f f v f f v
v v f v f f f v v
v v f f f f f f v
v f v v v f f v v
v f v f v v v f v
v f f v v f f v v
v f f f v f f f v
f v v v v f f f v
f v v f v v v v v
f v f v v f f f v
f v f f v f f v v
f f v v v f f f v
f f v f v v v v v
f f f v v f f f v
f f f f v f f v v
30
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
TRUTH TABLE
31
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
*( ) , ( )- ( ) ( )+
32
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
*, ( )- ( ) ( ) + ( )
s: me divierto
Lenguaje natural
Si dedico tiempo a mis estudios entonces, entiendo los temas por lo tanto entrego las
actividades a tiempo. Así que entrego las actividades a tiempo y dedico tiempo a mis estudios.
Pero me divierto o entiendo los temas. Y como no entiendo los temas. Podemos decir me
divierto y entiendo los temas por consiguiente entrego las actividades a tiempo.
*, ( )- ( ) ( ) + ( )
33
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
Tabla de verdad
Reglas de inferencia
p q r s t p q →r :
v v v v v f v v v v v v v v v
v v v v f f v v v v f v v f v
v v v f v f v v v v v v v v v
v v v f f f v v v v v v v v f
v v f v v f v f v v v f f f v
v v f v f f v f v v f f f f v
v v f f v f v f v v v f f f v
v v f f f f v f v v v f f f v
v f v v v v f v v v v v v v v
v f v v f v f v v v f v v f v
v f v f v v f v v v v v v v v
v f v f f v f v v v v v v v f
v f f v v v f v f v v f f f v
v f f v f v f v f v f f f f v
v f f f v v f v f v v f f f v
v f f f f v f v f v v f f f v
f v v v v f f v v v v v v v v
f v v v f f f v v v f v v f v
f v v f v f f v v f v v f f v
f v v f f f f v v f v v f f v
f v f v v f f v v v v v v v v
f v f v f f f v v v f v v f v
f v f f v f f v v f v v f f v
f v f f f f f v v f v v f f v
f f v v v v f v v v v v v v v
f f v v f v f v v v f v v f v
f f v f v v f v v f v v f f v
f f v f f v f v v f v v f f v
f f f v v v f v f v v f f f v
f f f v f v f v f v f f f f v
f f f f v v f v f f v f f f v
f f f f f v f v f f v f f f v
34
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
Premisa 1: p→(q→r)
Premisa 2: r p
Premisa 3: s q
Premisa 4:¬q
Premisa 5: simplificación p2 : p
Conclusión: s (q→r)
35
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
*, ( )- ( ) ( ) ( )+
Para este punto tenemos el siguiente argumento: “Si estudio en la UNAD, entonces alcanzare
mis metas propuestas o fracasare profesionalmente. Si repruebo el semestre entonces no
alcanzare mis metas propuestas. Si estudio con dedicación no fracasare profesionalmente.
Estudio en la Unad y estudio con dedicación. Por lo tanto, alcanzare mis metas propuestas.
p = Estudio en la UNAD
r = Fracasar profesionalmente
s = Repruebo el semestre
{[p→(q r)]
{[p→(q r)]
[p→(q r) (s→ (t→ r (s→ q)
p q r s t ¬q ¬r (qvr) (p t) (s→ q) (t→ r)
] q) ) (t→ r) (p t)
(p t)}→q
}
v v v v v f f v v f f v f v
v v v v f f f v v f v f f v
v v v f v f f v v v f v f v
v v v f f f f v v v v f f v
v v f v v f v v v f v v f v
v v f v f f v v v f v f f v
v v f f v f v v v v v v v v
v v f f f f v v v v v f f v
v f v v v v f v v v f v f v
36
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
v f v v f v f v v v v f f v
v f v f v v f v v v f v f v
v f v f f v f v v v v f f v
v f f v v v v f f v v v f v
v f f v f v v f f v v f f v
v f f f v v v f f v v v f v
v f f f f v v f f v v f f v
f v v v v f f v v f f f f v
f v v v f f f v v f v f f v
f v v f v f f v v v f f f v
f v v f f f f v v v v f f v
f v f v v f v v v f v f f v
f v f v f f v v v f v f f v
f v f f v f v v v v v f f v
f v f f f f v v v v v f f v
f f v v v v f v v v f f f v
f f v v f v f v v v v f f v
f f v f v v f v v v f f f v
f f v f f v f v v v v f f v
f f f v v v v f v v v f f v
f f f v f v v f v v v f f v
f f f f v v v f v v v f f v
f f f f f v v f v v v f f v
37
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
1. [p→(q r) ]
2. (s→ q)
3. (t→ r)
4. (p t)→q
q
(p t)
5. p (S) en 4
p
s→ q
6. s (TT) en 2
q
s
t→ r
7. t (TT) en 3
r
t
q r
8. r (MTP) en 1
q
r
9. p t (Ad) 5 y 7 p t o p t
p t
38
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
39
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
40
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
41
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
C. Se ha soltado desde la azotea del edificio donde vivo una hoja tamaño oficio, otra hoja de
papel hecha bola, un limón y un tomate con un peso de 4 Kg. Mientras tanto un observador en
el piso midió el momento de llegada de los tres objetos. El resultado de la observación es que
la hoja tamaño oficio le afectó la resistencia del aire, en tanto que los otros tres objetos
llegaron al mismo tiempo al suelo, independientemente de su peso. Por lo tanto, la gravedad
afecta igualmente a todos los objetos, independientemente de su peso.
42
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
D. Todos los seres humanos sentimos temor a provocar la muerte de otra persona. Las
personas con creencias religiosas tienen esta prohibición como norma de conducta. Además
este temor es compartido por personas sin religión. Finalmente, este repudio a lastimar a otro,
existe en todo tipo de culturas, en cualquier parte del mundo. Por lo tanto, esto es un valor que
es independiente de la religión, y del contexto cultural, y al ser compartido por todos los seres
humanos, es un valor Universal.
43
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
CONCLUSIONES
44
Universidad Nacional Abierta y a Distancia – UNAD
Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios
Lógica Matemática
REFERENCIAS
Alfred Tarski 1946 Introducción a la Lógica y a la Metodología de las Ciencias Deductivas 2.ª
edición, reimpreso por Dover Publications, Mineola NY. ISBN 0-486-28462-X (pbk). (en
ingles) Modus tollendo ponens - Wikipedia, la enciclopedia libre
https://es.wikipedia.org/wiki/Modus_tollendo_ponens
45