Can someone please please please help me on this question, I totally can't do it
Let A be a sentence of FOPA (i.e., a formula with no free variables). Consider the following three assertions:
FOPA l- A (Means is A), FOPA ~I- A (Means is not A), A is true.
On the face of it...