Exposicion Logica PDF

Semántica de la lógica de los enunciados
EQUIPO 5
Temas:
• Tautologías, contradicciones y formulas
contingentes
• Argumentos lógicamente validos
• Ejemplos claros y entendibles
Materia: Lógica II Seccion:102

Integrantes:
• Pablo Augusto Ruiz Campos
• Kevin Eddiel Cortes Mondragón
• Diego de Jesús Ineyra Sánchez
• Ángel Escobar Ferrer
• Leonardo Luna Esquivel
• Severiano
• Cristofer Caballero Ortiz
i.) Tautologías, contradicciones y formulas
contingentes
Definiciones:
1. Tautología: Es una forma proposicional que siempre es verdadera

(Independientemente de los valores de verdad de las variables que la forman).
2. Contradicciones: Es una forma proposicional que siempre es falsa (Independientemente

de los valores de verdad de las variables que las forman).
3. Contingentes: Es una forma proposicional que no es ni tautología ni contradicción (No

es falsa ni verdadera)
De donde surge 1. Tautología: Este término proviene de las voces griegas tauto (“lo
mismo”) y logos (“palabra” o “saber”), y su formulación lógica a menudo consiste en A = A,
es decir, como algo que es idéntico a sí mismo, y por lo tanto no está realmente
proponiendo nada.
2. Contradicciones: En la lógica este es un principio que surge de la expresión lógica o

booleana equivalente al resultado falso, para todos los valores de sus variables,
independientemente del número de variables que tenga dicha expresión o función. Esto
nos lo dice Leibniz en sus Nuevos ensayos sobre el entendimiento humano.
3. Contingentes: Esta surge de la predicación de los estados de cosas, los hechos, los
eventos o las proposiciones.
Como se usan 1. Tautología: Se usa para decir una afirmación obvia, vacía o redundante.
2. Contradicciones: Se usan para decir obviedades incompatibles entre dos o más

preposiciones.
3. Contingentes: Se usan para decir o señalar algo que puede ser o no ser dependiendo del
caso.
Bibliografías Puttenham, G. (2016). The Art of English Poesy: A Critical Edition. Estados
Unidos: Cornell University Press.
ii.) Argumentos lógicamente validos (válidos y no
validos)
1. Argumentos no formalizados
Los argumentos no formalizados son aquellos que usan un lenguaje ordinario son más
difíciles de analizar y aplicar las nociones cuando los argumentos no se pueden reducir
fácilmente esquemas debido a su complejidad por ejemplo las discusiones de algún tema
de opiniones diversas.
Estos argumentos son difíciles de saber si son válidos o inválidos oídos a tres factores
cómo:
2. Las distintas personas de un debate entienden de forma distinta los términos
Esto quiere decir que por ejemplo en el debate del aborto los que están en contra es
porque dictan de que al hacer eso quitan una vida, pero en cambio los que están a favor
dicen que todo al no estar todavía en su etapa de embrión o preembrión no se le
considera un ser vivo por tanto no quitan una vida.
En ese caso se puede apreciar cómo es que es más difícil saber cuál argumento es inválido
ya que depende de la moral que tenga cada persona y de las premisas que estén
manejando.
3. Diferentes premisas en el tema
Puedo cumplir diversas premisas en el mismo tema que sean verdaderas lo cual puede dar
paso a distintos argumentos que ataquen o respalden la idea.
4. Los argumentos son difusos
Estos argumentos cuentan con un lenguaje demasiado ambiguo lo cual complica
determinar si su premisa es correcta si su conclusión es correcta o si la premisa y la
conclusión están relacionados.
Pese a estos factores para que se pueda lograr determinar si una premisa es válida o
inválida se debe analizar si es que la premisa y la conclusión son correctos o están
relacionados en cuyo caso de que no significará que no tiene validez aquella
argumentación.
Investigación 2.
ii.) Argumentos lógicamente validos (válidos y no
validos)
Valido e invalido.
Los argumentos válidos son aquellos en los que, si las premisas son verdaderas, entonces la
conclusión debe ser verdadera necesariamente debido a la estructura lógica del argumento
Validez de argumentos formalizados
La validez de argumentos formalizados se refiere a la propiedad de un argumento en el que la

conclusión se deduce de manera lógica y necesaria de las premisas, siguiendo reglas precisas de
inferencia. En otras palabras, un argumento es válido si no hay forma de que las premisas sean
verdaderas y la conclusión sea falsa al mismo tiempo. La validez se evalúa considerando la
estructura lógica del argumento, independientemente de la verdad o falsedad de las afirmaciones
individuales.
Fórmulas de los tipos de argumentos formalizados.
1. Modus Ponens:
_Premisas: p → q, p
_Conclusión: q
2. Modus Tollens:
_Premisas: p → q, ¬q
_Conclusión: ¬p
3. Silogismo Hipotético:
_Premisas: p → q, q → r
_Conclusión: p → r
4.Silogismo Disyuntivo:
_Premisas: p ∨ q, ¬p
_Conclusión: q
iii) Ejemplos del primer punto
EJEMPLOS DE TAUTOLOGIAS
Las tautologías son proposiciones que siempre van hacer verdaderas sin
importar que, las tautologías tienen diferentes tipos de conectivos lógicos en
los cuales entran los siguientes:
• Negación
Si negamos “p” siendo “p” verdadera entonces será falsa, pero si la
negamos siendo falsa entonces la hará verdadera ejemplo:
- “no es cierto que el acido sulfúrico corroe madera” (f)

