Dentre as implicações lógicas a fórmula ~q ^ (p ->q) => ~p representa qual regra de inferência. Modus Ponens Modus Tollens Eliminação Silogismo H...
Dentre as implicações lógicas a fórmula ~q ^ (p ->q) => ~p representa qual regra de inferência.
Modus Ponens
Modus Tollens
Eliminação
Silogismo Hipotético
Silogismo Disjuntivo
Modus Ponens
Modus Tollens
Eliminação
Silogismo Hipotético
Silogismo Disjuntivo
💡 1 Resposta
Ed 
A fórmula ~q ^ (p -> q) => ~p representa a regra de inferência chamada Modus Tollens.
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
Outros materiais
Perguntas relacionadas
Materiais relacionados
1 pág.
Compartilhar