estamos viendo la taba de verdad (logica) y en un ejercicio dice "Utilizar las tablas de verdad para DEMOSTRAR que las siguientes formulas son tautologias " (Una tautologia es cuando en todas las conclusiones posibles el resultado es V [verdadero]) y en uno de los ejercicios que es : ~~p → p
Y esa formula no puede ser una tautologia o si?
Gracias
Nota: las 2 ~ que puse es como venia en el libro no que me haya equivocado yo
Copyright © 2024 1QUIZZ.COM - All rights reserved.
Answers & Comments
Hola
En la anterior respuesta
se ha cortado la tabla de verdad
Hola
Sí es una tautología
Tenemos una variable,
la tabla tiene 2 valores
...(. ~..(..~...p..)).... → ....p
..................V...................V
..................F...................F
Valores usados ()
Valores resultado []
Primera negación
...(. ~..(....~...p..)).... → ...p
...............[F].(V)...............V
..............[V].(F)...............F
Segunda negación
...(. ~..(...~...p..)).... → ...p
.....[V]....(F)..V................V
....[F]....(V)..F.................F
Ahora la implicación
...(. ~..(....~...p..)).... → ...p
.....(V)......F....V........[V.]..(V)
....(F)......V....F........[V]...(F)
porque la implicación sólo es falsa para
V...->...F
Entonces, tenemos V
para todos los posibles valors de P
lo que es una tautología