LÓGICA DE ENUNCIADOS O PROPOSICIONAL


EJERCICIOS: FORMALIZACIÓN Y RESOLUCIÓN


1. Formaliza y resuelve los siguientes argumentos:

a. Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizaré mis sueños.
He aceptado el trabajo y he dejado de pintar. Por lo tanto, no realizaré mis sueños.

b . Si vamos a Asia, entonces llegaremos hasta la India. Si vamos a Asia entonces, si llegamos hasta la India visitaremos Varanasi. Si vamos a India entonces, si visitamos Varanasi podremos ver el Ganges. Por lo tanto, si vamos a Asia veremos el Ganges.

 

Si y sólo si has intentado realizar tú mismo este ejercicio, pulsa el enlace para ver la solución ;-)

c .Formalizar, derivar y confeccionar la tabla de verdad del siguiente argumento. Utiliza la aplicación de servidor para realizar este ejercicio. Si no estás familiarizado con su uso, lee la ayuda sobre la aplicación de servidor.

Todo número entero o es primo o es compuesto. Si es compuesto, es un producto de factores primos, y si es un producto de factores primos, entonces es divisible por ellos. Pero si un número entero es primo, no es compuesto, aunque es divisible por sí mismo y por la unidad, y consiguientemente, también divisible por números primos. Por tanto, todo número entero es divisible por números primos.