Largex Largery x turn this into a valid sentence by adding q
Large(x) ¬Larger(y, x) turn this into a valid sentence by adding quantifiers only
Solution
Large(x) means x is larger
then ~Larger(y, x) means y is larger while from first part we know that x is large
so we need to convert ~Larger(y, x) so that it gives x as larger again
to do that we can just put a negative before ~Larger(y, x) or remove negative from ~Larger(y, x)
both will represent same thing
Hence final answer is
Large(x) ¬(¬Larger(y, x))
