El problema planteado consiste en demostrar ~B
Este ejercicio hace uso de la teoria del calculo de predicados y proposiciones.
Para resolver esta demostracion, contamos con tres proposiciones.
El calculo de proposiciones, hace uso de herramientas logicas, las cuales debe usar para encontrar con astucia demostraciones reales de situaciones determinadas.
Algunas herramientas son: tollendo ponens, modus ponendo ponens, implicacion, simplificacion, adjuncion,silogismo hipotetico
Intente resolver este ejercicio y luego compruebe la solucion dando clic aqui
Para concluir ~B necesitamos establecer como verdadero a ~B ∨ ~B y así, poder aplicar disyunción. Por ley de Morgan se concluye (~A ∨ ~B) Por implicación (C → A) Por silogismo hipotético se concluye (B → A) Por implicación se concluye (A → ~B) Por silogismo hipotético se concluye (B → ~B) Por definición de implicación ~B ∨ ~B Y por último, por disyunción se concluye ~B
ESCUCHANDO
AMPLIAR ESCUCHANDO
[Tweet «»La ley del contrarreciproco implica negar e invertir una implicacion» #Tutorias ☺»]