Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría

Académica y de Investigación - VIACI

Escuela ECACEN Programa: Psicología
Curso: Pensamiento Lógico matemáticos Código: 1003249270

Pensamientos lógicos matemáticos

Presentado por:
Marisol Gonzales
Cedula: 1003249270
Presentado al tutor(a):
LAURA DANIELA MARROQUIN

Grupo:

200611_1222

Universidad Nacional Abierta y a Distancia- UNAD

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del
ejercicio2:
A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo
lleva al concesionario o Si ella no lo lleva al concesionario
entonces, lo lleva taller de Fernando

A partir del argumento que haya seleccionado deberá dar respuesta a

los siguientes ítems:

 Definir las proposiciones simples del argumento.

P=el vehículo de Gabriela necesita mantenimiento.

q=ella lo lleva la concesionario.

r= ella lo lleva la taller de Fernando.

 Definir la expresión del argumento en lenguaje simbólico o formal.

(p  q)  (¬q r)
  Generar una tabla de verdad con el simulador Lógica UNAD a
partir del lenguaje simbólico (El estudiante encontrará la Guía
para el uso de recursos educativos Simulador Lógica UNAD, en el
Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)

Para desarrollar esta parte ingresamos al simulador de lógica UNAD

en la página: http://logicaunad.com/jtruth/

Digitamos en el simulador la expresión formal del inciso anterior:

(p  q)  (¬q r)

En el simulador queda así:

La tabla que se genera en el simulador es la siguiente:
  Generar una tabla de verdad manualmente a partir del lenguaje
simbólico y determinar si el resultado es una tautología,
contingencia o contradicción.

p q r (p  q) (¬ q) (¬q r) (p  q)  (¬q r)

v v v v F V V
v v f v F V V

v f v f V V V

v f f f V F F
f v v v F V V

f v f v F V V
f f v v V V V

f f f v V F V

 El resultado de la tabla es una contingencia.