Math Help - Random Question.... :P

1. Random Question.... :P

O.k. I can't remember what these are called for the life of me and it is going to drive me crazy!

When we have a basic logic statement like
$P \implies Q$

What is the actual name of the first term (P) and the second term (Q). I know they have titles for them and I can't remember!

2. Originally Posted by Jen
O.k. I can't remember what these are called for the life of me and it is going to drive me crazy!

When we have a basic logic statement like
$P \implies Q$

What is the actual name of the first term (P) and the second term (Q). I know they have titles for them and I can't remember!

Someone correct me if I'm wrong, but $P$ would be the premise and $Q$ would be the conclusion.

--Chris

3. Another correct answer would be the antecedent and the consequent.