Proposies lgicas e conectivos

Valoraes de proposies: V ou F Lembre que toda proposio deve ser uma afirmao ou negao.
A lgica tradicional no trabalha com proposies interrogativas.
Tabela Verdade: Como a valorao sempre ser V ou F. Para saber o nmero de linhas da tabela verdade, usa-se
a frmula
n
2 , onde n o nmero de proposies. Exemplo: se tivermos A e B, n=2, a tabela ter 4 linhas. Se
tivermos A,B,C e D, n=4, ento a tabela ter 16 linhas.
Conectivos:
Negao ( ) Para negar uma proposio, se ela for V vira F; se F vira V.
Verifica-se a negao quando aparece elemento negativo: no, falso que...
Exemplo: Dada a proposio A, ento sua negao(contradio) ser A
Conjuno ( .) S ser verdadeira, se ambas forem verdadeiras.Est relacionada com a interseco de
conjuntos.
Verifica-se a conjuno quando aparece elemento aditivo: e, mas, contudo...
Exemplo: Dadas as proposies A e B, ento a conjuno ser A.B
Disjuno ( v) Ser verdadeira se uma ou outra proposio for verdadeira; ou seja, s ser falsa se
ambas forem falsas. Est relacionada com a unio de conjuntos.
Verifica-se a conjuno quando aparece elemento alternativo: ou, ou...ou,...
Exemplo: Dadas as proposies A e B, ento a disjuno ser AvB
Implicao ( ) S ser falsa se uma proposio verdadeira implicar uma falsa. Disso conclui-se que
sempre que a primeira proposio for falsa, a implicao ser verdadeira. Em conjuntos,
a primeira proposio est contida na segunda, ou seja, a segunda contm a primeira.
Verifica-se a implicao quando aparecem: se... ento; Se A,B; A implica B; A
suficiente para B; B necessria para A... (sempre que pudermos substituir o conectivo
da frase por se...ento)
A primeira proposio condio suficiente, a segunda condio necessria
Exemplo: Dadas as proposies A e B, ento a implicao ser AB
A
A
A
B
A.B
A
B
AvB
A
B
Observe que :
A.B= B.A (So equivalentes)
Observe que :
AvB= BvA (So equivalentes)
Observe que :
AB diferente de BA
Dupla implicao ( ) Ser verdadeira sempre que ambas proposies forem idnticas. Por isso tambm
chamada de identidade. Falso com Falso = Verdadeiro ; verdadeiro com
verdadeiro = verdadeiro; falso nos outros casos.
Em diagrama de conjuntos representado como dois conjuntos idnticos.
Verifica-se a identidade quando aparecem: A se e somente se B; A idntico a
B...
A e B so condies necessria e suficiente.
Exemplo: Dadas as proposies A e B, ento a identidade ser AB
1) Considere as seguintes proposies, faa as tabelas verdade e traduza para a linguagem natural:
A: Est amargo
B: Est bom
C: Est corado
a) A (no est amargo) b) B (No est bom) c) B Av (Ou est amargo ou est bom)
d) B A. (est amargo e bom) e) B A (Se est amargo, ento est bom)
f) B (No verdade que no est bom) g) B A (Est amargo se e somente se est bom)
h) C B (Est bom se e somente se est corado)
i) C B A v ) ( (Se est amargo ou no bom, ento no est corado)
j) C B A . ) ( (Se no est amargo e no est bom, ento no est corado)
A B
A B
B Av B A. B A
B
B A
V V F F V V V V V
V F F V V F F F F
F V V F V F V V F
F F V V F F V F V
A B C
C A B ) ( B Av C B A v ) ( ) ( B A. C B A . ) (
V V V F F F V V F V
V V F V F F V F F V
V F V F F V V V F V
V F F V F V V F F V
F V V F V F F V F V
F V F V V F F V F V
F F V F V V V V V F
F F F V V V V F V V
2) Com base nas proposies a seguir, passe para a linguagem simblica e faa as tabelas verdade.
H: Joo honesto
T: Joo trabalhador
a) Joo honesto e trabalhador ( T H . ) b) Joo honesto, mas no trabalhador( T H . )
c) Ou Joo no honesto ou trabalhador( T H v ) d) Joo honesto ou trabalhador( T H v )
e) Joo no honesto ou no trabalhador( T H v )
f) No verdade que Joo desonesto ou no trabalhador( ) ( T H v )
g) No verdade que Joo desonesto ou trabalhador( ) ( T H v )
AB Observe que :
AB= BA (So equivalentes)
H T
H T
T H . T H . T H v T H v T H v ) ( T H v ) ( T H v
V V F F V F F V F V V
V F F V F V F V V F V
F V V F F F V V V F F
F F V V F F F F V F V
3) Segundo as proposies a seguir; passe para a linguagem simblica e faa as tabelas verdade.
I: Dad canta em Ingls
P: Dad canta em Portugus
E: Dad canta em Espanhol
a) Dada canta em Ingls ou Portugus, mas no canta em Espanhol. E P I . v ) (
b) Dad canta em Espanhol e Ingls ou no canta em Ingls e Portugus ) ( ) ( P I I E . v .
c) falso que Dada canta em Ingls, mas no canta em Espanhol. ) ( E I .
d) falso que Dada canta em Ingls e em portugus, mas no canta em Ingls e Espanhol
) ( ) (( E I P I . . . )
e) Se Dada canta em Ingls, ento ela canta em Portugus e Espanhol ) ( E P I .
f) Dada canta em Espanhol se e somente se canta em Portugus ou Ingls. ) ( I P E v
g) Se Dada canta em Portugus, ento ou ela canta em Ingls ou canta em Espanhol ) ( E I P v
I P E I E ) ( P I v E P I . v ) ( ) ( I E . P I . ) ( P I . ) ( ) ( P I I E . v .
V V V F F V F V V F V
V V F V F V F F V F F
V F V F V V V V F V V
V F F V V V V F F V V
F V V F F V F F F V V
F V F V F V F F F V V
F F V F V F F F F V V
F F F V V F F F F V V
) ( E I . ) ( E I . ) ( P I . ) ( E I . ) ( E I . ) ( ) ( E I P I . . . ) ( ) (( E I P I . . .
F V V V F F V
F V V F V V F
V F F V F F V
V F F F V F V
F V F F V F V
F V F F V F V
F V F F V F V
F V F F V F V
) ( E P . ) ( E P I . ) ( I P v ) ( I P E v ) ( E I v ) ( E I P v
V V V V V V
F F V F V V
F F V V V V
F F V F V V
V V V V V V
F V V F F F
F V F F V V
F V F V F V
Observao: Este exerccio nmero 3 a ttulo de treinamento para perceber se o aluno captou as regras entre
os conectivos.
4) Determine o valor lgico (V ou F) de cada uma das proposies compostas a seguir.
a) 3 2 1 = + e 7 4 3 = + V V V = .
b) 4 3 3 = + e 8 5 4 = + F F F = .
c) 3 5 2 = e 5 2 3 = + V V V = .
d) 3 7 4 = e 6 4 2 = + V V V = .
e) 6 1 5 = + ou 5 2 3 = + V V V = v
f) 7 2 3 = ou 5 1 4 = F F F = v
g) 4 7 3 = ou 6 3 2 = + V F V = v
h) 4 5 2 = ou 5 2 3 = + V V F = v
i) Se 7 2 5 = + , ento 9 3 6 = + V V V =
j) Se 5 4 2 = , ento 1 2 3 = V V F =
k) Se 7 4 3 = + , ento 3 5 2 = V V V =
l) falso que 5 2 3 = + ou 5 1 3 = + F V F V = = v ) (
m) falso que se 7 4 2 = + ento Paris Capital da Inglaterra F V F F = = ) (
n) 7 3 4 = + se e somente se 5 3 2 = + V V V =
o) 2 4 3 = se e somente se 5 3 4 = V F F =
p) 5 2 3 = + se e somente se 2 < 4 V V V =
q) No verdade que 2 4 = -2 ou 3 + 2 = 7 F V F V = = v ) (
r) No verdade que: se 3 + 2 = 5 ento 2 + 2 = 4 e 1 + 2 = 3 F V V V V V V = = = . ) ( )) ( (
s) Se 3 + 2 = 5 ento no verdade que 3 + 1 = 4 e 3 + 3 = 6 F F V V V V V V = = = . ) (
t) Se 3 + 2 5 ento no verdade que 3 + 1 = 4 e 2 + 4 = 6 V F F V F V V F = = = . ) (
5) Julgue os argumentos a seguir, se as oraes refletem a realidade:
I. Lisboa a capital de Portugal se, e somente se, Tiradentes foi enforcado. V V V =
II. A Terra quadrada se, e somente se, 3,5 um nmero inteiro. V F F =
III. O Atltico foi campeo brasileiro em 2001 se, e somente se, 1 primo; F F V =
IV. Zero par se, e somente se, 1 primo. V F F =
a) VVVV; b) VVFV: c) VFFV; d) FVFV; e) FFVF;
6) Observe a sentena Se X ento Y e Z ,
Em uma implicao, basta o primeiro termo (condio suficiente) ser falsa, para que a implicao seja verdadeira, pois a
implicao s ser falsa quando a condio suficiente for verdadeira e a necessria falsa.
a) suficiente que X seja verdadeiro para que a sentena seja verdadeira;
b) suficiente que Y e Z seja verdadeiro para que a sentena seja falsa;
c) suficiente que X seja verdadeiro e Y falso para que a sentena seja verdadeira;
d) suficiente que X seja falso para que a sentena seja verdadeira.
e) suficiente que X seja falso porm necessrio que Y e Z sejam falsos para que a sentena seja falsa;
7. A negao da sentena h consumo de um bem se, e s se, ocorre uma despesa :
Ateno... Deixe este exerccio para ver no final da lista por causa do grau de dificuldade...
( ) D B Lembrando que uma dupla implicao. B implica D e D implica B. ( ) )) ( ( B D D B .
Na implicao no pode acontecer que o primeiro termo seja verdadeiro e o segundo falso.
( ) )) ( ( B D D B . . . convertendo os termos de dentro para que a negao fique para fora, tem-se...
( ) ))) ( ( ( B D D B . v . as negaes so eliminadas, restando ( ) ) ( B D D B . v .
Como na conjuno, disjuno e dupla implicao eu posso inverter os termos, pois so equivalentes...
( ) ) ( D B D B . v .
(a) Se h consumo de um bem ento no ocorre uma despesa;
(b) Se no h consumo de um bem ento no ocorre despesa;
(c) Se no h consumo de um bem ento ocorre uma despesa;
(d) H o consumo de um bem mas no ocorre uma despesa ou no h o consumo de um bem mas ocorre uma despesa
(e) No h o consumo de um bem e nem ocorre uma despesa;
8. Negando a sentena Se a Nanci est feliz ento est alegre e bonita .
( ) ) ( B A F . Na implicao no pode acontecer que o primeiro termo seja verdadeiro e o segundo falso.
( )) ) ( ( B A F . . as negaes so eliminadas, restando ) ( B A F . . ento tem-se ) ( B A F . .
a) Se a Nanci no est feliz ento no est alegre e nem bonita;
b) Se a Nanci est alegre e bonita ento est feliz;
c) Se a Nanci no est feliz ento est alegre e bonita;
d) Se a Nanci no est alegre e nem bonita ento est feliz;
e) A Nanci est feliz e no alegre ou no bonita.
9. A negao da sentena falso que no est frio ou que est chovendo :
)) ( ( C F v as negaes so eliminadas, restando C F v
a) No est frio e no est chovendo ;
b) Est frio e no est chovendo.
c) No est frio ou est chovendo;
d) Est frio e est chovendo;
e) nda;
10. Negar a sentena O pai de Lili Baiano ou a me Carioca
) (
C B
M P v )
C B
M P .
a) falso que o Pai de Lili Baiano ou que a me Carioca;
b) O pai de Lili no Baiano e a me no Carioca;
c) O pai de Lili no Baiano ou a me no Carioca.
d) falso que o pai de Lili Baiano ou a me Carioca;
e) O pai de Lili no Baiano e a me Carioca;
11. Negar a sentena A produo est no diminuindo e os preos esto aumentando :
A: A produo est diminuindo
B: Os preos esto aumentando
) ( B A. B A v
a) falso que a produo est diminuindo e os preos esto aumentando;
b) A produo no est diminuindo e os preos no esto aumentando;
c) A produo est diminuindo ou os preos no esto aumentando.
d) A produo est aumentando ou os preos esto diminuindo;
e) A produo est diminuindo e os preos esto diminuindo;
12. A contradio da sent ena ocorre receita se, e somente se, h transferncia de bens ou prestao de servios
:
Ateno... Deixe este exerccio para ver no final da lista por causa do grau de dificuldade...
( ) ) ( P T R v Lembrando que uma dupla implicao. B implica D e D implica B.
( ) ) ) (( )) ( ( R P T P T R v . v
Na implicao no pode acontecer que o primeiro termo seja verdadeiro e o segundo falso.
( ) ) ) (( )) ( ( R P T P T R . v . v . convertendo os termos de dentro para que a negao fique para fora,
tem-se...
( ) ) ) ( )) ( (( R P T P T R . v v v . as negaes so eliminadas, restando ( ) ) ) (( )) ( ( R P T P T R . v v v .
( ) ) ) (( )) ( ( R P T P T R . v v . .
Como na conjuno, disjuno e dupla implicao eu posso inverter os termos, pois so equivalentes...
( ) )) ( ( )) ( ( P T R P T R v . v . .
(a) Ocorre receita e no h transferncia de bens e nem prestao de servios ou no ocorre receita e h transferncia de
bens ou prestao de servios.
(b) Ocorre se, e somente se, no h transferncia de bens ou prestao de servios;
(c) No ocorre se, e s se, no h transferncia de bens ou prestao de servios;
(d) No ocorre receita e no h transferncia e nem prestao de servios;
13. A contradio da sent ena Se eles querem fal ar conosco, ento querem falar com ns todos :
) ( T C Na implicao no pode acontecer que o primeiro termo seja verdadeiro e o segundo falso.
)) ( ( T C . as negaes so eliminadas, restando T C .
(a) Eles no querem falar conosco mas no com ns todos;
(b) Se eles querem falar conosco ento no querem falar com ns todos;
(c) Se eles no querem falar conosco ento querem falar com ns todos.
(d) Se eles no querem falar conosco ento querem falar com ns todos;
(e) Eles querem falar conosco mas no querem falar com ns todos.
14. A negao da sentena se h consumo de um bem ento ocorre uma despesa :
) ( D C Na implicao no pode acontecer que o primeiro termo seja verdadeiro e o segundo falso.
)) ( ( D C . as negaes so eliminadas, restando D C .
(a) Se h consumo de um bem ento no ocorre uma despesa;
(b) Se no h consumo de um bem ento no ocorre despesa;
(c) Se no h consumo de um bem ento ocorre uma despesa;
(d) H o consumo de um bem mas no ocorre uma despesa:
(e) No h o consumo de um bem e nem ocorre uma despesa;
15. A negao da sentena A distribui o dos divi dendos um fato modificativo e no despesa :
) ( D M . D M v
a) A distribuio no um fato modificativo ou uma despesa.
b) A distribuio um fato modificativo ou uma despesa;
c) A distribuio no um fato modificativo e nem uma despesa;
d) A distribuio um fato modificativo e uma despesa;
e) no d para concluir;
16. A negao da frase Se no se paga imposto sobre lucro acumulado ento o leo morre :
) ( M I Na implicao no pode acontecer que o primeiro termo seja verdadeiro e o segundo falso.
)) ( ( M I . as negaes so eliminadas, restando M I .
A) Se se paga imposto ento o leo no morre;
B) Se se paga imposto ento o leo morre;
C) Se no se paga imposto ento o leo no morre;
D) Paga-se imposto e o leo no morre;
E) No se paga imposto e o leo no morre.
17. A contradio de uma despesa se, e somente se, houver um fato gerador :
( ) F D Lembrando que uma dupla implicao. D implica F e F implica D. ( ) )) ( ( D F F D .
Na implicao no pode acontecer que o primeiro termo seja verdadeiro e o segundo falso.
( ) )) ( ( D F F D . . . convertendo os termos de dentro para que a negao fique para fora, tem-se...
( ) ))) ( ( ( D F F D . v . as negaes so eliminadas, restando ( ) ) ( D F F D . v .
Como na conjuno, disjuno e dupla implicao eu posso inverter os termos, pois so equivalentes...
( ) ) ( F D F D . v .
A) uma despesa mas no houve um fato gerador;
B) No uma despesa se, e somente se, no houve um fato gerador;
C) uma despesa e no houve um fato gerador ou no uma despesa e houve um fato gerador,
D) No uma despesa e nem houve um fato gerador;
E) A despesa nada tem com o fato gerador;
18. A contradio da sent ena Eles querem falar conosco se, e somente se, querem falar com ns todos :
( ) T C Lembrando que uma dupla implicao. C implica T e T implica C. ( ) )) ( ( C T T C .
Na implicao no pode acontecer que o primeiro termo seja verdadeiro e o segundo falso.
( ) )) ( ( C T T C . . . convertendo os termos de dentro para que a negao fique para fora, tem-se...
( ) ))) ( ( ( C T T C . v . as negaes so eliminadas, restando ( ) ) ( C T T C . v .
Como na conjuno, disjuno e dupla implicao eu posso inverter os termos, pois so equivalentes...
( ) ) ( T C T C . v .
(a) Eles querem falar conosco mas no com vs todos;
(b) Se eles querem falar conosco ento no querem falar com ns todos;
(c) Se eles no querem falar conosco ento querem falar com ns todos;
(d) Se eles no querem falar conosco ento querem falar com ns todos;
(e) Eles querem falar conosco mas no querem falar com ns todos ou eles no querem falar conosco mas querem falar com
ns todos.
19. A negao da sentena A distribui o dos divi dendos um fato modificativo e despesa :
) ( D M . ) D M v
a) A distribuio no um fato modificativo ou no uma despesa.
b) A distribuio um fato modificativo ou uma despesa;
c) A distribuio no um fato modificativo e nem uma despesa;
d) A distribuio um fato modificativo e uma despesa;
e) no d para concluir;