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.
