ADAMSON UNIVERSITY

COLLEGE OF SCIENCE
MATHEMATICS & PHYSICS DEPARTMENT

Mathematics in the Modern World

Term Activity on Mathematical Logic

Members: Date: February 16, 2021

Alcaraz, Zeena Fernandez, Clariza Mae Section: 04041
Balderp, Jo Marielle Fumera, Patricia Reine
Buan, John Richard Serrano, Fionna Alyzzah

I.

1.) (R ^ S) v P
(F ^ F) v T
FvT
T = TRUE

2.) R ^ (S v P)
F ^ (F v T)
F^T
F = FALSE

3.) ¬ (P ^ S) → (Q ^ ¬ R)
¬ (T ^ F) → (T ^ ¬ F)
¬ (T ^ F) → (T ^ T)
¬ (F) → (T)
T→T
T = TRUE
4.) (R ^ ¬ P) → [(Q v S) ↔ (¬ P v R)]

(R ^ ¬ P)        F ^ F = F

[(Q v S)          T v F = T

(¬ P v R)]       F v F = T

[(Q v S) ↔ (¬ P v R)] = F

(R ^ ¬ P) → [(Q v S) ↔ (¬ P v R)]

T = TRUE

5.) P → { ¬ Q v V [ ¬ S ↔ ( R ^ ¬ R)]}

(R ^  ¬ R)]}      F^T=F

¬S↔            T↔F=F

{¬ Q v V                      F v F = F

P → { ¬ Q v V  T→F=F

F = FALSE

6.) (R ^ ¬ P) → [(Q v S) ↔ (¬ P v R)]

(F ^ ¬ T) → [(T v F) ↔ (¬ T v F)]
(F ^ F) → [(T v F) ↔ (F v F)]
(F) → [(T) ↔ (F)]
(F) → F
T = TRUE
II.