Enunciado
Na lógica proposicional, uma regra de inferência apresenta a seguinte estrutura:
Caso ocorra P, necessariamente ocorrerá Q.
Como Q não ocorreu, conclui-se que P não ocorreu.
Assinale a afirmativa que aplica corretamente a regra citada.
Alternativas
- A
Se chove, então a rua fica molhada. A rua está molhada. Logo, choveu.
- B
Se estudo, então passo na prova. Não passei na prova. Logo, não estudei.
- C
Se João vai ao cinema, então Maria fica em casa. João não foi ao cinema. Logo, Maria não ficou em casa.
- D
Se Ana lê o livro, então ela faz o resumo. Ana fez o resumo. Logo, ela leu o livro.
- E
Se o alarme toca, então há incêndio. Há incêndio. Logo, o alarme tocou.
Gabarito e comentário disponíveis apenas dentro do Mentorito.
Faça login para ver a explicação completa do mentor.