Definition: A conditional statement, symbolized by p q, is an if-then statement in which p is a hypothesis and q is a conclusion. The logical connector in a conditional statement is denoted by the symbol .
Consider
p = Every week;
q = Has seven days.
Then
sounds as "If it is an arbitrary week, then it has seven days" or in simplified form "Every week has seven days".
