Proposición Una proposición lógica, es una proposición

lógica gramatical, pero con la característica Proposiciones simples o atómicas

fundamental de que pueda
ser VERDADERA o FALSA, pero no ambas. En
el diccionario la acepción matemática de
proposición es: "Enunciación de una verdad
demostrada o que se trata de demostrar".
Obviamente esto no sería posible si la expresión
misma tuviese ambigüedades en sus valores de
verdad.Es decir, una proposición lógica debe
tener perfectamente definido su valor de verdad:
o FALSA o VERDADERA.
Son aquellas que carecen totalmente
de conectivos lógicos y que, por lo
tanto, son inseparables. En este grupo
se encuentran las proposiciones
predicativas, que son aquellas en la
cual se afirma o atribuye una
característica respecto de un objeto
Ejemplo, Juan Pérez es profesor; y las
proposiciones relacionales, en las
cuales existe una relación de
dependencia, estableciendo un enlace
entre dos o más objetos, como por
ejemplo, Caracas es la capital
de Venezuela.

Proposición compuesta o molecular

Son aquellas que resultan de la combinación Ejemplo, Juan Pérez es profesor y

de varias proposiciones simples, unidas por Caracas es la capital de Venezuela.
uno o más conectivos lógicos y que pueden
ser separadas y descompuestas en
proposiciones más simples. Su valor de
Lógica verdad depende del de las proposiciones que
proposicional la componen

Conectores coordinantes. Permiten conducir Conectores disyuntivos. Proponen

al lector dentro del texto, detallando el sentido separaciones o contradicciones entre
de lo que lee y sirviendo de puente entre una las ideas presentadas en un texto.
idea y la siguiente. Por ejemplo: a Por ejemplo: contrariamente, por otro
En gramática, se conoce como continuación, por si fuera poco, en otro orden lado, en cambio.
conectores lógicos o conectores de ideas.
discursivos a cierto tipo de palabras
Conectivos Conectores causales. Introducen una Conectores temporales. Proponen una
o expresiones cuya función
relación de causa y efecto, o una razón relación temporal, o sea, cronológica, de las
logicos dentro del texto es dar
ideas, diciendo qué ocurre primero y qué
relación lógica a las oraciones y de ser, de lo que se expone en el texto.
Por ejemplo: de modo que, por después. Así, pueden ser de anterioridad
vincular las distintas partes que lo
consiguiente, de esa manera. (por ejemplo: hace tiempo, érase una vez),
componen.
simultaneidad (por ejemplo: a la vez, a la
par, simultáneamente) o posterioridad
Conectores
(posteriormente, finalmente, entonces).
locativos. Definen dentro
del texto un lugar de
referencia, una ubicación
Conectores locativos. Definen dentro del texto un lugar de
especial o temporo-espacial.
referencia, una ubicación especial o temporo-espacial. Por
Por ejemplo: por debajo
ejemplo: por debajo de, allí, encima de.
de, allí, encima de.
 Conectores aditivos. Aquellos
que “suman” ideas, o sea, las
acumulan, para ganar
intensidad en el decir. Por
ejemplo: asimismo, por si fuera
poco, de la misma manera.
Conectores
conclusivos. Introducen una
sensación de cierre o término
de la exposición, o al menos de
un apartado de la misma. Por
ejemplo: en resumen, en
síntesis, finalmente.
Conectores Conectores comparativos. Permiten introducir
aclarativos. Cumplen con contrastes dentro de la exposición, cotejando algo con
insistir o aclarar un punto otra cosa, o sea, comparando elementos. Por
previo, retomándolo o ejemplo: de modo similar, en cambio, contrariamente a.
añadiendo nuevos matices
para alcanzar el sentido
deseado. Por ejemplo: dicho
Conectores continuativos. Permiten alargar una
de otro modo, esto quiere
secuencia de ideas, añadiendo elementos o
decir, más precisamente.
continuando una exposición que se vio previamente
interrumpida. Por ejemplo: Retomando lo dicho, o
Conectores sea, volviendo a, en otras palabras.
conclusivos. Introducen una
sensación de cierre o término de
la exposición, o al menos de un
apartado de la misma. Por
ejemplo: en resumen, en
síntesis, finalmente.

Lenguaje natural: El lenguaje habitual empleado
Lógica dentro de una comunidad que comparte el mismo
idioma se denomina lenguaje natural. Es con éste
proposicional con el que argumentamos y llevamos a cabo los
desarrollos lógicos habituales. Sin embargo, a la
Lenguaje hora de analizar un razonamiento partiendo de
éste nos encontramos con serias dificultades; el
lenguaje natural contiene numerosas lagunas y
ambigüedades, esto impide la aplicación de un
análisis lógico riguroso a partir del mismo.
Lenguaje simbólico: La lógica deductiva pretende ser una ciencia
que posibilite el cálculo, que permita establecer con rigor si en un
proceso deductivo las consecuencias se siguen necesariamente o
no de los antecedentes o premisas presentadas; esto requiere del
uso de un lenguaje artificial que determine cuál es el empleo de los
términos y las reglas que rigen la formación de enunciados. Este
lenguaje artificial será un lenguaje formal o simbólico. De acuerdo
con las reglas de uso de este lenguaje, el análisis lógico requerirá
una traducción de los argumentos expresados en el lenguaje natural
al lenguaje formal empleado por la lógica simbólica.

Como se construyen: Estas tablas pueden construirse

Una tabla de verdad, o tabla
de valores de verdades, es
Tabla de verdad una tabla que muestra el
valor de verdad de una
proposición compuesta,
para cada combinación de
verdad que se pueda
asignar.
1Verdad.
haciendo una interpretación de los signos lógicos como: no,
2Falso. o, y, si…entonces, sí y sólo si. La interpretación corresponde
3 Variable. al sentido que estas operaciones tienen dentro del
4 Negación. razonamiento. Puede establecerse una correspondencia
entre los resultados de estas tablas y la deducción
5 Conjunción.
lógico matemática. En consecuencia, las tablas de verdad
6 Disyunción. constituyen un método de decisión para chequear si una
7Condicionante. proposición es o no un teorema. Para la construcción de la
.8 Bicondicionante. tabla se asignará el valor 1(uno) a una proposición cierta y 0
(cero) a una proposición falsa.