Sean p, q dos letras proposicionales cualesquiera. Una fórmula bien formada Γ que hace que la expresión lógica (¬(p))→((Γ)∨(q)) sea una tautología es:
a) p∧q
b) p
c) ¬(q)
d) q
Respuestas a la pregunta
Respuesta:
das para cualquier fórmula que podamos formar con el lenguaje de la lógica proposicional. Aunque claro, por ahora lo único que sabemos sobre las posibles fórmulas
del lenguaje es que, a partir de los átomos proposicionales podemos usar conectivos
lógicos para crear fórmulas lógicas compuestas. Esto ha sido intencional, pues el objetivo del capítulo anterior era entender la mecánica de las reglas de la deducción
natural. Es importante recordar la validez de estos patrones de razonamiento, antes
de abordar la lógica proposicional como un lenguaje formal.
Consideren este caso, una aplicación de la regla de derivación ( → e):
1. p → q premisa
2. p premisa
3. q ( → e) 1, 2
su aplicación es válida aún si substituimos p ∨ ¬r por p y q con r → p:
1. p ∨ ¬r → (r → p) premisa
2. p ∨ ¬r premisa
3. r → p
Esta es la razón por la cual escribimos las reglas de prueba como esquemas de
razonamiento, donde los símbolos griegos se usan como meta variables que pueden Meta variables
s