# Help on Questions

Watch
#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
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
X

new posts
Back
to top
Latest
My Feed

### Oops, nobody has postedin the last few hours.

Why not re-start the conversation?

see more

### See more of what you like onThe Student Room

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

### Poll

Join the discussion

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