1. Lógica para Informática
Lógica Simbólica
Lógica para Informática Prof. Stella de
Castellet

2. Definición:
Proposición:
Enunciado que puede
ser verdadero o falso,
pero no ambos.
Lógica para Informática Prof. Stella de
Castellet

3. Los conectivos lógicos se
utilizan para combinar
proposiciones y obtener nuevas
proposiciones.
Proposiciones
Simples o Atómicas
Compuestas o Moleculares
Lógica para Informática Prof. Stella de
Castellet

4. Fórmula Bien Formada: fbf
1. Si P es una fórmula bien formada, también es
una fórmula bien formada.
2. Un átomo es una fórmula bien formada.
3. Si P y Q son fórmulas bien formadas
P~
QPQPQPQP ⇔⇒∨∧ ,,,
4. Todas las fórmulas bien formadas se
obtienen aplicando las reglas 1, 2 y 3.
Lógica para Informática Prof. Stella de
Castellet