Fundamentos da Lógica III:
Propaganda
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:
