10. Lógica argumentativa - Condicional - Se Então [2] Propriedades
b4200 R
Condição
Suficiente
Se não acontecer,
nada pode ser afirmado
CONDICIONAL
Conectivos
r
→ r
→
[2]
p
p
Antecedente
Suficiente Antecedente Antes do então
Consequente
Depois do então
resultado
Condição
Nece ssária
Propriedade
~r ~p
Negação da
condição nece ssária
~p: não p
~r: não r
Expressões equivalentes
Se p, r
r, Se p
Quando p, r
p implica r
p é condição suficiente para r
r é condição necessária para p
p somente se r
Todo r é p
Se r não ocorreu é por que
p também não ocorreu
b
Basta que p ocorra
para r ocorrer
Basta que p ocorra
Legenda
Proposições
Compostas
Negação
Condicional
~ (p r) = p ~rv
Mantem o 1º
Nega o 2º
d