Fundamentos de lógica

Es una colección de reglas para el razonamiento deductivo que sirve como base  para el estudio de diferentes ciencias.

Calculo Proposicional

Estudia las relaciones lógicas entre objetos llamados preposiciones

Proposición

Es cualquier frase verdadera o falsa pero no ambas, y no son proposiciones cuando son de interrogación, orden,  comparación

Proposicional compuesta

Es el calculo proporcional que utiliza letras minúsculas para simbolizar preposiciones que se combinan. 

Ejemplo:

proposición simple 

-El gato es azul. 
-Hoy es viernes 
-El verano es caluroso 
-Mi nombre es Marcos 
-La música clásica es bella. 
-Carla es mi amiga 

proposición compuesta

-Inglaterra está en Europa "y" Egipto en África. 
-Mi cumpleaños es el 20 de abril "o" el 30 de febrero 
-"Si" trae el anuncio "entonces" tendrá el 25% descuento.

-Guatemala es un país de pequeño territorio, "o" es de gran territorio 
-Te compraré un premio "sí y sólo sí" tienes buenas calificaciones.
-Mi nombre es David "y" soy de Guatemala.