Discrete math: logical equivalent statement and statement forms
"Two statement forms are called logically equivalent if, and only if, they have identical truth values for each possible substitution of statements for their statement variables... denoted .
Two statements are called logically equivalent if, and only if , they have logically equivalent forms when identical component statement variables are used to replace identical component statements."
Later in the exercise section she writes: . Do you not use for statement definitions and if so, how do you symbolise equivalence between two statements, or .
Since p and q by them selves could technically be seen as statement forms, is there a difference between and ?