Lógica proposicional

Es una ciencia que estudia métodos o procedimientos que aplican definiciones.

• Informática

• Lógica

• Proposiciones

• Lenguaje

Son 2 objetivos principales de la lógica

• Eliminar ambigüedades

• Dar rigor a aquello que se estudia

• Conceptualización

• Demostración

Es una expresión lingüística libre de ambigüedades

• Proposiciones

• Lógica

• Informática

• Lenguaje computacional

Es la representación de las proposiciones por medio de letras minúsculas

• Variable Proposicional

• Proposiciones

• Variable informática

• V o F

Son clases de proposiciones

• simple

• compuesta

• verdadera o falsa

• abiertas o cerradas