Hi,

I am struggling to prove whether the following statements are true or false, and consequently to prove why that is.

Mainly because I don't understand the difference betweensatisfiableandvalid, so if someone could explain that, I'd highly appreciate it!

(i) For all F,F is satisfiableor~Fis satisfiable.

(ii) For all F,F is validor~F is valid.