how-to-prove icon indicating copy to clipboard operation
how-to-prove copied to clipboard

Published 20 hours ago • verified publisher icon psibi

2.1.2.c

Open Windings-Lab opened this issue 1 year ago • 0 comments

¬(Somebody failed the test) -> ∀y(If y got A grade, then y will tutor someone who got a D)

Can't we reduce the term and cut ∀y from this? Because ∀y Є ¬(Somebody failed the test) So ¬(∃x F(x)) -> (If x got an A grade, then x will tutor someone who got a D) Because by the logic x is somebody who did not failed the test because he has got and A grade, isn't it?

Windings-Lab avatar Jun 10 '23 20:06 Windings-Lab