First order logic

Question 1

What does the symbol ‘≡’ represent in logic?

Answer 1

Equivalence. A and B have the same truth values, regardless of how the variables are assigned.

Question 2

What does it mean to negate in logic?

Answer 2

Reverses the truth value of a given statement.