Apol 100 Lógica Matemática

Prévia do material em texto

Questão 1/5 - Lógica Matemática
Leia a passagem de texto a seguir:
"É óbvia a necessidade de usar parêntesis na simbolização das proposições, que devem ser colocados para evitar qualquer tipo de ambiguidade. Assim, pp. ex., a expressão p∧q∨rp∧q∨r dá lugar, colocando parêntesis, às duas seguintes proposições:
(i) (p∧q)∨r(p∧q)∨r  e  (ii) p∧(q∨r)p∧(q∨r)
Que não têm o mesmo significado, pois, na (i), o conectivo principal é "∨∨", e na (ii), o conectivo principal é "∧∧", isto é, a (i) é uma disjunção e a (ii) é uma conjunção".
Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, 2002. p. 28.
Conforme os conteúdos do livro-base Introdução à lógica matemática para acadêmicos sobre modos de validar um argumento por meio de métodos de demonstração direta e indireta, analise as assertivas que seguem e marque V para as asserções verdadeiras, e F para as asserções falsas.
I. ( ) A demonstração por redução ao absurdo consiste em negar a conclusão de um argumento como verdadeira.
II. ( ) Na demonstração por indução finita, temos uma hipótese de indução (kk) e validamos verificando se é válida para (k+1k+1) .
III. ( ) Argumento válido é aquele em que admitimos que as premissas sejam verdadeiras (mesmo que elas sejam falsas).
IV. ( ) Regras de inferência são argumentos básicos que posem ser adotados para se executar uma dedução ou demonstração.
Agora, assinale a alternativa que apresenta a sequência correta:
Questão 2/5 - Lógica Matemática
Considere o trecho de texto a seguir:
"Para demonstrar que um argumento é não-válido, basta encontrar um argumento da mesma forma e que tenha, no entanto, premissas verdadeiras e conclusão falsa. Esta maneira de demonstrar a não-validade de um argumento chama-se "Método do contra-exemplo".
Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, 2002. p. 102.
De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos, é correto afirmar que a regra modus ponens é uma implicação do tipo:
Questão 3/5 - Lógica Matemática
Leia o seguinte fragmento de texto:
"Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. As proposições transmitem pensamentos, isto é, afirmam fatos ou exprimem juízos que formamos a respeito de determinados entes".
Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, 2002. p.11.
 
Levando em consideração o dado fragmento de texto e conforme os conteúdos do livro-base Introdução à lógica matemática para acadêmicos sobre cálculo e representação da fórmula proposicional, sejam dadas as proposições p: “Romeu é professor de Matemática” e q: “Romeu ensina Física”, analise as assertivas que seguem e marque V para as asserções verdadeiras, e F para as asserções falsas.
I. A expressão "Romeu é professor de Matemática e não ensina Física" pode ser representada por p∧∼qp∧∼q.
II. A expressão "não é verdade que Romeu ensina Física" pode ser representada por ∼q∼q.
III. A expressão "Se Romeu ensina Física, então Romeu é professor de Matemática" pode ser representada por q→pq→p.
São verdadeiras somente as afirmações:
Questão 4/5 - Lógica Matemática
Considere o trecho de texto a seguir:
"Chama-se disjunção de duas proposições pp e qq a proposição representada por 'pp ou qq', cujo valor lógico é a verdade (V) quando ao menos uma das proposições pp e qq é verdadeira e a falsidade (F) quando as proposições pp e qq são ambas falsas. Simbolicamente, a disjunção de duas proposições pp e qq indica-se com a notação: 'p∨qp∨q', que se lê: 'pp ou qq'".
Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, 2002. p. 20.
De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos sobre implicação lógica, considerando a tabela-verdade referente à condicional "p →→ q" e à conjunção "p ∧∧ q", analise as assertivas a seguir e assinale a correta:
	Questão 5/5 - Lógica Matemática
Considere o trecho de texto a seguir:
"Ao construir um argumento, pretendemos justificar a verdade da conclusão a partir da verdade das premissas. Duas condições, portanto, são necessárias para que possamos garantir a verdade de uma conclusão: a verdade das premissas e o recurso a uma argumentação coerente". 
Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: MACHADO, N.J.; CUNHA, M.O. Lógica e linguagem cotidiana: Verdade, coerência, comunicação, argumentação. 2. ed. Belo Horizonte: Autêntica, 2008. p. 22.
De acordo com os conteúdos do livro-base Introdução à lógica matemática para acadêmicos sobre o conceito de tautologia, assinale a alternativa correta: