Scribd
Upload
36 views

Math TP

This document contains 3 tasks related to propositional logic: 1) Translating an English statement into a propositional logic statement using variables g, m, r, and b. 2) Showing that two propositional logic statements are logically equivalent using a truth table. 3) Using a truth table to show that a given propositional logic statement is not a contradiction.

Uploaded by

janjan cacho
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
36 views

Math TP

This document contains 3 tasks related to propositional logic: 1) Translating an English statement into a propositional logic statement using variables g, m, r, and b. 2) Showing that two propositional logic statements are logically equivalent using a truth table. 3) Using a truth table to show that a given propositional logic statement is not a contradiction.

Uploaded by

janjan cacho
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 1

Task Performance #1

1. Given the following:


g: "You can graduate."
m: "You owe money to the college."
r: "You have completed the requirements of your major."
b: "You have an overdue book."
Translate  "You can graduate only if you have completed the requirements of your major, you
do not owe money to the college, and you do not have an overdue book." into a propositional
logic.
Answer: g→r v (¬m ^ ¬b)

2.  Show that are logically equivalent. (15 points)


Answer: Logically Equivalent
p q r ¬p (q→r) ¬p→(q→r (p v r) q→(pvr)
)

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

3.  Show, by the use of the truth table (truth matrix), that the 
 is a contradiction. (15 points)
Answer : The statement is not a contradiction
p q ¬p ¬q [(p¬)^(¬q)] (p v q) (pvq)v[(p¬)^(¬q)]

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

You might also like