Na condicional (Se p, então q), qual é o único caso em que o resultado lógico é FALSO?
Verso: Quando a primeira é Verdadeira e a segunda é Falsa (V -> F = F).
Dica: É o famoso “Vera Fischer é Falsa”.
Na condicional, se eu sei que a primeira premissa (p) é Falsa, qual é o resultado lógico, independentemente da segunda?
Verdadeiro. (F -> V = V) e (F -> F = V). Se a primeira parte for falsa, a condicional inteira já é verdadeira.
O que é a estrutura do Modus Ponens?
É a afirmação do antecedente. P1: p -> q (Se estudo, passo). P2: p (Estudo). Conclusão: q (Passo).
O que é a estrutura do Modus Tollens?
É a negação do consequente. P1: p -> q (Se como doces, engordo). P2: ~q (Não engordo). Conclusão: ~p (Não como doces).
Pegadinha de Prova: P1: Se estudo (p), então passo (q). P2: Não estudo (~p). O que posso concluir?
Nada! (Falácia da negação do antecedente). O fato de não estudar não significa obrigatoriamente que não vou passar (eu posso chutar e passar, por exemplo).
Negação da preposição p ^ q
Negação da proposição p ^ q, troca-se o conectivo ^ por ou e nega as proposições - ~p ou ~q = Não prepare um café ou não ganhe um sorriso.
Negação da preposição p v q
Negação do “ou” se faz negando as duas proposições e trocando o “ou” por “e”.
