Geometry - Basic Logic Proofs

In a premise and a conclusion if the premise is true then the conclusion is true
Example: P-->QP-----Q

In a premise and a conclusion the negation of the conclusion is the premise to the negation of the premise as a conclusion
Example:P-->Q------P--->-Q

In a premise and a conclusion if the conclusion is given to be not true then the premise is not true
Example:P-->Q-Q------P

In a premise and conclusion if the conclusion is the premise to X then the first premise's conclusion is also X.
Example:P--->QQ--> R--------P---->R

In and 'OR" V'" question if one of the ideas is proven false the other is true
Example1: Example 2:PVQ PVQ-P -Q------ ---------------------------Q P

In a statement if a negation is negated then it is canceled outExample:-(-P)-----P

If an 'AND ^' statement is negated both ideas are negated and the 'AND ^' Switches to "OR V"If an 'OR V" statement is negated both ideas are negated and the "OR V" statement switches to "AND ^"Example1:-(P^Q)---------PV-QExample 2:-(PVQ)--------P^-Q

In an 'AND ^' Statement both ideas are automatically proven correctly by being part of itExample:P^Q-----PQ

If two statements are both true they can be grouped into an "AND ^" formatExample:PQ-----P^Q

If any statement is true it can be grouped into a "OR V" format because all it takes for an "OR V" format is for one of the ideas to be trueExample:-QP-----PVQ