Instituto Federal da Bahia
Bacharelado em Sistemas de Informac¸˜
ao
Disciplina:L´ogica para Computa¸c˜ao Turno: Vespertino
Professor:Dr. Jailson de Araujo Rodrigues Data: 05/ 10/ 2021
Nome:
Prova I
“ Jamais considere seus estudos como uma obriga¸c˜ao, mas como
uma oportunidade invej´avel para aprender a conhecer a influˆencia
libertadora da beleza do reino do esp´ırito, para seu pr´oprio prazer
pessoal e para proveito da comunidade `a qual seu futuro trabalho
pertencer. ”
Quest˜ao 1. Dar a nega¸c˜ao das seguintes proposi¸c˜oes:
(a) Programadores estudam e s˜ao inteligentes.
(b) Se for feriado e o tempo estiver ensolarado, vou viajar.
(c) Existem pessoas inteligentes que n˜ao sabem ler nem escrever.
(d) (∀x∈R, x + 2 <7) ∧(∃x∈R, x2−1 = 3).
[2,0] ( )
Quest˜ao 2. Mostre a seguinte equivalˆencia :
(p→q)∧(p→r)⇔p→(r∧q)
[1,00] ( )
Quest˜ao 3. Verifique a validade ou n˜ao do argumento abaixo. Justifique sua resposta.
∼(r∨s)→s, s →t⊢∼ (r∨s)→t
[1,00] ( )
Quest˜ao 4. Passar para a forma simb´olica e testar a validade do seguinte argumento:
Se usamos a linguagem assembly, ent˜ao o programa ser´a executado mais rapidamente.
Se usamos a linguagem assembly, o programa ter´a mais linhas de c´odigo.
Logo, se usamos a linguagem assembly, ent˜ao o programa ser´a executado mais rapidamente e ter´a
mais linhas de c´odigo.
[1,00] ( )
Quest˜ao 5. Dˆe o conjunto verdade em Rda senten¸ca aberta 2x−1≥1→x2−5x+ 6 = 0.
[0,50] ( )
Sucesso!!!