SE...ENTÃO. Uma das proposições compostas mais importantes é a condicional "Se p, então q", escrito p --> q, onde p é chamada de hipótese e q é chamada de conclusão.
Sejam as proposições simples:
p: 10 é par.
q: 2 divide 10.
Assim, a condicional "p, então q" é representada por "Se 10 é par, então 2 divide 10".