Fundamentos de Lógica

Calculo Proposicional: Es el estudio de las relaciones lógicas entre objetos llamadas proposiciones.

Proposición: Es cualquier frase ya sea verdadera o falsa, pero no ambas.
Ejemplo: Justo Rufino Barrios fue el primer presidente de Guatemala.

No proposiciones: Diríjase a su aula.

Proposición Abierta: Es un enunciado que da información que no se puede calificar como verdadera o falsa porque el sujeto no esta especificado, por lo tanto no tiene valor de verdad.
Ejemplos: El nació en Guatemala.
                 3+y = 21

Proposiciones Compuestas: En el calculo proporcional es frecuente utilizar letras minusculas como p, q, y r para simbolizar proposiciones.

~ negacion
^  y
v  o
=>  si entonces
<=  si, y solo si