República Bolivariana de Venezuela

Ministerio del Poder Popular para la Educación

Instituto Universitario de Tecnología Industrial “Rodolfo Loero Arismendi”

Asignatura: Lógica

Segundo semestre de Diseño Grafico

ASPECTOS RELEVANTES DE LA PROPOSICIÓN CONDICIONAL

Docente:

Deysi Dimas
Alumno:

Oscar Castillejos

C.I. 28.597.984
 Puerto Ordaz, 14 de diciembre de 2020

Razonamiento lógico

Es un proceso mental que implica la aplicación de la lógica. A partir de esta

clase de razonamiento, se puede partir de una o de varias premisas para arribar a una
conclusión que puede determinarse como verdadera, falsa o posible

Implicación y Lenguaje natural

La implicación o condicional es un operador que opera sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor
de falso sólo cuando la primera proposición es verdadera y la segunda falsa, y
verdadero en cualquier otro caso.

El lenguaje natural es el lenguaje que hablamos todos los días, nuestra forma de
comunicarnos por excelencia. Aunque para nosotros sea un gesto sencillo, casi
inconsciente, el habla es un proceso que implica millones de conexiones neuronales y
complejos procesos corporales de captación y comprensión.

Enunciado condicional en el lenguaje natural

Formalizamos (A → B) para indicar un enunciado condicional. En este caso A es

el antecedente y B el consecuente. En castellano usamos normalmente la expresión “si
A entonces B”. Se usan también “si A, B”, “B, si A”, “A es condición suficiente para B”,
“B es condición necesaria para A”, “sólo si B, A”. La interpretación que le daremos será
la siguiente: Un enunciado condicional es falso cuando el antecedente es verdadero y
el consecuente falso, en el resto de los casos es verdadero.
¿Cuál es la distinción entre condicionales generalizada, contrafáctica y material?

Un condicional contrafáctico es un enunciado condicional en el cual interviene la

noción de posibilidad, expresada gramaticalmente por la introducción del subjuntivo.

El condicional material, conocido como condicional, condicional funcional de

verdad, o imprecisamente confundido con la implicación material, es una conectiva
lógica que conecta dos proposiciones, representado usualmente A a B. En lógica
proposicional, el condicional material es una función de verdad binaria, que se vuelve
falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro
caso.

En el entendimiento común, en general, no se considera que el antecedente

pueda ser falso; el conectivo proposicional está definido mediante las tablas de verdad;
el condicional lógicamente válido está determinado por las reglas de inferencia y el
condicional generalizado es la estructura que rige los teoremas y las definiciones.

Procedimiento para decidir el carácter tautológico de un condicional.

Una demostración condicional normalmente es parte de una demostración

directa a menos que la conclusión que deseamos demostrar sea la misma implicación.
Se compone de 3 elementos principales: la suposición, el proceso de deducción y la
conclusión. La suposición es la proposición que forma el antecedente de la implicación
que tratamos de demostrar. El proceso de deducción nos muestra cómo llegar a la
conclusión a partir de la suposición y las premisas y proposiciones preexistentes,
usando las mismas reglas de inferencia y equivalencias lógicas de las demostraciones
directas. La conclusión es el consecuente de la implicación y lo que nos permite afirmar
que esta última es una tautología.

Para diferenciar la demostración condicional del resto de la demostración se le

señala con algún tipo de indicador visual, normalmente con sangrado adicional o con
líneas horizontales, y se coloca al final de la misma la proposición que se demostró,
indicando el mecanismo de la demostración y las líneas que la componen.

CONCLUSIÓN

La implicación o condicional, es un sistema o algoritmo que da la posibilidad de

deducir o inferir un enunciado verdadero, partiendo de uno o más que se hayan
validado como verdaderos. Para esto se necesita usar el razonamiento lógico para
encontrar la respuesta entre lo que es verdadero o falso.

Utilizando diferentes procesos para determinar la tautología del condicional, y así

saber si la pregunta posee un condicional general, contrafáctica o material. Se necesita
el suficiente conocimiento y agilidad mental para poder las peguntas que se presenten
más adelante, de la manera más lógica y coherente