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 m...