Conditional statement: All real numbers are irrational numbers.
\If - then from: If a number is real number, then it is an irrational numbers.
\The statement is false. For example is a real number but not an irrational number.
If - then from: If a number is real number, then it is an irrational numbers and this is true.
\