The Logic Forum Discussion Area

Logic
This Forum is Locked
Author
Comment
View Entire Thread
Re: Need help with Truth-Functional Logic please!

Hi Jack,

Thanks again for your message. I think we have been taught to use disjunction if a sentence is in the form of 'unless A, B'. But it is important to note that we can also offer alternative disambiguations if they exist. I've got this (O ∨ ¬(S ∧ Y) ∧ L) as what I think is right, because it can be paraphrased in English as 'James is outraged unless it is not the case that Daisy prefers salad to desert and Ed hates Yorkshire puddings, and that Ed laughs.


Does this make sense? Thanks.

Re: Need help with Truth-Functional Logic please!

Thanks for your intervention, Jack. I have not checked your work, but you seem to know what you are doing.

Re: Need help with Truth-Functional Logic please!

Fred, another word of advice if I may. It is better for you to present your proposed solution to the problem and then have that corrected by others, than to ask others to do the thinking for you. One learns best from one's errors (if any), than from ready-made work by others.

Re: Need help with Truth-Functional Logic please!

Thank you Avi. I've noted my idea of the solution below, but I'm not 100% sure about it. If you can think of any disambiguations for this statement that would be a real help. No worries if you don't have time, I really appreciate it nonetheless!