Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
+Conectiva de equivalencia |
|||
Línea 37:
## <math>(\beta \or \gamma)</math>
## <math>(\beta \Rightarrow \gamma)</math>
## <math>(\beta \Leftrightarrow \gamma)</math>
# Ninguna otra cosa es una fórmula bien formada.
{{comentario|El símbolo <math>\Leftrightarrow</math> corresponde a la conectiva lógica de equivalencia que estudiaremos en la [[Lógica proposicional/Equivalencias|lección 8]].}}
Como una conveniencia se suelen omitir los paréntesis más externos, de forma que <math>\delta \and \epsilon</math> y <math>(\delta \and \epsilon)</math> se consideran la misma expresión. Sin embargo es necesario colocarlos en su lugar si la fórmula se va a combinar como parte de otra fórmula más compleja como <math>(\delta \and \epsilon) \or \zeta</math>.
| |||