Documentos de Académico
Documentos de Profesional
Documentos de Cultura
941
Sección “B”
Lógica Formal
Se trata del estudio de las inferencias con contenido puramente formal y explícito. Se trata de
analizar los enunciados formales (lógicos o matemáticos), cuyo significado no es intrínseco, sino que
sus símbolos tienen sentido por la aplicación útil que se les da. La tradición filosófica de la cual deriva
esto último se llama precisamente “formalismo”.
Lógica simbólica
Tal como su nombre lo indica, lógica simbólica analiza las relaciones entre símbolos. En ocasiones
se sirve del lenguaje matemático complejo, ya que se encarga de estudiar problemas que la lógica
formal tradicional encuentra complicados o difíciles de abordar. Suele dividirse en dos subtipos:
• Lógica predicativa o de primer orden: se trata de un sistema formal compuesto por fórmulas
y variables cuantificables.
• Proposicional: se trata de un sistema formal compuesto por proposiciones, que son capaces
de crear otras proposiciones a través de conectores llamados “conectivas lógicas”. En este
casi no hay variables cuantificables.
Lógica matemática
Dependiendo del autor que la describe, la lógica matemática puede considerarse un tipo de lógica
formal. Otros consideran que la lógica matemática incluye tanto la aplicación de la lógica formal a
las matemáticas, como la aplicación de los razonamientos matemáticos a la lógica formal.
• Llama a tu tía. Esta es una orden que no se sabe si es verdadera y falsa, por lo tanto
no es una proposición.
• ¡Espérame! No se puede responder ni siquiera de forma interrogativa, mucho menos
de forma de exclamación.
- q: 3 x 4 = 12
- r: 9 es múltiplo de 3
11.- MENCIONE Y DEFINE CADA UNO DE LOS NOMBRES QUE RECIBEN LOS CONECTIVOS
LÓGICOS Y LA NOTACION O.
p q ¬p ¬q p∧ ¬q ¬p ∧ ¬q (p ∧ ¬ q) ∨ (¬ p ∧ ¬ q)
v v f f f f f
v f f v v f v
f v v f f f f
f f v v f v v
13.- ¿CUÁNDO PODEMOS DECIR QUE HAY UNA TAUTOLOGIA, UNA CONTRADICCIÓN O UNA
CONTINGENCIA EN UNA PROPOSICIÓN COMPUESTA?