2017 1 1ª Avaliação T

Prévia do material em texto

Instituto Federal de Educac¸a˜o, Cieˆncia e Tecnologia do Ceara´
Cieˆncia da Computac¸a˜o - 2017.1
Matema´tica Discreta - 1a Avaliac¸a˜o - 04.07.2017
Professor: Enio Romagnome
Aluno(a): NOTA:
Aluno(a):
FAC¸A(M) SOMENTE 4 DAS 5 QUESTO˜ES. CADA QUESTA˜O VALE 10 PONTOS. A NOTA DA
PROVA SERA´ DADA PELO QUOCIENTE DOS PONTOS OBTIDOS POR 4.
atenc¸a˜o! a menos que se diga o contra´rio, quando necessa´rio, use o me´todo dedutivo
QUESTA˜O 1
Mostre que (p ↑ q)⇔ ((p ↓ p) ↓ (q ↓ q)) ↓ ((p ↓ p) ↓ (q ↓ q))
QUESTA˜O 2
Usando a tabela verdade, avalie a contra´ria da proposic¸a˜o ∼ p ∧ r → q ∨ ∼ r
QUESTA˜O 3
Determinar a FNC da proposic¸a˜o p Y ∼ p.
QUESTA˜O 4
Prove que: ∼ (p ∨ q)⇔∼ p ∧ ∼ q.
QUESTA˜O 5
Apresente a FNC da proposic¸a˜o ∼ ((p→ q) ↑ (q → p)).
1