Help on Questions

Watch
KM.
Badges: 6
Rep:
? You'll earn badges for being active around the site. Rep gems come when your posts are rated by other community members.
#1
Report Thread starter 7 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:
? You'll earn badges for being active around the site. Rep gems come when your posts are rated by other community members.
#2
Report 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
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

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%

Watched Threads

View All