Flashcard FC195844
Qual é a forma válida de inferência lógica que permite concluir a negação do antecedente a partir da negação do consequente em uma proposição condicional?
Lógica de Proposições
Instituto AVALIA · 2024
Qual é a forma válida de inferência lógica que permite concluir a negação do antecedente a partir da negação do consequente em uma proposição condicional?
Mostrar resposta e comentário
Resposta
Modus Tollens.O Modus Tollens é uma regra de inferência lógica que afirma que, para uma condicional "Se A, então B" (A → B), se sabemos que B é falso (¬B), podemos concluir que A também é falso (¬A).
Exemplo:
Se uma pessoa é estudante da universidade, então ela possui carteira de estudante.
Assim, temos: A = "é estudante da universidade", B = "possui carteira de estudante", com A → B.
Se descobrimos que alguém não possui carteira de estudante (¬B), então necessariamente essa pessoa não é estudante da universidade (¬A).
Assim:
Se A → B e ¬B, então ¬A.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/195711
Conteúdo do catálogo FC Concursos · Atualizado em