Diferencia entre revisiones de «Lógica proposicional/La disyunción»
Contenido eliminado Contenido añadido
m Lsanabria trasladó la página Matemáticas básicas/Proposiciones lógicas/Disyunción a Lógica proposicional/La disyunción |
m Formato |
||
Línea 1:
== Lección 4: La disyunción ==
Cuando se tienen dos proposiciones '''p''' y '''q''', se puede construir una nueva proposición r como la disyunción de las dos, lo que significa que si '''p''' es verdadera o '''q''' también es verdadera, '''r''' será verdadera, pero si ambas son falsas, '''r''' será falsa.
===Representación===
El símbolo de disyunción es <math>\or</math> y la disyunción de '''p''' y '''q''' se representa como <math>p\or q</math>, de tal manera que podemos escribir a '''r''' como: <math>r=p\or q</math>.
Línea 13 ⟶ 9:
Cuando las proposiciones son frases verbales se representa a la disyunción con la palabra '''o''', diciendo que la <math>r=p\mbox{ o } q</math>
===Ejemplos===
{|- class="wikitable"
Línea 49 ⟶ 45:
Como se puede ver en el primer y segundo ejemplo solo una de las dos proposiciones puede ser verdadera pero la disyunción es correcta, en el tercer ejemplo ambas pueden ser verdaderas y la disyunción es correcta, y en el cuarto ejemplo una ni siquiera es proposición pero como la otra si lo es la disyunción es una proposición lógica. Para que la disyunción sea falsa ambas deben ser falsa como en el quinto ejemplo.
Texto de ejemplo.<ref name="lau" /><ref name="klement" />
== Resumen de la lección ==
* [Punto principal de la lección]
* [Punto principal de la lección]
* [...]
== Términos clave ==
* [[w:Disyunción lógica|Disyunción lógica]]
== Bibliografía ==
<references>
<ref name="klement">
Klement, Kevin. Propositional Logic [En línea]. Massachusetts, Estados Unidos: The Internet Encyclopedia of Philosophy. Consultada: 2015-12-10. Disponible en: http://www.iep.utm.edu/prop-log/
</ref>
<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>
</references>
{{navegación|[[Lógica proposicional]]|[[Lógica proposicional/La conjunción/Evaluación|Evaluación de la lección 3]]|[[Lógica proposicional/La disyunción/Evaluación|Evaluación de la lección 4]]}}
__NOTOC__
[[Categoría:Matemática]]
| |||