Sunteți pe pagina 1din 4

Tarea 1- Proposiciones y Tablas de Verdad

Lizeth Beltrán

Código. 1068974127

Celular. 3124255261

Grupo: 283

Elkin Ricardo Laverde

Tutor

Psicología

ECSAH

Universidad Nacional Abierta y a Distancia

Septiembre 22 de 2019, Bogotá D.C


Ejercicio 2: Proposiciones y Tablas de verdad

B. El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con los rayos de

luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma con muchos colores.

• Definir las proposiciones simples del argumento.

El arcoíris se forma con muchos colores.

El agua de lluvia interactúa con los rayos de luz solar.

El sol está detrás de las nubes.

El arcoíris no se forma con muchos colores.

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

[(p ⟷ q) v r] → ¬ s

• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
• Generar una tabla de verdad manualmente

P q r s ¬s (p ⟷ q) (p ⟷ q) v r [(p⟷q) v r] → ¬ s

V V V V F V V F

V V V F V V V V

V V F V F V V F

V V F F V V V V

V F V V F F V F

V F V F V F V V

V F F V F F F V

V F F F V F F V

F V V V F F V F

F V V F V F V V

F V F V F F F V

F V F F V F F V

F F V V F V V F

F F V F V V V V

F F F V F V V F

F F F F V V V V

La expresión es una CONTINGENCIA


Referencias Bibliográficas

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=1

529246259924

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 9-28).

Ediciones Elizcom, Madrid. Recuperado de

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

1529335849013

S-ar putea să vă placă și