QUE ES UNA PROPOSICION: una proposición (o juicio) es el significado de una oración que describe un determinado estado de cosas. En lógica nos interesan las proposiciones, no las oraciones. Un oración es una expresión lingüística, gramaticalmente completa, que expresa un pensamiento, una proposición. Así pues, una oración es la expresión lingüística de una proposición. Una oración se compone de palabras. En cambio, una proposición se compone de conceptos.
QUE ES UN VALOR LOGICO: El tipo de dato lógico o booleano es en computación aquel que puede representar valores de lógica binaria, esto es 2 valores, valores que normalmente representan falso overdadero. Se utiliza normalmente en la programación, estadística, electrónica, matemáticas (Álgebra booleana), etc.
Para generar un dato o valor lógico a partir de otros tipos de datos, típicamente, se emplean los operadores relacionales (u operadores de relación), por ejemplo: 0 es igual a falso y 1 es igual a verdadero
(3>2)= 1 = verdadero
(7>9)= 0 = falso
QUE ES UN CONECTOR DE LOGICA: En lógica, una conectiva lógica, o simplemente conectiva, (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.
TABLAS: 
.jpg)
.jpg)
.jpg)
.jpg)
.jpg)
.jpg)
