matematica discreta

EXERCÍCIO DE LÓGICA PARA MATEMÁTICA DISCRETA

01) Sejam as proposições: p : gosto de viajar e q : visitei o Chile. Escreva as sentenças verbais que estão representadas pelas proposições a seguir: a) p ↔ q R: ____________________________ b) ~p  ~q R: __________________________ c) (p~q)p R: ________________________ d) q  ~p R: ___________________________ e) ~(pq) R: ___________________________ f) q  p R: ___________________________ g) ~p  ~q R: ___________________________ h) (p~q)(~pq) R: _____________________

02) Descreva as sentenças abaixo em termos de proposições simples e operadores lógicos: a) Se 1>2 então qualquer coisa é possível. p : 1>2 q : qualquer coisa é possível R: p  q b) É proibido fumar cigarro ou charuto. R: p : fumar cigarro q: fumar charuto ~(p  q) ~p~q c) Não é verdade que >0 se e somente se >1. R: __________________________________ d) Se as laranjas são amarelas, então, os morangos são vermelhos. R: _________________________________ e) É falso que se Montreal é a capital do Canadá, então a próxima copa será realizada no Brasil. R: __________________________ f) Se é falso que Montreal é a capital do Canadá, então a próxima copa será realizada no Brasil. R: ________________________________

03) Determine o valor lógico das proposições enunciadas no exercício anterior.

04) Apresente, se possível, um exemplo de proposição condicional verdadeira tal que: a) a recíproca seja verdadeira. b) a recíproca seja falsa. c) a contrapositiva seja verdadeira. d) a contrapositiva seja falsa.

05) Escreva a recíproca e a contrapositiva de cada uma das proposições a seguir: a) Se a lua está cheia, os vampiros saem de casa à noite. b) Se uma girafa tem dor de garganta, ela não faz