Lógica proposicional

Proposiciones 

Son afirmaciones las cuales pueden tener un valor de verdad y pueden unirse por conectivos lógicos, existen excepciones como las preguntas, exclamaciones u ordenes.

Simples 

Las proposiciones simples son solo afirmaciones que pueden ser verdaderas o falsas.

Ejemplo:

1+4= 3

Las vacas son invertebradas 

los peces pueden volar 

el sol es muy grande 

Compuestas 

Son afirmaciones las cuales están unidas por conectivos lógicos y pueden tener un valor de verdad.

Conectivos lógicos

Valores de verdad

Ejemplo:

p: los perros son azules

q: las abejas son rojas

r: los carros son voladores 

s: las casas son de un metro 

t: los perros no hablan 

u: las carreteras son flotantes

v: los juguetes son para comer 

x: las computadoras son para cocinar 

y: las ovejas son diminutas

z: los gatos son muy grandes

Los perros son azules y las abejas rojas 

Si los carros son voladores entonces las casas son de un metro 

Los gatos son muy grandes o las ovejas son muy diminutas

Las computadoras son para cocinar si y solo si los juguetes son para comer 

No las carreteras son flotantes y los perros no hablan