This would be "negation."
Chat with our AI personalities
The negation of a statement
yes, it is called the truth value
compound statement
To prove by contradiction, you assume that an opposite assumption is true, then disprove the opposite statement.
Making a truth table is actually very simple.For the statement P, it can either be true, or false.P--TFNOT P, or -p (or ~p) is the opposite. If P is true, then not P is... false!The same holds true for if P is false, what is not P? True!The truth table for ~p looks like thisP | ~p--------T | FF | T