2017 1 1ª Avaliação M

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 - 29.06.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 ∨ ∼ q.
QUESTA˜O 2
Prove que p Y q ⇔ (p ∨ q) ∧ ∼ (p ∧ q)
QUESTA˜O 3
Determinar a FNC da proposic¸a˜o p↔ q ∨ ∼ r
QUESTA˜O 4
Usando a tabela verdade, avalie a rec´ıproca da proposic¸a˜o (p Y ∼ q ↔ r)→ q.
QUESTA˜O 5
Apresente a FNC da proposic¸a˜o (p ↑ q)↔ p
1