Flashcard FC511753
Qual regra permite inferir que, de A→B e B→C, segue A→C?
Lógica de Proposições
IBFC · 2018
Qual regra permite inferir que, de A→B e B→C, segue A→C?
Mostrar resposta e comentário
Resposta
Silogismo hipotéticoAssuma A verdadeira, por A→B segue B, por B→C segue C, logo sempre que A for verdadeira, C também será, portanto A→C.
Exemplo:
Premissas: P = "estuda", Q = "aprova", R = "recebe certificado".
Se P→Q e Q→R, então P→R.
\( (P\to Q)\land(Q\to R)\models(P\to R) \)
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509385
Conteúdo do catálogo FC Concursos · Atualizado em