Logica matematica - (exercicio)

__________________________ ATIVIDADE 1 – LÓGICA MATEMÁTICA Tabela única dos conectivos. abela p V V F F q V F V F não p ~p F F V V peq p∧q V F F F p ou q p∨q V V V F ou p ou q p q F V V F Se p então q p→q V F V V p se e somente se q p↔q V F F V

Algoritmo de procedência 1º negação 2º operações entre parênteses 3º disjunções (ou) 4º conjunções (E) 4º condicional 5º bicondicional 6º expressão final 01. Sendo p a proposição Paulo é paulista e q a proposição Ronaldo é carioca carioca, traduzir para a linguagem corrente as seguintes proposições: a) ~q b) p ∧ q c) p v q d) p →q e) p → (~q) f) p↔q 02. Sendo p a proposição Roberto fala inglês e q a proposição Ricardo fala italiano traduzir para a linguagem simbólica as seguintes proposições: a) Roberto fala inglês e Ricardo fala italiano. b) Ou Roberto não fala i inglês ou Ricardo fala italiano. c) Se Ricardo fala italiano então Roberto fala inglês. d) Roberto não fala inglês e Ricardo não fala italiano. 03. (UFB) Se p é uma proposição verdadeira, então: a) p ^ q é verdadeira, qualquer que seja q; b) p v q é verdadeira, qualquer que seja q; c) p ^ q é verdadeira só se q for falsa; e) n.d.a.

04. (ABC) A negação de todos os gatos são pardos é: a) nenhum gato é pardo; b) existe gato pardo; c) existe gato não pardo; d) existe um e um só gato pardo; e) nenhum gato não é pardo. 5. (VUNESP) Um jantar reúne 13 pessoas de uma mesma família. Das afirmações a seguir, referentes às pessoas reunidas, a única necessariamente verdadeira é: a) pelo menos uma delas tem altura superior a 1,90m; b) pelo menos duas delas são do sexo feminino; c) pelo menos duas delas fazem aniversário no mesmo mês; d) pelo menos uma delas nasceu num dia par; e) pelo menos uma delas nasceu em janeiro ou fevereiro. 6) Construa a tabela verdade da preposição composta: a) (p∧q)→(p∨q) b) p∨~p c) ~(~p∧q)