10. O conectivo se… então… e a condicional

A condicional se p então q é outra proposição que tem como valor lógico F se p é verdadeira e q é falsa. O símbolo p → q representa a condicional, com a seguinte tabela-verdade: 

Exemplo:

P: 7 + 2 = 9
Q: 9 – 7 = 2
p → q: Se 7 + 2 = 9 então 9 – 7 = 2 

p = 7 + 5 < 4
q = 2 é um número primo
p → q: Se 7 + 5 < 4 então 2 é um número primo. 

p = 24 é múltiplo de 3
q = 3 é par
p → q: Se 24 é múltiplo de 3 então 3 é par. 

p = 25 é múltiplo de 2
q = 12 < 3
p → q: Se 25 é múltiplo de 2 então 2 < 3.