Revisión del 12:10 28 mar 2016 editar Lsanabria (discusión \| contribs.) 19 340 ediciones m Cambiando categoría ← Edición anterior		Revisión actual - 14:41 2 feb 2019 editar deshacer Texvc2LaTeXBot (discusión \| contribs.) 37 ediciones m Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap
Línea 14: {Dadas las siguientes premisas: <math>\begin{array}{l} P \orlor Q \\ \neg P \end{array}</math> ¿Qué conclusión se obtiene al aplicar el silogismo disyuntivo (SD)? Línea 25: {El siguiente caso es un ejemplo del uso de la regla de introducción de la disyunción. <math>\begin{array}{l} Q \\ \hline \therefore Q \orlor P \end{array}</math> \|type="()"} Línea 43: + <math>A \Rightarrow C</math> - <math>\neg D</math> + <math>(B \Rightarrow C) \orlor D</math> + <math>A \orlor D</math> {Dadas las siguientes premisas: <math>\begin{array}{l} A \Rightarrow B \\ C \Rightarrow \neg D \\ A \orlor C \end{array}</math> ¿Qué conclusión se obtiene al aplicar el dilema constructivo (DC)? \|type="()"} - <math>B \orlor D</math> + <math>B \orlor \neg D</math> - <math>\neg B \orlor D</math> - <math>\neg B \orlor \neg D</math> </quiz>

Diferencia entre revisiones de «Lógica proposicional/Reglas de inferencia/Evaluación»