Question #208702

Question 1: (2 marks) (C1)

Let’s consider a propositional language where

A =“I study data structure”,

B =“I study Bioinformatics”,

C =“I study programming”,

D =“I study discrete math”

a. “I study Bioinformatics if I study programming and discrete math”

b. “I cannot study data structure when I do not study programming or discrete math ”

c. “I study data structure if and only if I do not study Bioinformatics”

Question 2: (2 marks)

Let’s consider a propositional language where

p means “Paola is happy”,

q means “Paola paints a picture”,

r means “Renzo is happy”.

Write English statement that corresponds to the following compound propositions:

1. p ∧ q → ¬ r

2. ¬ (p ∧ ¬q)




1
Expert's answer
2021-06-22T08:31:16-0400

Question 1: 

Let

A = “I study data structure”,

B = “I study Bioinformatics”,

C = “I study programming”,

D = “I study discrete math”



a. The formula for the statement “I study Bioinformatics if I study programming and discrete math” is CDB.C\land D\to B.


b. The formula for the statement “I cannot study data structure when I do not study programming or discrete math” is ¬(CD)¬A.\neg(C\lor D)\to\neg A.


c. The formula for the statement “I study data structure if and only if I do not study Bioinformatics” is A¬B.A\leftrightarrow \neg B.


Question 2:


Let’s consider a propositional language where

pp means “Paola is happy”,

qq means “Paola paints a picture”,

rr means “Renzo is happy”.


Let us write English statement that corresponds to the following compound propositions:


  1. The formula pq¬rp ∧ q → ¬ r corresponds to the English statement: "If Paola is happy and she paints a picture, then Renzo is not happy".
  2. The formula ¬(p¬q)=¬pq¬ (p ∧ ¬q)=¬ p \lor q correspons to the English statements: "It is not true that Paola is happy and she does not paint a picture" and "Paola is not happy or she paints a picture".

Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be the first!
LATEST TUTORIALS
APPROVED BY CLIENTS