Este documento introduce las proposiciones lógicas y los operadores lógicos. Explica que una proposición es una afirmación que es verdadera o falsa pero no ambas. Hay dos tipos de proposiciones: simples o atómicas que no pueden dividirse más, y compuestas que están formadas por dos o más proposiciones simples unidas por operadores lógicos. Los tres operadores lógicos básicos son la conjunción, la disyunción y la negación.

1. LÓGICA MATEMÁTICA PROPOSICIONES

11. Tabla de Conectivos Lógicos p -> q(p si y sólo si) Bicondicional IF AND ONLY IF p ->q(p implica q ó p sólo si q) Condicional -> THEN p v q(p o q pero no ambas) Disyunción exclusiva v OR EXCLUSIVO p v q(p o q) Disyunción inclusiva v OR p ^ q(p y q) Conjunción ^ AND ¬p ( no p) Negación ¬ NOT SE LEE PROP. COMPUESTA CONECTIVO DENOTACIÓN OPERACIÓN