- #1
number0
- 104
- 0
Homework Statement
I do not know if this is the right forum or subforum for this kind of topic. So if it is not, I apologize in advance.Symbolize the following sentence:
Given that some mean elf will bite and some friendly one will too, the mean ones will bite whether or not provoked but the friendly ones will bite only if provoked.
Homework Equations
Fx: x is friendly
Gx: x is mean
Hx: x is an elf
Ix: x will bite
Jx: x is provoked
The Attempt at a Solution
This is my attempt and to me it seems right, but I could be missing one tiny simple thing.∃x∃y(((Hx∧Gx∧Ix)∧(Fy∧Hy∧Iy))→((Jx∨∼Jx)→Ix)∧(Iy→Jy))
Last edited: