Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»
Contenido eliminado Contenido añadido
mSin resumen de edición |
+ejemplos |
||
Línea 41:
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>.
Para facilitar la comprensión de este procedimiento, la siguiente tabla muestra varias proposiciones y las razones por las cuales se consideran fórmulas bien formadas.
{| class="wikitable"
!Fórmula
!Explicación
|-
|<math>A</math>
|
* Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
** <math>A</math> es una proposición atómica y por tanto una fórmula bien formada.
|-
|<math>\neg B</math>
|
* Todas las proposiciones atómicas son fórmulas bien formadas según la regla #1.
** <math>B</math> es una proposición atómica y por tanto una fórmula bien formada.
* La negación de una fórmula bien formada también es una fórmula bien formada según la regla #2
** 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.
|-
|}
== Resumen de la lección ==
Línea 66 ⟶ 84:
<ref name="lau">
Lau, Joe; Chan, Jonathan. Critical Thinking Web: Sentential logic. [en línea]. Consultada: 2015-12-11. Disponible en: http://philosophy.hku.hk/think/sl/
</ref>
|