Beruflich Dokumente
Kultur Dokumente
FASE INDIVIDUAL
PRESENTADO POR
ESTUDIANTE
200611_789
GRUPO
PRESENTADO A
DOCENTE
PRIMER SEMESTRE
2016
OBJETIVOS
aprendizaje.
Este trabajo sintetiza de manera introductoria las Reglas de inferencia en esta ocasin Modus
Ponendo Ponens y Modus tollendo Tollens, con sus respectivos ejemplos y estructuracin
simblica., dando una nocin al lector sobre algunas de las preguntas frecuentes que se
A travs de las tablas de verdad y las inferencias lgicas daremos la solucin de un ejerci con
en el simulador truth.
INFERENCIAS LGICAS
en la Lgica Matemtica
pq
______
1: ~
2:
________
: ~r
Demostracin:
Puesto que r q es equivalente a ~q ~r, por MTT se tiene la premisa:
Es en realidad una proposicin verdadera, esto es, no importa que entero sea x, siempre ser
= (2a + 1) (2a + 1)
= 42 + 4a + 1
= 2(22 + 2a) + 1
= 2k + 1 (k = 22 2 + 2a).
En consecuencia, 2 es impar.
Ejemplo 3:
Dora es vegetariana
Simblicamente:
1:
P2:
________
validez de una tesis t probando que las consecuencias de su contraria son falsas.
Ejemplo 1:
Si x2 es par, entonces x es par, (con x entero) Suponga que existe al menos un entero x tal que
x2 es par y x es impar.
Ejemplo 2:
Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposicin abierta
en una variable n, y es necesario demostrar que tal proposicin se verifica para todos los
elementos n que pertenecen a un subconjunto infinito dado sobre los nmeros enteros, el axioma
II. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P (k) es
Ejemplo 3:
p: 3n+2 es impar.
q: n es impar.
Ahora se sigue que 3n+2 = 3(2k)+ 2 = 2(3k)+2 = 2 | (3k {+z 1)} y 3n+2 es de la forma 2l Por
mnimo tres ejemplos de alguna de las terminologas de las leyes de inferencia lgica
establece entre dos enunciados una relacin de causa-efecto. La regla ponendo ponens
1:
2:
_______
:q
Ejemplo 1:
Ejemplo 2:
1:Si los alumnos tienen laboratorio los jueves, Entonces deben traer bata anti fluido
Ejemplo 3:
-Modus tollendo tollens (MTT): Permite de eliminar el consecuente siempre y cuando este
1:
2:~q
_______
: ~p
Ejemplo 1:
Ejemplo 2
Ejemplo 3:
tipo argumento de uno de los problemas de enunciados que haya seleccionado; adems
TRUTH.
En la ciudad de Pereira se ha creado un buffet de abogados entre cuatro amigos, del cual Juan
Arroyo y Mara hacen parte; en cierta ocasin se gener una discordia laboral por diferentes
delitos; Juan ha asumido la defensa de Alberto quien es la fuente de discordia con Mara. Mara
ha decidido tomar acciones radicales frente a lo ocurrido con Juan: Si el cliente de Juan gana
la apelacin, entonces Mara se retira del buffet de abogados. Mara se retira del buffet de
abogados si y slo si Alberto el cliente de Juan no es llevado a prisin. Por lo tanto, si el cliente
de Juan gana la apelacin, entonces no es llevado a prisin. Determinar con el uso de las dos
formas de la tabla de verdad la validez del razonamiento que hace Mara y hacerlo tambin con
Premisa1: Si el cliente de Juan gana la apelacin, entonces Mara se retira del buffet de
abogados.
Premisa 2: Mara se retira del buffet de abogados si y slo si Alberto el cliente de Juan no es
llevado a prisin
1:
2:
_______
: pr
DEMOSTRACIN POR TABLAS DE VERDAD
[( ) ( ) ] ( )
V V V V V V V V
V V F V F F F V
V F V F F F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V F F V V
F F F V V V V V
La tabla anterior demuestra que es una tautologa por lo cual el Razonamiento es valido
P1 P2 Conclusin
P q r pq qr pr
V V V V V V
V V F V F F
V F V F F V
V F F F F F
1:Si el cliente de Juan gana la apelacin, entonces Mara se retira del buffet de abogados.
2:Mara se retira del buffet de abogados si y slo si Alberto el cliente de Juan no es llevado a
prisin
1:
2:
_______
: p r SH (1,2)
inferencia lgicas, sus reglas para demostrar la prueba formal de validez de un argumento
dado, en el ejercicio anterior se estableci que a travs del razonamiento se puede llegar
a una conclusin Tautolgica, con comprobacin del simulador TRUTH. En las tablas
de verdad.
REFERENCIAS BIBLIOGRAFICAS
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10526962
de: http://hdl.handle.net/10596/7960
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
http://campus03.unad.edu.co/ecbti07/pluginfile.php/17265/mod_forum/attachment/51
5721/2.%20Presentacion%20para%20Webconference%20Reglas%20de%20Inferenci
a.pdf