TABLAS DE VERDAD

PRESENTADO POR:

KAREN VIVIANA TOCARIA CABEZA

GRUPO:1157

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO

PROGRAMA: PSICOLOGIA

CEAD: DUITAMA
 Ejercicio #2:
P Q P ^Q
A. Si la Selección Colombia va al mundial y James
V V V
juega los partidos, entonces la Selección Colombia
V V V
será finalista del Mundial de Rusia.
V F F

V F F P: si la selección Colombia va al mundial

F V F
Q: james juega los partidos
F V F

F F F R: la selección Colombia va al mundial de Rusia

F F F
TABLA DE VERDAD CON EL

SIMULADOR TRUTH TABLE:

P Q R P ^ Q →R

T T T T
T T F F
T F T T
T F F T
F T T T
F T F T
F F T T
F F F T

P Q R
V V V
TABLA DE VERDAD MANUAL V V F
V F V
V F F
F V V
F V F
F F V
F F F
formula : 2 N

P ^Q R (P ^ Q)

→R

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

EJERCICIO #3

TABLA DE VERDAD CON EL SIMULADOR TRUTH TABLE

[(𝑝⟶𝑞) ∧ (∼𝑝⟶𝑟)] ∼r ⟶ p [(𝑝⟶𝑞) ∧ (∼𝑝⟶𝑟)] ⟶

 (∼r ⟶ p)
T T T

T T T

F F T

F F T

F F T

F F T

F F T

F F T

TABLA DE VERDAD MANUAL

 A. [(𝑝⟶𝑞) ∧ (∼𝑝⟶𝑟)] ⟶ (∼r ⟶ p)
P Q 𝑝⟶𝑞 P ∼P ∼P R ∼𝑝⟶𝑟 𝑝⟶𝑞 ∼𝑝⟶𝑟 [(𝑝⟶𝑞) ∧ (∼𝑝⟶𝑟)]
V V V V F F V V V V V
V r V ∼r V ∼r V F
𝑝 ⟶p V
∼r F V V V V
V F
VV F F F
V VV F V F V V F V F
V V F F F
V FV V V F V V F V F
F V V F V
F V
V F F V F V F F V F F
F V V F V
F V
F F V F F
V
V
F V F F V F F
F V
F F V V F F V F F V F F
F V
F V V F F V F F V F F
V F F

V F F

[(𝑝⟶𝑞) ∧ (∼𝑝⟶𝑟)] ∼r ⟶ p [(𝑝⟶𝑞) ∧ (∼𝑝⟶𝑟)]

⟶ (∼r ⟶ p)
V V V
V V V
F F V
F F V
F F V
F F V
F F V
F F V
P: LUCIA ESTUDIA EN LA UCC

Q: LA UCC ES UNA UNIVERSIDAD

R: LUCIA GANO EL AÑO

BIBLIOGRAFIA

Proposiciones y tablas de verdad 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

Proposiciones y Conectores lógicos

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

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

dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?

ppg=12&docID=3199701&tm=1529335849013

Cuantificadores

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

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?

ppg=109&docID=3199701&tm=1529510366591.