PROPOSICIONES Y TABLA DE VERDAD

EJERCICIO No 2

PRESENTADO POR:
DILANGIE XIOMARA VASQUEZ ROMERO

CURSO
PENSAMIENTO LOGICO MATEMATICO
CODIGO 200611

PROGRAMA:
CONTADURIA PUBLICA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

FACATATIVA

AÑO 2019
 SOLUCION AL EJERCICIO No 2 PROPOSICIONES Y TABLAS DE
VERDAD

ARGUMEMTO:
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

1. Definir las proposiciones simples del argumento:

Rta:
Si el vehículo de Gabriela necesita mantenimiento
entonces, ella lo lleva al concesionario,
Si ella no lo lleva al concesionario entonces, lo lleva taller de
Fernando

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

Rta:
P: Si el vehículo de Gabriela necesita mantenimiento
q: entonces, ella lo lleva al concesionario,
r: Si ella no lo lleva al concesionario, entonces lo lleva taller de Fernando
El lenguaje simbólico seria:

(p q r)

3. 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)


 4. 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.

ELABORA LA TABLA DE LA VERDAD DADA LA SIGUIENTE EXPRESION:

[(pq) V (pq)]

p q pq pq [(pq) V (pq)]

V V V V V
V F F F F
F V V F V
F F V F V

V= O FALSO CUANDO AMBOS SON FALSOS

= Y VERDADEROS CUANDO AMBOS SON VERDADEROS
 = SI,
ENTONCES FALSO CUANDO EL 1RO ES VERDADERO Y EL 2DO ES FALSO
SI Y
SOLO SI VERDADEROS CUANDO AMBOS SON IGUALES
 FALSO CUANDO AMBOS SON IGUALES

4.2 Es una tabla de la verdad con resultado de: CONTINGENCIA

 BIBLIOGRAFIA

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas

y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,

complementos. (pp. 19-28). Madrid, España: Editorial Tébar
Flores. Recuperadode http://bibliotecavirtual.unad.edu.co:2460/lib/una
dsp/reader.action?ppg=20&docID=3226457&tm=1529246259924.

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid.

Recuperadode https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013

 Youtube: https://www.youtube.com/watch?v=t_D-7j1Sbk8