Ahora tengo un ejercicio de lógica proposicional y pruebas de certeza y validez
Hola, tengo este ejercicio que no entiendo como resolverlo, resolví otros utilizando las tablas de verdad, pero con este no he podido
- Si el motor del auto no enciende
y las luces no encienden, entonces la batería no tiene carga.
- El motor del auto no enciende y
las luces si encienden.
- Por lo tanto, la batería tiene
carga.
Expresa el razonamiento anterior en lenguaje simbólico y construye su
tabla de verdad. Debes encontrar una
combinación de valores de certeza tal que todas las premisas (en negritas) sean ciertas pero
la conclusión (cursivas y subrayas)
sea falsa. En caso de encontrar dicha combinación, entonces se demuestra que el
razonamiento no es válido. Señala dicha combinación y especifica si el
razonamiento es válido o no valido.
espero no interrumpir tus actividades, solo me falta este ejercicio para entregar la actividad
gracias
1 Respuesta
Sea m la proposición el motor del auto enciende
L las luces encienden
B la batería tiene carga
La proposiciones serán
1. (~m ^ ~l) ==> ~b
2. ~m ^ l
|----
3. b
La tabla de la verdad seria
m l b ~m ~l ~m^~l (~m^~l)=>b ~m^l (~m^l)=>b V V V F F F V F V V V F F F F V F V V F V F V F V F V V F F F V F V F V F V V V F F V V V F V F V F F V V F F F V V V V V F V F F F V V V F F v
En ella se ve que
~m^l^~b es falso y que ~m^l^b es verdadero, luego dado ~m^l ==> b
Y eso es todo.
