Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

1. Definir las proposiciones simples del argumento.

-P: Me gusta comer lechona.

-q: o Me gusta comer mariscos.

-r: Y es que realmente me gusta comer bandeja paisa.

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

(Pvq) ∧r

2. Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico
3. Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

p q r (Pvq) (Pvq) ∧r

V V V V V
V V F V V

V F V V V

V F F F F

F V V V F

F V F V V

F F V V F

F F F F F
 Bibliografía

 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. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/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.
 Recuperadodehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013