Diferencia entre revisiones de «Lógica proposicional/Proposiciones compuestas»

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
mSin resumen de edición
Lsanabria (discusión | contribs.)
+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.
Texto de ejemplo.<ref name="grimaldi1998" />
 
{| 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>
 
<ref name="grimaldi1998">
Grimaldi, Ralph. Matemáticas discreta y combinatoria. Una introducción con aplicaciones. 3 ed., Massachusetts, Estados Unidos: Addison Wesley Longman, 1998, 1120p.
</ref>