- “no es cierto que el acido sulfúrico NO corroe madera” (V)
• Conjunción
Une dos frases las cuales tienen que ser verdaderas si el enunciado es
tautológico y si una es falsa lo haría falso todo aun que uno fuera
verdadero, bien si las dos son falsas seguiría el comentario siendo falso
- “El teléfono te daña la vista y el sol también” (f)

- “Charles Darwin fue biólogo e investigador” (v)
- “La tierra es plana y el sol tambien” (F)
• Disyunción
Es un termino que enlaza y tiene como función presentarnos una
disyuntivita entre los enunciados. En el lenguaje natural se expresa
mediante el termino “o”. Este conectivo indica que, si al menos uno de los
enunciados simples es verdadero, la proposición resultara verdadera; y
en el caso de que ambos sean falsos la proposición será falsa; por
ejemplo:
- “O Arquímedes y Newton son historiadores o matemáticos”.

- “O Arquímedes es historiador o Newton es biólogo”
• Condicional
A este conectivo lógico tambien se le denomina implicación; en el
lenguaje natural lo expresamos de esta manera “si…,” “si, entonces”,
“siempre que”, entre otras expresiones.
La condicional indica que, siendo el antecedente verdadero y el

consecuente falso, entonces será falso todo el enunciado y en los demás
casos será verdadero. Por ejemplo:
- “Si en México no hay fraude electoral, entonces en México tendremos

elecciones democráticas.” (V)
- “Si cuba es un país socialista, entonces es un país antidemocrático” (F)
- “Si Francia no tiene gobierno democrático entonces en Francia los

ciudadanos carecen de libertad (V)
• Bicondicional
Este conectivo se expresa mediante las palabras “Si y solo si”, e indica
una relación doblemente condicionada entre dos enunciados. El
bicondicional nos indica que, si ambos enunciados son verdaderos o
ambos son falsos, el enunciado entero resultara verdadero. En todos los
demás casos serán falsos. Por ejemplo:
- “EL sol es un planeta si y solo si la tierra es el centro del universo” (V)

- “Al hombre se le define como animal político si y solo si vive en
sociedad. (V)
- “El sol es un cuerpo opaco, si y solo si los planetas giran alrededor del
Sol” (F)
EJEMPLOS DE CONTRADICCIONES
Las contradicciones son preposiciones que sin importar los posibles
valores de verdad variables, terminan siendo 100% mentira, pues lo
que se dice, carece de sentido y no sostiene una conclusión
verdadera, algunos ejemplos son:
• Siempre hago lo que quiero, no lo puedo evitar

• Gracias a Dios soy ateo
• No soy supersticioso, porque trae mala suerte
• Juro seguro que todo es dudoso
• Vivir más tiempo me va a matar
Se sabe que estos ejemplos son contradicciones, pues los

elementos que estos contienes, proponen ideas opuestas, haciendo
que carezcan de una conclusión verídica.
EJEMPLOS DE CONTINGENCIA
Las preposiciones de contingencia, son las preposiciones que no son mentira,
ni verdad, y se suele decir que están en un punto intermedio entre la
tautología y las contradicciones, algunos ejemplos son:
• Mi padre es muy buena persona

• La sopa esta deliciosa
• La cesta está llena de manzanas
• Las pinturas de Da Vinci son las Mejores
• El cielo está muy obscuro
Se sabe que son preposiciones de contingencia pues no depende de sus propias

premisas, haciendo que no sean mentira, ni verdad, sino, dependen de las
circunstancias y/o el criterio propio de los elementos que estas proposiciones
utilizan
BIBLIOGRAFIA
Puttenham, G. (2016). The Art of English Poesy: A Critical Edition. Estados Unidos: Cornell
University Press.
Escobar G. (2015). Lógica “Nociones y aplicaciones” Cuarta edición editorial: Mac Graw
HILL
Camacho L. (2002). “Introducción a la Lógica” Primera edición. Consejo Editorial del LUR.
Editorial Tecnológica de Costa Rica

Exposicion Logica PDF

Cargado por

Copyright:

Formatos disponibles

Exposicion Logica PDF

Cargado por

Información del documento

Descripción original:

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

Exposicion Logica PDF

Cargado por

Copyright:

Formatos disponibles

Semántica de la lógica de los enunciados

• Argumentos lógicamente validos

• Ejemplos claros y entendibles

Materia: Lógica II Seccion:102

1. Tautología: Es una forma proposicional que siempre es verdadera

2. Contradicciones: Es una forma proposicional que siempre es falsa (Independientemente

3. Contingentes: Es una forma proposicional que no es ni tautología ni contradicción (No

2. Contradicciones: En la lógica este es un principio que surge de la expresión lógica o

2. Contradicciones: Se usan para decir obviedades incompatibles entre dos o más

Validez de argumentos formalizados

La validez de argumentos formalizados se refiere a la propiedad de un argumento en el que la

Fórmulas de los tipos de argumentos formalizados.

- “no es cierto que el acido sulfúrico corroe madera” (f)

- “El teléfono te daña la vista y el sol también” (f)

- “O Arquímedes y Newton son historiadores o matemáticos”.

La condicional indica que, siendo el antecedente verdadero y el

- “Si en México no hay fraude electoral, entonces en México tendremos

- “Si cuba es un país socialista, entonces es un país antidemocrático” (F)

- “Si Francia no tiene gobierno democrático entonces en Francia los

- “EL sol es un planeta si y solo si la tierra es el centro del universo” (V)

• Siempre hago lo que quiero, no lo puedo evitar

Se sabe que estos ejemplos son contradicciones, pues los

• Mi padre es muy buena persona

Se sabe que son preposiciones de contingencia pues no depende de sus propias

También podría gustarte