Scribd
Upload
45 views3 pages

MMW - Introduction To Logic - GROUP 1

The document is a term activity from the Mathematics and Physics Department of Adamson University College of Science regarding mathematical logic. It contains a list of 6 mathematical statements to evaluate using truth tables. The evaluations show: 1) Statement 1 is TRUE 2) Statement 2 is FALSE 3) Statement 3 is TRUE 4) Statement 4 is TRUE 5) Statement 5 is FALSE 6) Statement 6 is TRUE

Uploaded by

Ma. Ann Cecillia Masangkay
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
45 views3 pages

MMW - Introduction To Logic - GROUP 1

The document is a term activity from the Mathematics and Physics Department of Adamson University College of Science regarding mathematical logic. It contains a list of 6 mathematical statements to evaluate using truth tables. The evaluations show: 1) Statement 1 is TRUE 2) Statement 2 is FALSE 3) Statement 3 is TRUE 4) Statement 4 is TRUE 5) Statement 5 is FALSE 6) Statement 6 is TRUE

Uploaded by

Ma. Ann Cecillia Masangkay
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 3

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.

You might also like