Académique Documents
Professionnel Documents
Culture Documents
1 Lista de exerccios
Noes de Lgica
1)
Roberto, Srgio, Carlos, Joselias e Aldo esto trabalhando em um projeto, onde cada um exerce uma
funo diferente: um economista, um estatstico, um administrador, um advogado e um contador.
- Roberto, Carlos e o estatstico no so paulistas;
- No fim de semana, o contador joga futebol com Auro;
- Roberto, Carlos e Joselias vivem criticando o advogado;
- O administrador gosta de trabalhar com Carlos, Joselias e Srgio, mas no gosta de trabalhar
com o contador.
Pode-se afirmar que Srgio o:
A) economista
B) estatstico
C) administrador
D) advogado
E) contador
2) Joo e Maria formam um casal muito estranho. Maria mente aos domingos, segundas e teras-feiras,
dizendo verdade nos demais dias. J Joo mente s quartas, quintas e sextas-feiras, dizendo verdade
nos outros dias. Em certo dia, ambos declararam: ontem foi dia de mentir.
Qual foi o dia da semana dessa declarao?
A) segunda-feira
B) tera-feira
C) quarta-feira
D) quinta-feira
E) sbado
3) Dadas as premissas:
1) Todo matemtico maluco
2) Todo matemtico inteligente
3) Joo maluco
4) Maria inteligente
Podemos concluir que:
A) Maria maluca
B) Joo matemtico
C) Todos os inteligentes so malucos
D) Joo inteligente
E) Existe maluco inteligente
4) A conjuno de duas proposies P e Q, denotada por P Q, uma proposio composta que verdadeira
somente quando ambas o so. Construa sua tabela-verdade.
5) A disjuno de duas proposies P e Q, denotada por P Q, uma proposio composta que verdadeira
somente quando uma delas o . Construa sua tabela-verdade.
6) A negao de uma proposio P, denotada por ~P, uma proposio que troca o valor lgicao da
proposio original. Construa sua tabela-verdade.
7) A condicional de duas proposies P e Q, denotada por P Q, uma proposio composta que falsa
somente quando a primeira verdadeira e a segunda falsa. Construa sua tabela-verdade.
8) A bicondicional de duas proposies P e Q, denotada por P Q, uma proposio composta que
verdadeira somente quando ambas possuem o mesmo valor lgico. Construa sua tabela-verdade.
9) Construa a tabela verdade de cada caso:
a) ~P Q ~P
b) (P ~Q) Q P
c) (P ~Q) P ~Q
10) Considere as proposies p: Est frio e q: Est chovendo. Traduza para linguagem corrente as seguintes
proposio:
a) p ~q
b) p q c) ~p ~q
d) p ~q e) (p ~q) (q ~p)