Diferencia entre revisiones de «Lógica proposicional/Alí Babá y las dos puertas»

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
m +contenido
Lsanabria (discusión | contribs.)
+tabla
Línea 36:
<blockquote><math>(A \or B) \Leftrightarrow \neg A</math></blockquote>
 
Con las proposiciones primitivas debidamente identificadas y el problema expresado en forma de proposiciones que usaremos como premisas para el proceso de deducción podemos analizar las preguntas que se le plantean a Alí Babá y tratar de contestarlas. La cuestión es identificar si en realidad existe un tesoro. Para averiguarlo usaremos una deducción indirecta, asumiendo que no existe un tesoro (<math>\neg (A \or B)</math>).
 
{{{!}} class{{=}}"wikitable"
!Identificador
!Proposición
!Regla
!Dependencias
{{!}}-
{{!}}1
{{!}}<math>(A \or B) \Leftrightarrow \neg A</math>
{{!}}Premisa
{{!}}n/a
{{!}}-
{{!}}2
{{!}}<blockquote><math>\neg (A \or B)</math></blockquote>
{{!}}<blockquote>Suposición para realizar una demostración indirecta</blockquote>
{{!}}<blockquote>n/a</blockquote>
{{!}}-
{{!}}3
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}4
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}5
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}6
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}7
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}8
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}9
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}10
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}11
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}12
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}13
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}14
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}15
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}16
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}17
{{!}}<blockquote><math></math></blockquote>
{{!}}<blockquote></blockquote>
{{!}}<blockquote></blockquote>
{{!}}-
{{!}}18
{{!}}<math></math>
{{!}}Deducción indirecta
{{!}}
{{!}}-
{{!}}}
 
{{navegación|[[Lógica proposicional]]|[[Lógica proposicional/Evaluación final|Evaluación final]]|[[Lógica proposicional]]}}