3. (NC-UFPR/2019) Um argumento da lógica proposicional é formado por premissas (P1, P2, ... , Pn) e uma conclusão (Q). Um argumento é válido quando...
3. (NC-UFPR/2019) Um argumento da lógica proposicional é formado por premissas (P1, P2, ... , Pn) e uma conclusão (Q). Um argumento é válido quando P1 ∧ P2 ∧...∧ Pn → Q é uma tautologia. Nesse caso, diz-se que a conclusão Q pode ser deduzida logicamente de P1 ∧ P2 ∧...∧ Pn. Alguns argumentos, chamados fundamentais, são usados correntemente em lógica proposicional para fazer inferências e, portanto, são também conhecidos como Regras de Inferência. Seja o seguinte argumento da lógica proposicional:
a. Silogismo Hipotético.
b. Modus Ponens.
c. Modus Tollens.
d. Dilema Construtivo.
e. Contrapositivo.
a. Silogismo Hipotético.
b. Modus Ponens.
c. Modus Tollens.
d. Dilema Construtivo.
e. Contrapositivo.
Essa pergunta também está no material:
💡 1 Resposta
Ed 
O argumento da lógica proposicional é válido quando a expressão P1 ∧ P2 ∧...∧ Pn → Q é uma tautologia, ou seja, quando a conclusão pode ser deduzida logicamente a partir das premissas. As Regras de Inferência são argumentos fundamentais usados em lógica proposicional para fazer inferências. O argumento apresentado não foi fornecido, apenas foram apresentadas as opções de Regras de Inferência:
a. Silogismo Hipotético.
b. Modus Ponens.
c. Modus Tollens.
d. Dilema Construtivo.
e. Contrapositivo.
Faça como milhares de estudantes: teste grátis o Passei Direto
Esse e outros conteúdos desbloqueados
16 milhões de materiais de várias disciplinas
Impressão de materiais
Agora você pode testar o
Passei Direto grátis
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Perguntas relacionadas
Materiais relacionados
1 pág.
Compartilhar