Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
+contenido |
|||
Línea 8:
con la proposición:
<blockquote><math>(R \and S) \Rightarrow (\neg P \and \neg Q)</math></blockquote>
si representamos los hechos en el enunciado de la siguiente forma:
Línea 38:
#* <math>(\beta \Rightarrow \gamma)</math>
# Ninguna otra cosa es una fórmula bien formada.
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>
Texto de ejemplo. <ref name="klement" /><ref name="grimaldi1998" />
| |||