Você está na página 1de 3

(CESPE, 2010) A lgica proposicional trata de argumentaes elaboradas por meio de

proposies, isto , de declaraes que podem ser julgadas como verdadeiras (V) ou
falsas (F), mas nunca como V e F simultaneamente. As proposies normalmente so
simbolizadas por letras maisculas do alfabeto e alguns smbolos lgicos so usados
para compor novas proposies. Uma conjuno, proposio simbolizada por A B,
lida como "A e B" e julgada como V somente quando A e B forem V, e F, nos demais
casos. Uma implicao, proposio simbolizada por AB, lida como "se A, ento B",
e julgada como F somente quando A for V e B for F, e V nos demais casos.
A lgica de primeira ordem tambm trata de argumentaes elaboradas por meio de
proposies da lgica proposicional, mas admite proposies que expressem
quantificaes
do
tipo
"todo",
"algum",
"nenhum"
etc.
A partir dessas notaes e definies, julgue os itens que se seguem.
1) Considerando que as proposies A, B, BC e [A B][CD] sejam V,
ento a proposio D ser, obrigatoriamente, V.
a) Certo

b) Errado

2) Se a proposio simbolizada por


proposio

a) Certo

for um argumento vlido, ento

ser falsa.

b) Errado

1) Proposies so sentenas que podem ser julgadas como verdadeiras - V - ou falsas F -, mas no como ambas, simultaneamente. As proposies so frequentemente
representadas por letras maisculas e, a partir de proposies simples, novas
proposies podem ser construdas utilizando-se smbolos especiais. Uma expresso
da forma AB, que lida como "se A, ento B", F se A for V e se B for F e, nos
demais casos, ser sempre V. Uma expresso da forma AvB, que lida como "A e B",
V se A e B forem V e, nos demais casos, ser sempre F. Uma expresso da forma
AwB, que lida como "A ou B", F se A e B forem F e, nos demais casos, ser
sempre V. Uma expresso da forma A, a negao de A, V se A for F e F se A for
V.
Julgue os itens que seguem, a respeito de lgica sentencial e de primeira ordem,
tendo como referncia as definies apresentadas no texto.

Atribuindo-se todos os possveis valores lgicos V ou F s proposies A e B, a


proposio
ter trs valores lgicos F.
a) Certo

b) Errado

De acordo com as definies apresentadas acima e a veracidade de todas as


informaes apresentadas no texto precedente, julgue os itens de 3 a 5.

2) Considere que A seja a proposio "O nmero de mulheres no mercado de


trabalho mundial atingiu 1,2 bilho, em 2007" e B seja a proposio "O
percentual de mulheres que trabalhavam no campo era maior que o percentual de
mulheres que trabalhavam em servios, em 2007". Atribuindo valores lgicos, V
ou F, proposio A e proposio B, de acordo com o referido texto, pode-se
garantir
que
a
proposio
.
a) Certo

b) Errado

3) Suponha-se que U seja o conjunto de todas as pessoas, que M(x) seja a


propriedade "x mulher" e que D(x) seja a propriedade "x desempregada".
Nesse caso, a proposio "Nenhuma mulher desempregada" fica corretamente
simbolizada por
a) Certo

b) Errado

4) A proposio "No existem mulheres que ganham menos que os homens" pode
ser corretamente simbolizada na forma
a)Certo b) Errado

Com base nas definies apresentadas acima, julgue os itens que se seguem.
6) Considere que A seja a proposio "As palavras tm vida" e B seja a proposio
"Vestem-se de significados", e que sejam consideradas verdadeiras. Nesse caso, a
proposio A(B) F.
a)Certo

b) Errado

Você também pode gostar