Definiciones:

Proposiciones: es una frase declarativa y que, como tal, es una afirmación sobre algo que puede
o no ser verdad. No sobra decir que no puede ser verdadera y falsa al mismo tiempo.

Ejemplos de:

• 1+1=2 proposiciones

• 1+6≤3

• Juan es médico.

• Juan es médico y Pedro es arquitecto.

Ejemplos de frases que no son proposiciones:

• ¿Qué hora es?

• x+1 = 3

• Conduzca con cuidado.

Lógica Proposicional: es un primer tipo de sistema lógico, en el que se manejan afirmaciones

con una estructura de complejidad bastante simple. Por ser así de simple, en la lógica
proposicional es fácil definir y entender qué es verdad, cuándo una afirmación es cierta, cuándo
vale en cualquier escenario, y muchos otros conceptos interesantes.

Conectivos Lógicos: Las conectivas son funciones de verdad. Quiere decir que son funciones que
toman uno o dos valores de verdad, y devuelven un único valor de verdad. En consecuencia,
cada conectiva lógica puede ser definida mediante una tabla de valores de verdad que indique
qué valor devuelve la conectiva para cada combinación de valores de verdad. Los identificadores
son nombres que podemos relacionar con cada una de las proposiciones.

Ejemplo:
 Tipo de conectivos lógicos y tablas de verdad:

Ejemplo de uso
Ejemplo Análogo en
Conectiva Notación Tabla de verdad
de uso natural el lenguaje
natural

Negación no No está lloviendo.

Está lloviendo y la
Conjunción y
calle está mojada.

Está lloviendo o la
Disyunción o
calle está mojada.

Si está
Condicional si... lloviendo, entonc
material entonces es la calle está
mojada.

Está lloviendo si y
Bicondicional si y sólo si sólo si la calle
está mojada.
 Ni está
Negación
ni... ni lloviendo ni la
conjunta
calle está mojada.

O bien está
Disyunción o bien... o lloviendo, o
excluyente bien bien la calle está
mojada.

, son los identificadores de las proposiciones.

Links:
http://matematica1.com/category/conectivos-logicos/
http://www.lhs.edu.pe/recursos/matematica/2009/10mo/CONECTIVOS_LOGICOS.pdf
http://www.youtube.com/watch?v=iK41BW_IuV8
http://antesdelascenizas.files.wordpress.com/2010/03/apuntes-de-logica-e28093-1c2ba-
bachiller.pdf