Fundamentos da Lógica III:

Fundamentos da Lógica III:
Importante!!!!!!!
A negação de TODOS é PELO MENOS UM (=ALGUM).
Exemplo:
“Não é verdade que todas as pessoas daquela família não são
magras”. Como interpretar essa frase? Do mesmo jeito: primeiramente,
troquemos as partes negativas por afirmações correspondentes. Teríamos o
seguinte: “É mentira que todas as pessoas daquela família são
gordas”. Ora, se é mentira que todas são gordas, então é porque pelo
menos uma delas é magra!
Equivalências da Condicional:
1ª) Se p, então q = Se não q, então não p. (p —› q = ~ q —› ~p)
Exemplo: Se chove então me molho = Se não me molho então não chove
2ª) Se p, então q = Não p ou q. (p —› q = ~p ∨ q)
Exemplo: Se estudo então passo de ano = Não estudo ou passo de ano
Resumo:
Negativa das proposições compostas: