Professional Documents
Culture Documents
: 21030011
5.2 Traduo e Simbolizao.
1.
a) No est frio.
b) Est frio e est chovendo.
c) Est frio ou est chovendo.
d) Se est chovendo, ento est frio.
e) No est frio e no est chovendo.
2a) Chove - C
Faz frio - F
CeF
b) ~C & ~F
c) ~C
d) C v F
e) C -> ~F
3a) Verbas cortadas - V
Preos estveis - P
Impostos aumentados - I
~V -> (P<-->I)
b) I -> ~V
c) (P -> ~I) & ~I
d) ~I -> V v ~P
e) ~I -> ~V
4
a) Faz frio - P
Chove - Q
Se chove, ento faz frio.
b) Se faz frio, ento no chove.
c) Faz frio se, e somente se, chove.
d) Faz frio ou chove.
e) Faz frio W Chove (no sei o que significa w).
5
a) Q -> P
b) P -> Q
c) Q -> P
d) P -> ~Q
e) Q -> P
10
a) Passar para o meio-campo - Z
Ficar no ataque - R
Ser expulso - S
S -> (Z&R) ou Z & (S->R)
b) Permitir maior numero de inscritos - N
Permitir restruturao dos velhos moldes de exame - R
Abandonar o cursinho - A
Arranjar um trabalho - T
(~N&~R) -> (A&T) ou ~(N&R)->(A&T)
c) Joo veio - J
Pedro ficou - P
Clovis saiu - C
(J&P)vC ou J&(PvC)
d) Antonio tocar violino - A
Antonio tocar piano - P
Maria tocar flauta - M
(AvP)&M ou Av(P&M)
e) Drenar gua - A
Reabrir a estrada - E
Dragar o rio - R
Mercado aberto para os sitiantes - M
Comercio florescer - C
(A&E&R) -> (M&C)
5.3
1)
a) argumento
b) argumento
c) argumento
d) argumento
e) afirmao
2.
a) Jos sempre fica triste aps falar com
Maria (P)
Jos acaba de falar com Maria (P)
_____
Jos deve estar triste (C)
b) Todos os homens so animais
_____
~V
V~V
V
V
F
F
V
F
V
F
V
F
V
V
De acordo com a linha 2 da 3 coluna, se a pessoa vai, ento ela est mentindo. E
de acordo com as linhas 2 e 3 da 3 coluna, se a pessoa fica, ela fala a verdade.
b) Pessoas com mais de 150 - P
Sofrer do fgado - F
PF
P
F
PF
F
V
V
F
F
V
Segundo as linhas 2 e 3 vemos que a afirmao verdadeira.
c) A afirmao verdadeira.
P
~F
F
V
F
F
P~F
V
V
d) No, pois, nem todas as vezes em que (F&R)->R tem valor verdadeiro R tem
valor verdadeiro.
e) No, pois, nem todas as vezes em que (F&R)->R verdadeiro R verdadeiro.
5. Por meio de tabelas de valores, examinar a legitimidade dos argumentos
ou responder as questes proposta:
a) R chuva cair
V vento mudar de direo
R
V
RV
~(R&~V)
(RV) ~(R&~V)
V
V
V
V
V
V
F
F
F
V
F
V
F
V
V
F
F
V
V
V
O argumento vlido, pois, em todas as vezes em que a premissa
verdadeira a concluso tambm verdadeira. Sendo assim, a concluso
decorre da premissa. Alm disto, transformando o argumento em uma
frmula, vemos que a mesma uma tautologia.
b)
E
V
V
V
A
V
V
F
P
V
F
V
EvA
V
V
V
(EvA)P
V
F
V
PE
V
V
V
V
F
F
V
F
V
F
V
V
V
V
F
F
V
F
V
F
V
F
F
V
F
V
F
F
F
F
F
V
V
O argumento no legtimo, pois, analisando as linhas que representam as reais
circunstncias expressas no argumento (no ter atropelado ningum, mas ter
perdido a carteira), vemos que nem todas apresentam concluso verdadeira.
c)
M G V (M&G) (M&G) V M~G
V
V
V V
V
F
V
V
F
V
F
F
V
F
V F
V
V
V
F
F
F
V
V
F
V
V F
V
V
F
V
F
F
V
V
F
F
V F
V
V
F
F
F
F
V
V
invlido, pois, a ltima coluna deveria ser verdadeira todas as vezes em
que V falso.
d) Preos sobem P
Custos sobem C
P (P&C) v (P&~C)
P C
(P&C)
(P&~C)
V V
V
F
V
F
F
V
F V
F
F
F
F
F
F
uma tautologia.
(P&C)v(P&~C)
V
V
F
F
M
V
F
V
~(~J&~M)
V
V
V
P(P&C)v(P&~C)
V
V
V
V
F
F
F
Sim, h equivalncia, pois, ambas as afirmaes possuem o mesmo valor (e para
as mesmas variveis).
6. Mostrar que os seguintes argumentos so ilegtimos:
a) PC logo, CP ou: (PC) (CP)
P
C
PC
CP
V
V
V
V
V
F
F
V
F
V
V
F
F
F
V
V
ilegtimo, pois, PC e CP no so equivalentes.
b)
H
M
I
HM
MI
IH
V
V
V
V
V
V
V
V
F
V
F
V
V
F
V
F
V
V
V
F
F
F
V
V
F
V
V
V
V
F
F
V
F
V
F
F
F
F
V
V
V
V
F
F
F
V
V
V
Para que a concluso IH seja verdadeira necessrio que ela decorra das
premissas HM e MI, isto , que sempre que ambas sejam verdadeiras a
concluso tambm seja. No entanto, isto no ocorre na coluna 5, portanto, o
argumento ilegtimo.
c)
H
M
HM
~H~M
V
V
V
V
V
F
F
V
F
V
V
F
F
F
V
V
O argumento ilegtimo, pois, ocorre das premissas serem verdadeiras e a
concluso ser falsa.
d)
B
V
V
V
V
F
F
M
V
V
F
F
V
V
A
V
F
V
F
V
F
BvM
V
V
V
V
V
V
M~A
F
V
V
V
F
V
BA
V
F
V
F
V
V
F
F
V
F
V
V
F
F
F
F
V
V
O argumento invlido, pois, a concluso deve decorrer das premissas, e nas
linhas 2 e 4 as premissas so ambas verdadeiras e ocorre da concluso ser falsa.
e) Computador til C
Estar em condies de alterar a programao P
O argumento :
CP
~C
____
~P
C
P
CP
~C
~P
V
V
V
F
F
V
F
F
F
V
F
V
V
V
F
F
F
V
V
V
O argumento invlido, pois, ocorre de as premissas serem verdadeiras e a
concluso ser falsa, isto , a concluso no decorre das premissas.
7. Discutir as seguintes afirmaes:
a) A afirmao verdadeira pois, podemos afirmar que um argumento legtimo
(vlido) quando, SUPONDO que as premissas so verdadeiras, delas decorram
uma concluso tambm supostamente verdadeira. No entanto, a tabela verdade e
a validade do argumento jamais poder nos afirmar algo quanto a veracidade das
informaes apresentadas no argumento em sua insero no mundo real.
b) Sim, pois, se as premissas so verdadeiras e implicam na concluso,
necessariamente a concluso tambm deve ser verdadeira.
c) No necessariamente, pois, um argumento pode ter premissas que no
implicam na concluso, estas portanto, podem ser falsas sem interferir na validade
do argumento (apenas na qualidade).
d) Sim, por exemplo: O cu azul. A grama verde. Logo, seres humanos so
mortais. As premissas e a concluso so verdadeiras, no entanto, no h relao
de consequncia lgica entre as premissas e a concluso.
e) Um argumento legtimo pode ter ALGUMAS premissas falsas, mas aquelas que
implicam na validade do argumento (na veracidade da concluso) DEVEM ser
verdadeiras (ou supostas como tal dentro no universo lgico).
8. Construir exemplos de argumentos que tenham as caractersticas indicadas:
a) legtimo; com premissas falsas e concluso falsa.
Todo cu verde. Existe um planeta chamado XYZ que possui cu. Logo, o cu
de XYZ verde.
b) legtimo; com uma premissa falsa e uma premissa verdadeira e concluso falsa.
Todo hamster vermelho. Hamsters so roedores. Logo, o hamster que adotei
vermelho.
R
V
V
F
F
V
V
F
F
A
V
F
V
F
V
F
V
F
RvP
V
V
V
F
V
V
V
F
J(RvA)
V
V
V
F
V
V
V
V
~A
F
V
F
V
F
V
F
V
~J
F
F
F
F
V
V
V
V
I&MD
V
F
V
V
V
V
V
V
~M
F
F
V
V
F
F
V
V
IvD
V
V
V
V
V
V
V
F
B
V
V
F
F
V
V
F
C
V
F
V
F
V
F
V
MB
V
V
F
F
V
V
V
CM
V
V
V
V
F
V
F
CvB
V
V
V
F
V
V
V
F
F
F
V
V
O argumento ilegtimo devido ltima linha.
~N~A
V
V
F
V
V
V
F
V
~N~G
V
V
F
V
V
V
F
V
MwE
E&~M
M&~E
(E&~M)F
(M&~E)F
V
V V
F
F
F
V
V F
F
F
F
V
F V
V
F
V
V
F
F
V
F
V
F
V V
V
V
F
F
V F
V
V
F
F
F V
F
F
F
F
F
F
F
F
F
O argumento legtimo devido as linhas 3 e 5.
V
V
V
V
V
F
V
V
V
V
V
F
V
V
V
V
d) Imagine-se que abaixo est uma descrio correta dos hbitos de certas
pessoas:
(i) Joo joga futebol aos sbados J
Esposa de Joo est jogando baralho Y
Pedro joga boliche P
(~Y&~P) J
(ii) Esposa de Pedro joga baralho X
(X&~J)P
(iii) Jv~P
J
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
Y
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
X
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
P
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
(~Y&~P)
F
F
F
F
F
F
F
V
F
F
F
F
F
V
F
V
(~Y&~P)J
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
F
(X&~J)
V
V
F
F
V
V
F
F
V
V
F
F
F
F
F
F
e) Prefeito agir P
Governador intervir G
Juz ser indicado para analisar a questo J
Prefeito obrigado a renunciar R
(~P&G) (JvR)
(X&~J)P
V
F
V
V
V
F
V
V
V
F
V
V
V
V
V
V
Jv~P
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
~P&G
JvR
(~P&G)(JvR)
V
V
V
V
F
V
V
V
V
V
F
F
V
V
V
V
F
V
F
V
V
V
V
F
F
F
F
V
V
F
V
V
F
V
V
V
F
V
F
F
V
V
V
F
F
V
F
V
V
V
F
F
F
F
F
V
F
V
V
V
V
V
V
F
V
V
F
V
V
V
F
V
F
V
V
V
V
F
V
F
F
V
F
F
F
F
V
V
F
V
V
F
F
V
F
F
V
V
F
F
F
V
F
V
V
F
F
F
F
F
F
V
A previso falsa quando o prefeito no age, o juiz no indicado para
analisar a questo, e ainda assim o prefeito no obrigado a renunciar.