Hola, buenas tardes, podrían ayudarme a resolver este ejercicio de lógica matemática, se los agradezco mucho :D.
Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a través de:
-Uso de las tablas de verdad.
-Uso de las reglas de inferencia.
-Uso del simulador Truth Table:
Simulador Truth Table:http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
-Supongamos que tenemos el argumento “Si no compramos una parcela, entonces construimos una casa. Si construimos una casa, no compramos un apartamento. Si no compramos un apartamento entonces compramos muebles. No compramos una parcela. No compramos muebles o compramos un apartamento. Por lo tanto, compramos un apartamento”.
Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a través de:
-Uso de las tablas de verdad.
-Uso de las reglas de inferencia.
-Uso del simulador Truth Table:
Simulador Truth Table:http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
-Supongamos que tenemos el argumento “Si no compramos una parcela, entonces construimos una casa. Si construimos una casa, no compramos un apartamento. Si no compramos un apartamento entonces compramos muebles. No compramos una parcela. No compramos muebles o compramos un apartamento. Por lo tanto, compramos un apartamento”.
Mayin29
NO COMPRAMOS MUEBLES o COMPRAMOS UN APARTAMENTO. Por lo tanto, compramos un apartamento.
0 votes
Thanks 0
Nimpos
No estoy del todo seguro pero esta fue la formula que use yo, me falta igual generar las reglas de inferencia si deseas hablame en pv para solucionarlo en conjunto
Nimpos
{[(¬ p -> q) ->(¬ r -> s)] ^ [(¬p ^ ¬s) v r]} -> r