Valor logico

LÓGICA MATEMÁTICA – LISTA DE EXERCÍCIOS – 1 - Prof. Ediberto
1. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições:
( a ) O número 17 é primo.
( b ) Fortaleza é a capital do Maranhão.
( c ) Tiradentes morreu afogado.
( d ) Todo número divisível por 5 termina por 5.
( e ) O produto de dois números ímpares é um número ímpar.
2. Sejam as proposições p : Está frio e q : Está chovendo. Traduzir para a linguagem corrente as seguintes proposições:
(a) ~p
(b) pq
(c) pq
(d) qp
(e) p~q
(f) p~q
(g)~p~q
(h) p~q
(i ) p~qp
3. Sejam as proposições p : Jorge é rico e q : Carlos é feliz. Traduzir para a linguagem corrente as seguintes proposições:
(a)qp
(b) p~q
(c) q~p
(d) ~pq
(e) ~~p
(f) ~p qp
4. Sejam as proposições p : Claudio fala inglês e q : Claudio fala alemão. Traduzir para a linguagem corrente as seguintes proposições:
(a)pq
(b) pq
(c) p~q
(d) ~p~ q
(e) ~~p
(f) ~(~p ~q)
5. Sejam as proposições p : João é gaucho e q : Jaime é paulista. Traduzir para a linguagem corrente as seguintes proposições:
(a)~(p~q)
(b) ~~p
(c) ~( ~p~q)
(d) p ~ q
(e) ~p~q
(f) ~(~q p)

LÓGICA MATEMÁTICA – LISTA DE EXERCÍCIOS – 1 - Prof. Ediberto

1

LÓGICA MATEMÁTICA – LISTA DE EXERCÍCIOS – 1 - Prof. Ediberto
6. Sejam as proposições p : Marcos é alto e q : Marcos é elegante. Traduzir para a linguagem simbólica as seguintes proposições:
( a ) Marcos é alto e elegante
( b ) Marcos é alto, mas não é inteligente
( c ) Não é verdade que Marcos é baixo ou elegante
( d ) Marcos não é nem alto e nem elegante
( e ) Marcos é alto ou baixo e elegante
( f ) É falso que Marcos é baixo ou que não é elegante
7. Sejam as proposições p : Suely é rica e q : Suely é feliz. Traduzir para a linguagem simbólica as seguintes proposições:
( a ) Suely é pobre, mas feliz.
( b ) Suely é rica ou infeliz.
( c ) Suely é pobre e infeliz.
( d ) Suely é pobre ou rica, mas infeliz
8. Sejam as proposições p : Carlos fala francês