5A (46 - 68) Flashcards
Métodos de Verificação de Validade do Argumento Dedutivo
Explique o método de implicações lógicas.
Considera-se as afirmações como premissas verdadeiras e se obtém os valores lógicos das proposições simples para em seguida verificar a resposta equivalente.
Métodos de Verificação de Validade do Argumento Dedutivo
Explique o método dos diagramas lógicos
Deve ser utilizado em argumentos categóricos.
Ao se desenhar os diagramas lógicos e se verificar que a conclusão do argumento não é necessariamente verdadeira, trata-se de um argumento inválido. Se a conclusão for necessariamente verdadeira, trata-se de um argumento válido.
Ex.:
P1 – Existem policiais que são médicos.
P2 – Nenhum policial é infalível.
P3 – Nenhum médico é infalível.
Nessas condições, não é correto concluir que o argumento de premissas P1 e P2 e conclusão P3 é válido.
Métodos de Verificação de Validade do Argumento Dedutivo
Explique o método da conclusão falsa.
Usado quando a conclusão é uma proposição simples (p), disjunção inclusiva (v) ou condicional (→).
Tentar fazer com que todas as premissas sejam verdadeiras, mantendo a conclusão falsa, assim o argumento será inválido (premissas V e conclusão F). Caso não seja possível, o argumento será válido.
Métodos de Verificação de Validade do Argumento Dedutivo
Explique o método da transitividade condicional.
Quando o termo consequente da premissa anterior é igual ao termo antecedente da premissa posterior e;
Quando antecedente da primeira premissa é o antecedente na conclusão e cujo consequente da última premissa é o mesmo que o consequente da conclusão.
Lembre-se de que a questão pode ter em sua composição as equivalências lógicas.
a → b
c → d
b → c
d → e
a → e
Métodos de Verificação de Validade do Argumento Dedutivo
Explique o funcionamento do método da transitividade condicional.
Partimos da hipótese de que a conclusão é falsa e tentamos obter um caso em que todas as premissas sejam verdadeiras e a conclusão continue falsa. Sendo assim, teremos um argumento inválido.
Premissas V e conclusão F (argumento inválido).
Métodos de Verificação de Validade do Argumento Dedutivo
Qual a característica principal das regras de inferência?
As regras de inferência sempre apresentam argumentos válidos.
Corrija, se necessário
P1 = p → q
C = p
Logo, partindo-se do pressuposto que as premissas são falsas, a conclusão pode não ser falsa e, sendo assim, estamos diante de um argumento inválido
Logo, partindo-se do pressuposto que as premissas são verdadeiras, a conclusão necessariamente é verdadeira e estamos diante de um argumento válido.
Métodos de Verificação de Validade do Argumento Dedutivo
Explique o Modus Ponens (afirmação do antecedente)
Premissa 1: Se p, então q.
Premissa 2: p.
Conclusão: q.
As regras de inferência apresentam sempre argumentos válidos. Argumentos dedutivos são válidos quando consideradas as premissas verdadeiras, obtém-se uma conclusão verdadeira. Sendo assim, a P2 deve, necessariamente, ser V. Isso indica que na P1, P também é V, o que nos traz o valor lógico de Q, que é V, pois P1 não pode adquirir valor lógico F.
Métodos de Verificação de Validade do Argumento Dedutivo
Explique o método Modus Tollens (negação do consequente)
Modus Tollens é a contrapositiva do Modus Ponens:
Ponens
P1 = P → Q
P2 = P
C = Q
TOLLENS
P1 = ~Q → ~P
P2 = ~Q
C = ~P
No Modus Tollens temos como premissas um condicional e a negação do consequente. A conclusão é a negação do antecedente.
Métodos de Verificação de Validade do Argumento Dedutivo
É correto afirmar que é impossível obter um argumento dedutivo inválido tanto no Modus Ponens quanto no Modus Tollens?
Sim, pois as premissas obrigatoriamente têm que ser consideradas verdadeiras para se obter um argumento dedutivo válido. Os demais métodos de regra de inferência também.
Métodos de Verificação de Validade do Argumento Dedutivo
Qual o formato do silogismo hipotético?
Apresenta o seguinte formato e é sempre um argumento válido:
P1 = P → Q
P2 = Q → R
C = P → R
Em resumo, utiliza a regra da transitividade condicional.
Métodos de Verificação de Validade do Argumento Dedutivo
Quais os nomes dos principais métodos das regras de inferência?
Modus Ponens (afirmação do antecedente), Modus Tollens (negação do consequente), Silogismo hipotético, Dilema Construtivo ou Silogismo disjuntivo e Dilema Destrutivo.
Métodos de Verificação de Validade do Argumento Dedutivo
Explique o método Silogismo Disjuntivo ou Dilema Construtivo.
Apresenta o seguinte formato e é sempre um argumento válido:
P1: A → B
P2: C → D
P3: A v C
C: B v D
Métodos de Verificação de Validade do Argumento Dedutivo
Explique o método Dilema Destrutivo.
Funciona como os valores da contrapositiva do Silogismo Disjuntivo ou Dilema Construtivo.
P1 = A → B
P2 = C → D
P3 = ~B v ~D
C = ~A v ~C
Corrija, se necessário.
É correto afirmar que no Modus Tollens temos como conclusão a proposição antecedente, já no Modus Ponens, temos como conclusão a negação do consequente.
No Modus Ponens temos como conclusão o termo consequente (Q).
Já no Modus Tollens temos como conclusão a negação do termo ANTECEDENTE (~P).
