Flashcard FC302914
Que regra lógica permite inferir P a partir de 'P ∨ Q' e '¬Q'?
Lógica de Proposições
FGV · 2023
Que regra lógica permite inferir P a partir de 'P ∨ Q' e '¬Q'?
Mostrar resposta e comentário
Resposta
Silogismo disjuntivo.Explicação:
O silogismo disjuntivo afirma que, dadas as premissas P ∨ Q e ¬Q, conclui-se P.
Forma padrão: (P ∨ Q), ¬Q ⇒ P.
Exemplo:
Premissas:
1) O ingresso é de dia ou de noite.
2) Não é ingresso de noite.
Conclusão:
Logo, o ingresso é de dia.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300004
Conteúdo do catálogo FC Concursos · Atualizado em