Please enable JavaScript.
Coggle requires JavaScript to display documents.
02.01 Condicional (se... então) - Coggle Diagram
02.01 Condicional (se... então)
p -> q
proposição antecedente estabelece condição para a segunda
Se cair Matemática, então eu vou acertar tudo
Condicional
Caiu matemática
eu vou acertar tudo
é verdadeiro
se eu não acertar tudo
falso
Não caiu matemática
não importa
é verdadeiro
operador condicional só é falso quando a 1ª é V e a 2ª é F
deduções lógicas
Modus Ponens (vai afirmando)
afirmação da primeira (antecedente) implica a afirmação da segunda (consequente)
Premissas:
Se Sócrates é homem, então é mortal
Sócrates é homem
Conclusão:
Sócrates é mortal
Sócrates é mortal = verdadeira
VAI AFIRMANDO
Modus Tollens (volta negando)
duas premissas
1ª premissa: se p, então q
2ª premissa: q (consequente) é falsa
sendo assim p é falsa
Se Zeus é homem, então é mortal
Zeus não é mortal
Conclusão: Zeus não é homem
VOLTA NEGANDO
negação do operador condicional
¬(p -> q) = p ^ (¬q)
não pode
vai negando
Se há fogo, então há oxigênio
Não há fogo
Conclusão:
Não sei, pode ou não ter oxigênio
volta afirmando
Se chover, eu usarei guarda-chuva
Eu usei guarda-chuva
Conclusão:
Não sei, pode ser que não tenha chovido e eu tenha usado guarda-chuva
