¿qué utilidad tiene para la lógica
formal el uso de símbolos? Relacionen su
respuesta con los conceptos de verdad y validez.
Respuestas
Respuesta: Lógica Formal Moderna
Explicación:
La lógica formal moderna utiliza ampliamente el lenguaje de los símbolos. Gracias a él se alcanza: la concepción exacta y unívoca del objeto, la posibilidad de aplicar el método matemático formal de investigación
En la lógica actual, existen varios sistemas aceptados de notación simbólica. A ello se debe que haya varios símbolos para unos mismos conceptos lógicos. Se explica el significado de los más importantes:
1. A, B, C... X, Y, Z... (también con índices) son símbolos de proposiciones variables.
a, b, c... x, y, z... (también con índices) son símbolos de objetos variables.
P(.), R(.,.), S(.,.,.) (también con índices) son símbolos de predicados variables.
2. – ¬ ∼ signos de negación (“no”)
∨ signos de disyunción (“o”)
⋅ ∧ signos de conjunción (“y”)
⊃ → signos de implicación (“si... entonces”)
∼ ≡ ↔ signos de equivalencia (“si y sólo si”)
∈ ∃ signos de cuantificador existencial
∀ ( ) signos de cuantificador universal.