Prova de RLM

Prévia do material em texto

Nome dado ao processo pelo qual chegamos a uma conclusão: Inferência 
É um argumento cuja conclusão é inferida necessariamente de suas premissas: Argumento Dedutivo
é um argumento cuja conclusão não é derivada necessariamente de suas premissas: Argumento Indutivo
São formas de se realizar desmontrações: Todas estão corretas
Um enunciado formado pela expressão "se e somente se" chama-se: bicondicional
A proposição composta que é sempre verdadeira independente dos valores lógicos das proposições que a compõe: Tautologia
Assumindo que Sherlock Holmes acerte todos os raciocínios que faz, indique quais das frases abaixo poderiam ser ditas por ele: Todas as alternativas estão corretas.
Como ~(p ∧ q) ⇔ ~p∨ ~q define-se como negação de p∧ q a proposição ~p∨ ~q.: Negação da Conjunção
Como ~(p →q)⇔ p∧ ~q podemos estabelecer que a negação de p→q é a proposição p∧ ~q: Negação da Condição
Há duas maneiras de transformar sentenças abertas em proposições: (1) atribuir valor às variáveis; (2) utilizar quantificadores. I e II estão corretas