Hola!
Para ello debemos plantear los recuerdos
de Luisa en forma de lenguaje formal de la siguiente manera :
p ^ [(¬ q ^ ¬ p) ^ (¬ p v ¬ r)]
En donde las Proposiciones son las
siguientes :
p = Compró una tablet
q = Compró un computador portátil
r = Compró un celular de última
tecnología
Y los Operadores : ^ = Y
¬ = No
v = O
Una vez planteada la formalización,
procedemos a plantear el esquema para realizar la Tabla de Verdad.
Para saber cuantas filas tendrá nuestra
tabla usamos la fórmula <img src="https://tex.z-dn.net/?f=2%5E%7BX%7D" /> donde la X representa el número de
proposiciones simples que tiene nuestro ejercicio, en este caso 3 (p, q, r)
Entonces<img src="https://tex.z-dn.net/?f=2%5E%7BX%7D%20%3D%202%5E%7B3%7D%20%3D%208" />
Para distribuir los valores de verdad en
la tabla decimos lo siguiente :
Para la primera proposición dividimos las
8 filas en 2, es decir que habrán 4 filas Verdaderas y 4 filas Falsas.
Para la segunda proposición dividimos las
4 filas anteriores en 2, es decir que habrán 2 filas Verdaderas, 2 filas
Falsas, 2 filas Verdaderas y 2 filas Falsas.
Y para la última proposición, las 2 filas
anteriores se descomponen en una fila Verdadera y una fila Falsa cada una.
Ahora para llenar la Tabla de Verdad, establecemos el conector principal, y resolvemos primero los paréntesis
sabiendo que :
¬ (Símbolo de Negación) : Cambia los
Verdaderos por Falsos y los Falsos por Verdaderos.
V (Símbolo de Disyunción) : Nos recuerda
que todos son Verdaderos menos la unión Falso - Falso, que es Falso.
^ (Símbolo de Conjunción) : Nos recuerda
que todos son Falsos menos la unión Verdadero - Verdadero, que es Verdadero.
Cuando los valores del operador principal
son todos Verdaderos, estamos frente a una TAUTOLOGÍA.
Cuando los valores del operador principal
son todos Falsos, estamos frente a una CONTRADICCIÓN.
Cuando los valores del operador principal
tiene al menos un Verdadero y un Falso, estamos frente a una CONTINGENCIA.
En la imagen está el resultado de la
Tabla de Verdad para este problema y como podemos observar nos encontramos
con una Contradicción
Saludos!
