Lógica Proposicional

Flowchart nodes

• Lógica Proposicional

• Proposición

• Simple

• Compuesta

• No tiene conectivos lógicos

• Se representa con las letras de la "A" a la "Z" mayúsculas

• Tiene conectivos lógicos

• Negación

• Conjunción

• Disyunción

• Condicional

• Bicondicional

• Veracidad  (Tablas lógicas)

• Tautología

• Contingencia

• Contradicciones

• Inferencia lógica

• Obtener una conclusión basado en otra

• Argumentos

• Son premisas que siempre son verdad

• Se comprueban con

• Los cuales son

• No ¬P

• Y P˄Q

• O P˅Q

• Si, entonces P→Q

• Si y solo si P↔Q

• ¬

• ˄

• ˅

• →

• ↔

• Nombre y simbología

• F    F    F    F

• V    F    F    V

• V    V    V    V