Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
+ejemplos |
|||
Línea 59:
** Dado que <math>B</math> es una fórmula bien formada, su negación (<math>\neg B</math>) también es una fórmula bien formada.
|-
|<math>(C \and D)</math>
|
* Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
** <math>C</math> es una proposición atómica y por tanto una fórmula bien formada.
** <math>D</math> es una proposición atómica y por tanto una fórmula bien formada.
* La conjunción de dos fórmulas bien formadas rodeada por paréntesis es una fórmula bien formada.
** Dado que <math>C</math> y <math>D</math> son fórmulas bien formadas, su conjunción también es una fórmula bien formada.
|}
| |||