10. Lógica argumentativa - Condicional - Se Então [2] Propriedades
b4200 RCondição
Suficiente
Se não acontecer,
nada pode ser afirmadoCONDICIONAL
Conectivosr
→ r
→
[2]
p
p
Antecedente
Suficiente Antecedente Antes do entãoConsequente
Depois do então
resultado
Condição
Nece ssáriaPropriedade
~r ~p
Negação da
condição nece ssária~p: não p~r: não rExpressõ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 é pSe r não ocorreu é por que
p também não ocorreub
Basta que p ocorra
para r ocorrerBasta que p ocorra
LegendaProposições
CompostasNegação
Condicional~ (p r) = p ~rvMantem o 1º
Nega o 2ºd