Académique Documents
Professionnel Documents
Culture Documents
Pgina 3
V
V
F
F
V
F
V
F
PQ
V
F
F
F
V
V
F
F
V
F
V
F
PQ
V
V
V
F
e) Valor verdade de P Q
Q
PQ
V
V
F
F
V
F
F
V
O valor verdade da molcula P Q tal que o valor (P Q) = V se somente
se o valor (P) e o valor (Q) tm os mesmos valores verdades.
P
V
V
F
F
Pgina 4
V
V
F
F
V
F
V
F
PQ
F
V
V
F
1
de x. Pode-se afirmar que:
7
V
F
V
F
V
F
V
V
V
F
V
V
V
V
V
V
Exerccio:
8- (CESPE MRE) A sentena No Palcio Itamaraty h quadros de Portinari ou no
Palcio Itamaraty no h quadros de Portinari uma proposio sempre verdadeira.
2.3 - Contradies:
So molculas que so sempre falsas, independentemente do valor lgico das
proposies (tomos).
P
~P
P ~P
V
F
F
F
V
F
2.4 Contingncia:
Chama-se uma proposio composta de contigente, ou uma contigncia, quando o
seu valor lgico poder ser (V) ou (F), dependendo do valor de suas proposies
simples.
P
~P
P ~P
V
F
F
F
V
V
2.5 Equivalncia Lgica:
Duas molculas so equivalentes se elas possuem as mesmas tabelas
verdade.
P
P Q equivalente a ~P Q
Q
P Q ~P Q
V
V
F
F
V
F
V
F
V
F
V
V
V
F
V
V
Pgina 6
Pgina 7
Pgina 8
Pgina 9
a) (x, x ) (x + 2 = 5), que se l qualquer que seja x, x elemento de , temse x + 2 = 5, uma afirmao falsa.
b) (x, x ) (x + 2 = 5), que se l existe pelo menos um x, x elemento de ,
tem-se x + 2 = 5, uma afirmao verdadeira.
c) (x, x ) (x + 2 = 5), que se l existe um nico x, x elemento de , tem-se x
+ 2 = 5, uma afirmao verdadeira.
d) (x, x ) (x + 2 > 5), que se l existe um nico x, x elemento de , tem-se x
+ 2 > 5, uma afirmao falsa.
Exerccios:
Sendo = {... 3, -2, -1, 0, 1, 2, 3, ...} julgue os itens a seguir:
20- (x, x ) (x - x = 0)
21- (x, x ) (x - 5 = 7)
22- (x, x ) (x - 5 = 7)
23- (x, x ) (x - 5 = 7)
Pgina 11
H expresses que no podem ser julgadas como V nem como F, por exemplo: x + 3
= 7. Nesse caso, a expresso constitui uma sentena aberta e x a varivel. Uma
forma de passar de uma sentena aberta a uma proposio pela quantificao da
varivel. So dois os quantificadores: qualquer que seja ou para todo, indicado por
, e existe, indicado por . Por exemplo, a proposio (x)(x N) (x + 3 = 7)
valorada como F, enquanto a proposio (x)(x N)(x + 3 = 7) valorada como V.
Com base nessas informaes, julgue os itens que se seguem, a respeito de lgica
sentencial e de primeira ordem.
28- Se A a proposio O soldado Vtor far a ronda noturna e o soldado Vicente
verificar os cadeados das celas, ento a proposio A estar corretamente escrita
como: O soldado Vtor no far a ronda noturna nem o soldado Vicente verificar os
cadeados das celas.
29- Na tabela includa no texto acima, considerando as possveis valoraes V ou F
das proposies A e B, a coluna (AB) estar corretamente preenchida da seguinte
forma.
Pgina 13
Gabarito:
Obs.: A banca CESPE tem questes do tipo julgue os itens que se seguem e so
questes para o candidato assinalar:
C para resposta correta
E para resposta errada
N- no S- sim
1 E (N,S,N,S)
2 E (S,N,N,S,N)
3 E (N,S,S,S,S)
4 C
5 C
6 B
7 e
8 C
9
10
11
12
13
14
15
16
D
D
E
E
C
E
C
E
17
18
19
20
21
22
23
24
C
C
C
E
C
E
C
C
25
26
27
28
29
30
31
32
E
E
A
D
E
C
E
C
33
34
E
D
Referncias Bibliogrficas:
BISPO, Carlos Alberto Ferreira. Introduo lgica matemtica. So Paulo: Cengage
Learning, 2014.
PAES, Rui Santos. Questes com gabaritos comentados: raciocnio lgico: Esaf,
Cespe,
Vunesp, NCE, FCC, Esag, Cesgranrio e outros. 5.ed. Braslia: Vestcon, 2006.
PAIVA, Manoel. Matemtica. Volume 1. So Paulo: Moderna, 1999.
ROCHA, Enrique. Raciocnio Lgico: teoria e questes. 2.ed. Rio de Janeiro:
Elsevier,
2006.
Pgina 14