2
votes
1answer
188 views

Multiple quantifier translation

Having some difficulty translating into English from Symbolic logic (the mixture of the quantifiers are confusing to me): ∀x(¬∃yBackOf(y, x) → Large(x)) Any suggestions would be appreciated. Thanks! ...
4
votes
2answers
411 views

Law of Excluded Middle in Logic Proof

I'm having some difficulty doing a proof for the following: $$\neg A \vee \neg(\neg B \wedge (\neg A \vee B))$$ It is said that you could use the law of excluded middles. Any help or guidance would ...