Scribd
Upload
68 views

Discrete Structure Prelim

The document provides instructions for three discrete structure problems: 1) Translate an English statement into propositional logic using the given variables and definitions. The translation is g ↔ [r ∧ (¬m) ∧ (¬b)]. 2) Show that the two logical expressions ¬p→ (q → r) and q → (p v r) are logically equivalent. 3) Use a truth table to show whether the expression (p v q) v [¬p ∧ ¬q] is a tautology or contradiction. The student believes it is a tautology but provides the truth table for (p v q) ∧ ¬q, which

Uploaded by

Drake
Copyright
© © All Rights Reserved
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
68 views

Discrete Structure Prelim

The document provides instructions for three discrete structure problems: 1) Translate an English statement into propositional logic using the given variables and definitions. The translation is g ↔ [r ∧ (¬m) ∧ (¬b)]. 2) Show that the two logical expressions ¬p→ (q → r) and q → (p v r) are logically equivalent. 3) Use a truth table to show whether the expression (p v q) v [¬p ∧ ¬q] is a tautology or contradiction. The student believes it is a tautology but provides the truth table for (p v q) ∧ ¬q, which

Uploaded by

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

DENVER NAVIO BSIT 1-2A

DESCRETE STRUCTURE

Perform the following items. Upload photos of your answer sheets showing your name
and solution. (40 points)
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.

Given the following:


g:” You can graduate”
m: “You owe money to college”
¬m: “You do not owe the money to college”
r: “You have completed the requirements of your major”
b: “You have an overdue book”
¬b: “You do not have an overdue book”

Proportional logic: g ↔ [ r ∧ ( ¬ m ) ∧ ( ¬ b ) ]

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

¬p→ ( q → r ) = q → ( p v r )

¬p → ( q →r ) = ¬p → ( q → r )

=¬p→ (¬q→ r )

=¬p(¬ p) v (¬ q v r )

=p v (¬ q v r )

=¬ q v (p v r)
DENVER NAVIO BSIT 1-2A
DESCRETE STRUCTURE

3. Show, by the use of the truth table (truth matrix), that the  
is a contradiction. (15 points)

p q pv q ¬p ¬q (¬ p )∧( (¬ (p v q) v
q) (¬ p )∧ ( ¬ q )
FALSE FALSE FALSE TRUE TRUE TRUE TRUE
FALSE TRUE TRUE TRUE FALSE FALSE TRUE
TRUE FALSE TRUE FALSE TRUE FALSE TRUE
TRUE TRUE TRUE FALSE FALSE FALSE TRUE

I think this proposition (p v q) v ([ ( ¬ p ) ∧(¬ q)]) is a tautology.


I think the right proposition for contribution would be (p v q) ∧ (¬ q)
p q pvq ¬p ¬q (¬ p )∧( (¬ (p v q) v
q) (¬ p )∧ ( ¬ q )
FALSE FALSE FALSE TRUE TRUE TRUE FALSE
FALSE TRUE TRUE TRUE FALSE FALSE FALSE
TRUE FALSE TRUE FALSE TRUE FALSE FALSE
TRUE TRUE FALSE FALSE FALSE FALSE FALSE

You might also like