Escolar Documentos
Profissional Documentos
Cultura Documentos
Lógica
• La lógica es una ciencia formal que estudia los
principios y métodos para determinar la validez
o invalidez de las inferencias.
A saber, la lógica estudia si son válidas o
inválidas las inferencias pero sin considerar el
contenido de sus proposiciones.
Este contenido se formaliza mediante el uso de
variables proposicionales y operadores lógicos
con la finalidad de mostrar la estructura
axiomática de las inferencias.
Universidad Nacional Federico Villarreal
Lógica
1. El manco de Lepanto
2. Las olimpiadas fueron en Atenas.
3. El teorema es de Pitágoras.
4. No matarás a tu prójimo.
5. Dos más dos son cinco.
6. El teorema de Pitágoras.
7. La espada de Damocles.
8. El manco es de Lepanto.
Universidad Nacional Federico Villarreal
Proposiciones
Clases de proposiciones
• Proposiciones atómicas o • Proposiciones moleculares o
simples: compuestas:
Clases de proposiciones
Ejemplo: Ejemplo:
Andrea es arquitecta o Sonia es soltera o casada.
cantante.
Universidad Nacional Federico Villarreal
Proposiciones
Ejemplo:
Si esta figura es un triángulo isósceles, entonces tiene
dos lados iguales.
Universidad Nacional Federico Villarreal
Proposiciones
Por ejemplo:
Un número es divisible por dos si y solo si es
un número par.
Universidad Nacional Federico Villarreal
Proposiciones
Por ejemplo:
Jamás aprobarás el curso de Lógica.