Thread: Monadic Predicate Logic - Hard Question

Symbolize the following:

Although some mean elves will bite even though not provoked, neither Bruce nor Carrie will bite unless provoked.

Symbolization attempt:



Symbolization Key:

F{1} {1} is friendly.

G{1} {1} is mean.

H{1} {1} is an elf.

I{1} {1} will bite.

J{1} {1} is provoked.

b Bruce

c Carrie


Apparently my answer is wrong, but I don't know why. Any help would be appreciated.

whats correct answer ? is it given ? to me your answer looks fine

Originally Posted by RogueDemon

The second part of this formula is true if Bruce was provoked, but it was Carrie who bit, while the original sentence presumably disallows this.

ahh i see

the second part should be



right makarov ?

Yes.

Thank you! I've been stuck on this problem and another for days. :/