# Help on Questions

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

#### What is your favourite revision method?

Taking notes manually (53)
21.72%
Note taking apps (6)
2.46%
Flashcards (47)
19.26%
Revision guides (15)
6.15%
Past papers (115)
47.13%
Something else (let us know in the thread) (8)
3.28%

View All
Latest
My Feed

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

Why not re-start the conversation?

### 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.