Flashcard FC117701
Quais condições garantem que a conclusão de um argumento matemático seja necessariamente verdadeira?
Estatística Experimental, Planejamento e Pesquisa
CEBRASPE (CESPE) · 2021
Quais condições garantem que a conclusão de um argumento matemático seja necessariamente verdadeira?
Mostrar resposta e comentário
Resposta
Premissas verdadeiras combinadas com inferência logicamente válida.Explicação:
Na dedução matemática parte-se de axiomas/definições e aplica-se regras formais de inferência; se as premissas são verdadeiras e o raciocínio é válido, a conclusão segue necessariamente.
Formalmente: \( \text{premissas} \vdash \text{conclusão} \).
exemplo:
Premissas: "Todo número par é múltiplo de 2" e "8 é par".
Inferência válida leva a: \( \{\text{Todo }n:\text{par}(n)\to\text{mult2}(n),\; \text{par}(8)\}\vdash \text{mult2}(8). \)
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/100040
Conteúdo do catálogo FC Concursos · Atualizado em