KM.
Badges: 6
Rep:
?
#1
Report Thread starter 5 years ago
#1
Hi guys, I was wondering if you could help me figure out the answers for these questions please.

1.Formula φ is stronger than formula ψ if ψ is a logical cosequence of φ. Which of the following holds?
a. (pV ¬q) ∧ ¬r is stronger than p∧ ¬r
b. ¬p⇒q is stronger than p∧¬r
c. ¬p∧¬r is stronger than (¬p V q) ∧¬r
d. (pVq)∧¬r is stronger than p∧¬r

2. Which of the following IS NOT correct
a. ¬(u∧t) is a logical consequence from the knowledge base

KB = {p⇒¬(u∧t), q⇒¬(u∧t), p V q}

b. ((p⇒ (q∧r) ⇒ ((s⇒q)∧(u⇒v)) )⇒¬(t∧¬t) is valid
c. ((p⇒ (q∧r) ⇒ ((s⇒q)∧(u⇒v)) )⇒¬(t∧¬t) is satisfiable

d. ¬u∧t is a logical consequence from the knowledge base

KB = {p⇒¬(u∧t), q⇒(u∧t), p V q}

Thank you
0
reply
WhiteGroupMaths
Badges: 9
Rep:
?
#2
Report 5 years ago
#2
How well versed are you in propositional calculus?

You might want to consider using truth tables for a start.

Peace.
0
reply
X

Quick Reply

Attached files
Write a reply...
Reply
new posts
Back
to top
Latest
My Feed

See more of what you like on
The Student Room

You can personalise what you see on TSR. Tell us a little about yourself to get started.

Personalise

Regarding Ofqual's most recent update, do you think you will be given a fair grade this summer?

Yes (256)
33.86%
No (500)
66.14%

Watched Threads

View All