República Bolivariana de Venezuela

Ministerio del Poder Popular para la Educación Universitaria, Ciencia y

Tecnología
Universidad Bicentenaria de Aragua

Realizado Por:
Medina Zambrano, Lina. Milangela
V-26.205.999
Contaduría Pública

Porlamar, 02 de Junio de 2018

 Proposición Lógica

Una proposición (o enunciado) es una oración con valor referencial o informativo,

de la cual se puede predicar su veracidad o falsedad, es decir, que puede ser falsa o
verdadera pero no ambas a la vez.
La proposición es la expresión lingüística del razonamiento, que se caracteriza por
ser verdadera o falsa empíricamente, sin ambigüedades. Son proposiciones las oraciones
aseverativas, las leyes científicas, las fórmulas matemáticas, las fórmulas y/o esquemas
lógicos, los enunciados cerrados o claramente definidos. No son proposiciones las
opiniones y suposiciones; los proverbios, modismos y refranes; los enunciados abiertos
no definidos; las oraciones interrogativas, exclamativas, imperativas, desiderativas y
dubitativas; las interjecciones en general; ni las operaciones aritméticas.

Tipos de Proposición

Tipos de proposición:

Las proposiciones se pueden dividir en dos tipos básicos:

1.- Proposición simple.

En la proposición simple, se da una afirmación con el resultado implícito

a) El gorro azul.

2.- Proposición compuesta.

En la proposición compuesta se da la proposición lleva las interjecciones o

conexiones (y- o) y de esta se pueden separar oraciones como:

a) El lápiz es rojo o amarillo.

b) Héctor es comerciante y Víctor es abogado.

Una proposición debe tener la cualidad de ser verdadera o falsa y una oración o
concepto que no tiene uno u otro sentido no puede ser considerado como proposición
lógica; es así que la lógica proporcional en su concepto previo solo puede tener tres
elementos:

1. Proposición
2. Valor verdadero
3. Valor falso

¿Qué es la Tabla de la Verdad?

La tabla de valores de verdad lógica nos ayuda tener una mejor vista del
comportamiento de cada uno de los conectivos lógicos que tratamos en capítulos
anteriores de lógica proposicional. Un ejemplo de una tabla de verdad lógica es la
siguiente.

Ejemplo de una tabla de verdad:

Sean dos proposiciones p y q definimos un conector lógico cualquiera ©
con la siguiente tabla de verdad:

Este es el comportamiento de la validez de la proposición p © q con

sus posibles valores de verdad que hemos definido personalmente como
ejemplo.

El ejemplo anterior sirve como esquema de todas las posibles valores de verdad
de un conector lógico específico como este © y cada uno de los conectores que hemos
tratado en entradas anteriores junto con la negación, poseen comportamientos válidos
diferentes.

Pero para ser más exactos, la tabla de verdad en lógica sirve para entender el
comportamiento de las proposiciones lógicas usando los esquemas moleculares para
simplificar los argumentos, naturalmente eso dependerá los numerosos conectivos
lógicos que tengan. Veamos la tabla de verdad de cada uno de los conectivos lógicos.

Tabla de Verdad de los Conectivos Lógicos

Ahora mismo veremos los valores de verdad plasmadas en una tabla de verdad
de todas las conectivas lógicas, de esta manera podemos ver el comportamiento de cada
una de ellas, por lo general siempre se usan como mínimo dos variables
proposicionales p y q con excepción de la negación.

Tabla de verdad de la conjunción

La conjunción lógica solo valora la validez afirmativa únicamente de las

proposiciones, esto es, solo aquellas proposiciones que sean verdaderas, basta que una
de ellas sea falsa para que la proposición conjuntiva sea falsa.

Tabla de verdad de la disyunción inclusiva "o"

La disyunción inclusiva es más amable, para ella, una proposición es verdad si

por lo menos una proposición componente es verdadera. Aquí la tabla:
 Tabla de verdad de la disyunción exclusiva

A diferencia de la disyunción inclusiva, la disyunción exclusiva, solo una y solo

una sola verdad en una de sus proposiciones componentes para que la proposición
compuesta sea verdad. La tabla quedaría así.

¿Qué es la Inferencia Lógica?

Inferir simplemente significa extraer el contexto relacionado a un argumento que

se formula. El contexto puede formar una característica, evento u objeto que se
relacione al argumento. Diseñemos un ejemplo aclaratorio:

 Si hoy llueve, ¿qué pasaría?

Este tipo de argumentos se les llama premisa y el contexto que lo relaciona

puede ser muchos, téngase en cuenta que el contexto no existe literalmente en nuestro
argumento anterior a nivel sintáctico sino a nivel semántico, es decir desde nuestra
ideas producto de nuestras percepciones que nosotros justifiquemos según nuestro
entorno circundante (el contexto para nuestra premisa).
 Podemos sacar una tabla de diferentes contextos de la premisa anterior, aquí
algunos de ellos:

Premisa Contexto
 El piso se moja
 Las casas se mojan
 El distrito se moja
 Los techos de los edificios se
Si hoy llueve, ¿qué pasaría?
mojan
 Los bosques se mojan
 Las pistas se mojan
 Etc.

El contexto de una premisa son los diferentes sucesos como puede ser tanto
abstracto o físico que la relacionan y es descrito como un nuevo argumento como
conclusión de nuestra premisa si se da el caso, pero si digo:

 Si hoy llueve y los bosques se mojan ¿qué pasaría? (premisas)

Podríamos decir como conclusión que:

 Los bosques se hidratan. (conclusión)

Cambiemos de nuevo las premisas de la siguiente manera:

 Si hoy llueve, los bosques se mojan y se hidratan ¿qué pasaría?

(premisas)

Podríamos concluir que:

 Los bosques vivirán más, de lo contrario, morirían por

deshidratación. (conclusión)

Lo que intento decir es que mientras más premisas (datos) existan, la conclusión
será más precisa reduciendo así las suposiciones. De aquí, podemos sacar una segunda
tabla de comparación:
 Premisa Contexto

 Si hoy llueve
 Los bosques se mojan Los bosques vivirán mas, de lo
 Los bosques se contrario, morirían por
hidratan deshidratación.
 ¿Qué pasaría?

En la tabla 1 se podría sacar muchas posibles conclusiones desde una sola

premisa, en la tabla 2 se puede sacar una conclusión desde varias premisas, esta última
es una deducción, no una inducción. Pero la inducción también un tipo de inferencia
lógica que lo trataremos luego.

Sin embargo, pude haber tomado de la tabla 1 del contexto como una inferencia
lógica, lo único que hice en la tabla 1 es enumerar las posibles conclusiones que puede
ser elegido según el contexto que esté relacionado con las premisas.

La palabra “contexto” lo uso de la misma manera como la frase “nuestro mundo

circundante”, sólo que aplicado para las premisas ya que estas están relacionadas con
algo, ese algo se supone son las conclusiones que debemos averiguar.
 BIBLIOGRAFIA
 https://ciencias-basicas.com/cursos-gratuitos-de-matematica/matematica-superior-
1/logica-proposicional/la-inferencia-logica/#La_inferencia_logica

 https://www.ecured.cu/Preposici%C3%B3n_l%C3%B3gica

 http://www.ejemplode.com/29-logica/2381-ejemplo_de_proposiciones.html