TAREA DE MATE
Páginas: 3 (717 palabras)
Publicado: 12 de abril de 2015
Proposiciones (Disyunción, conjunción, negación, condicional y bicondicional)
Proposiciones Lógicas
La lógica proposicional es la parte de la lógica que estudia la formaciónde proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.
Una lógicaproposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otrasproposiciones de mayor complejidad
Considérese el siguiente argumento:
1. Mañana es miércoles o mañana es jueves.
2. Mañana no es jueves.
3. Por lo tanto, mañana es miércoles.
Es unargumento válido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusión falsa. Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas, entonces la conclusióntambién podría serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo es. La validez de este argumento no se debe al significado de las expresiones «mañana es miércoles» y «mañanaes jueves», porque éstas podrían cambiarse por otras y el argumento permanecer válido. Por ejemplo:
1. Está soleado o está nublado.
2. No está nublado.
3. Por lo tanto, está soleado.
Encambio, la validez de estos dos argumentos depende del significado de las expresiones «o» y «no». Si alguna de estas expresiones se cambiara por otra, entonces podría ser que los argumentos dejaran de serválidos. Por ejemplo:
1. Ni está soleado ni está nublado.
2. No está nublado.
3. Por lo tanto, está soleado.
A continuación hay una tabla que despliega todas las conectivas lógicas que ocupan ala lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que se utilizan para representarlas.
símbolos matemáticos están presentes aquellos que son...
Proposiciones Lógicas
La lógica proposicional es la parte de la lógica que estudia la formaciónde proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.
Una lógicaproposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otrasproposiciones de mayor complejidad
Considérese el siguiente argumento:
1. Mañana es miércoles o mañana es jueves.
2. Mañana no es jueves.
3. Por lo tanto, mañana es miércoles.
Es unargumento válido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusión falsa. Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas, entonces la conclusióntambién podría serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo es. La validez de este argumento no se debe al significado de las expresiones «mañana es miércoles» y «mañanaes jueves», porque éstas podrían cambiarse por otras y el argumento permanecer válido. Por ejemplo:
1. Está soleado o está nublado.
2. No está nublado.
3. Por lo tanto, está soleado.
Encambio, la validez de estos dos argumentos depende del significado de las expresiones «o» y «no». Si alguna de estas expresiones se cambiara por otra, entonces podría ser que los argumentos dejaran de serválidos. Por ejemplo:
1. Ni está soleado ni está nublado.
2. No está nublado.
3. Por lo tanto, está soleado.
A continuación hay una tabla que despliega todas las conectivas lógicas que ocupan ala lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que se utilizan para representarlas.
símbolos matemáticos están presentes aquellos que son...
Leer documento completo
Regístrate para leer el documento completo.