9. Lógica argumentativa - Condicional - Se Então [1]
p e r são proposições simples
b4100 R
CONDICIONAL
Símbolo:
Representação: p r
Inclusão
Se pfor V
obrigatoriamente r
será Vtambêm
Ex.: SE Eu nasci em Natal
ENTÃO Eu sou natalense.
Conectivos
r
p r
p r p r
F F V
F V V
V F F
V V V p
⊂
Está contido
→
→
→ [1]