Trabajo3_stefa
Páginas: 2 (302 palabras)
Publicado: 10 de noviembre de 2015
1PENSAMIENTO LÓGICO Y MATEMÁTICO
FINAL
STEFANY YESENIA CABEZSA BONILLA
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
CEAD: PALMIRA
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍASE INGENIERÍAS
CIENCIAS BÁSICAS
PALMIRA
2015
Primer aporte: Demostración por Contraejemplo
En lógica, especialmente en sus aplicaciones a matemáticas y filosofía, un contraejemplo esuna excepción a una regla general propuesta, es decir, un caso específico de la falsedad de una cuantificación universal (un "para todo").
Cuando hemos probado la validez de la implicaciónp= → q, frecuentemente se trata de investigar la validez de la reciproca q = → p. Empezamos analizando casos particulares que satisfagan la hipótesis q y confrontamos la validez o no dela conclusión p. Si damos un ejemplo donde la conclusión resulta falsa, tenemos que q Λ ― p es verdadera. Puesto que ― (q = → p) ↔ q Λ ― p se sigue por las reglas de inferencia que ― (q = →p) es verdadera y por lo tanto q = → p es falsa.
El determinar la falsedad de q = → p mediante un caso particular se denomina un contraejemplo.
Ejemplo. Si n es un entero primo entonces nes impar. Es una implicación falsa porque n = 2 es primo y sin embargo es par. En este caso, n = 2 es un contraejemplo.
Segundo aporte: Simplificación y Ley de la conjunciónSIMPLIFICACIÓN:
Obviamente, es la operación inversa. Si disponemos de un enunciado formado por dos miembros unidos por una conjunción, podemos hacer de los dos miembros dos enunciados afirmados porseparado.
p Λ q “Tengo una manzana y tengo una pera”
p “Tengo una manzana”
CONJUNCIÓN
p, q ├ p Λ q
Conjunción (C): Si disponemos de dos enunciados afirmados como dos premisas separadas,mediante la adjunción, podemos unirlos en una sola premisa utilizando el operador Λ (conjunción).
p “Juan es cocinero”
q “Pedro es policía”
p Λ q “Juan es cocinero y Pedro es policía”
FINAL
STEFANY YESENIA CABEZSA BONILLA
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
CEAD: PALMIRA
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍASE INGENIERÍAS
CIENCIAS BÁSICAS
PALMIRA
2015
Primer aporte: Demostración por Contraejemplo
En lógica, especialmente en sus aplicaciones a matemáticas y filosofía, un contraejemplo esuna excepción a una regla general propuesta, es decir, un caso específico de la falsedad de una cuantificación universal (un "para todo").
Cuando hemos probado la validez de la implicaciónp= → q, frecuentemente se trata de investigar la validez de la reciproca q = → p. Empezamos analizando casos particulares que satisfagan la hipótesis q y confrontamos la validez o no dela conclusión p. Si damos un ejemplo donde la conclusión resulta falsa, tenemos que q Λ ― p es verdadera. Puesto que ― (q = → p) ↔ q Λ ― p se sigue por las reglas de inferencia que ― (q = →p) es verdadera y por lo tanto q = → p es falsa.
El determinar la falsedad de q = → p mediante un caso particular se denomina un contraejemplo.
Ejemplo. Si n es un entero primo entonces nes impar. Es una implicación falsa porque n = 2 es primo y sin embargo es par. En este caso, n = 2 es un contraejemplo.
Segundo aporte: Simplificación y Ley de la conjunciónSIMPLIFICACIÓN:
Obviamente, es la operación inversa. Si disponemos de un enunciado formado por dos miembros unidos por una conjunción, podemos hacer de los dos miembros dos enunciados afirmados porseparado.
p Λ q “Tengo una manzana y tengo una pera”
p “Tengo una manzana”
CONJUNCIÓN
p, q ├ p Λ q
Conjunción (C): Si disponemos de dos enunciados afirmados como dos premisas separadas,mediante la adjunción, podemos unirlos en una sola premisa utilizando el operador Λ (conjunción).
p “Juan es cocinero”
q “Pedro es policía”
p Λ q “Juan es cocinero y Pedro es policía”
Leer documento completo
Regístrate para leer el documento completo.