Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1 Princpio da no-contradio:
Uma proposio no pode ser verdadeira e falsa simultaneamente.
2 Princpio do Terceiro Excludo:
Uma proposio s pode ter dois valores verdades, isto , verdadeiro (V) ou falso (F),
no podendo ter outro valor.
.1 Conectores
Os principais smbolos conectores e seus significados numa frase so:
l-se Negao
significa ...no o caso de ...
Pgina 1 de 11.
! l-se Disjuno
significa ...ou...
# l-se Condicional
significa Seento...
$ l-se Bicondicional
significa se e somente se
.2 Quantificadores
Os smbolos quantificadores e seus significados numa frase so:
% l-se Universal
significa Para qualquer elemento de...
.3 Sintaxe
Deste modo, a sintaxe lida desta forma:
p l-se no o caso de p
p!q l-se p ou q
p"q l-se p e q
p # q l-se Se p ento q
p $ q l-se p se e somente se q
%p l-se Para todo elemento de p
&p l-se Ao menos um elemento de p
Pgina 2 de 11.
r = Eu estou lendo um livro.
.1 Negao
Tomando a frase p:
Ento p significa :
.2 Disjuno
.3 Conjuno
.4 Condicional
Nota: Diz-se que, p condio suficiente de q, mas no necessria. Por outro lado, pode-
se afirmar que, q condio necessria de p, mas no suficiente.
Lembre-se: Vale a ida, mas no vale a volta.
.5 Bicondicional
Nota 1: A frase pode ter um sentido equivocado, pois pode chover sem o carro estar na
garagem, ou, no chover com o carro na garagem. Mas a construo lgica ainda
permanece verdadeira.
Nota 2: Diz-se que, p condio suficiente e necessria de q, ou que, q condio
necessria e suficiente de p.
Lembre-se: Vale a ida e a volta.
Pgina 3 de 11.
.6 Algumas Propriedades dos Conectores
a) Negao da negao
p ' p , ou seja:
b) Idempotncia
Qualquer frase conectada a ela mesma por e ou ou vai resultar nela mesma.
c) Negao da disjuno
d) Negao da conjuno
e) Equivalncia do condicional
(p # q) ' ( q) # ( p) , ou seja:
equivale :
Pgina 4 de 11.
f) Disjuno da conjuno
equivale :
Chove no rio de Janeiro ou o carro est na garagem, enquanto isso, chove no Rio de
Janeiro ou leio um livro.
g) Conjuno da disjuno
Chove no rio de Janeiro, enquanto o carro est na garagem ou estou lendo um livro.
equivale :
Chove no rio de Janeiro enquanto o carro est na garagem, ou chove no Rio de Janeiro
enquanto leio um livro.
.7 Quantificador Universal
Se definirmos
.8 Quantificador Existencial
Se definirmos
& M = Pelo menos um que saiu na rua se molhou. ou Algum saiu na rua e se
molhou.
Pgina 5 de 11.
.9 Algumas Propriedades dos Quantificadores
Se definirmos
2.3 Exemplos
01. (ESAF) Se Beto briga com Glria, ento Glria vai ao cinema. Se Glria vai ao
cinema, ento Carla fica em casa. Se Carla fica em casa, ento Raul briga com
Carla. Ora, Raul no briga com Carla. Logo:
(A) Carla no fica em casa e Beto no briga com Glria.
(B) Carla fica em casa e Glria vai ao cinema.
(C) Carla no fica em casa e Glria vai ao cinema.
(D) Glria vai ao cinema e Beto briga com Glria.
(E) Glria no vai ao cinema e Beto briga com Glria.
Pgina 6 de 11.
Soluo:
Pela 2.2.6 e) Equivalncia do Condicional, temos que, se Raul no briga com
Carla, ento Carla no fica em casa.
Se Carla no fica em casa, ento Glria no vai ao cinema. Se Glria no vai ao
cinema, ento Beto no briga com Glria.
Portanto, letra (A).
Nota: O mtodo de resoluo consiste na aplicao da equivalncia do condicional
repetidas vezes.
02. Dizer que ''Pedro no pedreiro ou Paulo paulista'' , do ponto de vista lgico,
o mesmo que dizer que:
(A) se Pedro no pedreiro, ento Paulo paulista.
(B) se Paulo paulista, ento Pedro pedreiro.
(C) se Pedro pedreiro, ento Paulo paulista.
(D) se Pedro pedreiro, ento Paulo no paulista.
(E) se Pedro no pedreiro, ento Paulo no paulista.
Soluo:
A implicao (p # q), pode ser reescrita utilizando outros conectores, da forma
( p # q ' ( p) ! q
Esta equivalncia vale sempre e, se definirmos p ' Pedro pedreiro e q ' Paulo
paulista, ento, encontraremos a soluo.
Portanto, letra (C).
Nota: O enunciado do item 2.2.6, letra e), pode ser provado atravs desta equivalncia.
Soluo:
A tautologia (p $ q), pode ser reescrita utilizando outros conectores, da forma
( p $ q ' (p # q) " (q # p)
Pgina 7 de 11.
Esta equivalncia vale sempre e, se definirmos p ' Jac vai passar no MPU e q '
Jac vai agradecer Deus, ento, encontraremos a soluo.
Portanto, letra (D).
Nota: O autor deseja que todos passem no concurso do TRF 2 Regio !!!
Soluo:
Se definirmos:
Logo, temos pelo menos algum que soldado (S), e ao mesmo tempo, atravs do
conectivo ", tambm um no-heri. ( H).
Pgina 8 de 11.
2.4 Exerccios
03. (TRF 2006) Se todos os nossos atos tm causa, ento no h atos livres. Se
no h atos livres, ento todos os nossos atos tm causa. Logo,
(A) alguns atos no tm causa se no h atos livres.
(B) todos os nossos atos tm causa se e somente se h atos livres.
(C) todos os nossos atos tm causa se e somente se no h atos livres.
(D) todos os nossos atos no tm causa se e somente se no h atos livres.
(E) alguns atos so livres se e somente se todos os nossos atos tm causa.
Pgina 9 de 11.
06. (ESAF) Se Ana no advogada, ento Sandra secretria. Se Ana advogada,
ento Paula no professora. Ora Paula professora. Portanto:
a) Ana advogada.
b) Sandra secretria.
c) Ana advogada, ou Paula no professora.
d) Ana advogada e Paula professora.
e) Ana no advogada e Sandra secretria.
Pgina 10 de 11.
11. (FGV) A proposio (p " q) = (p ! q) representa um(a):
a. Entimema
b. Contingncia
c. Tautologia
d. Dilema
e. Negao de Conjuno
12. (IBGE-2001) Se, numa vila, todo torcedor do Arranca-toco homem, mas nem
todo homem torcedor do Arranca-toco e todo torcedor do Tira-canela mulher,
mas nem toda mulher torcedora do Tira-canela ento, nessa vila:
(A) existem homens que torcem pelo Tira-canela;
(B) h mais de um homem que no torce pelo Arranca-toco;
(C) existe pelo menos uma mulher que torce pelo Arranca-toco;
(D) ningum torce por outro time;
(E) h pelo menos duas pessoas que no torcem nem pelo Arranca-toco, nem pelo Tira-
canela.
13. Sabe-se que existe pelo menos um A que B. Sabe-se, tambm, que todo B C.
Segue-se, portanto, necessariamente que
a) todo C B
b) todo C A
c) algum A C
d) nada que no seja C A
e) algum A no C
15. Se Lus estuda Histria, ento Pedro estuda Matemtica. Se Helena estuda
Filosofia, ento Jorge estuda Medicina. Ora, Lus estuda Histria ou Helena estuda
Filosofia. Logo, segue-se necessariamente que:
a) Pedro estuda Matemtica ou Jorge estuda Medicina
b) Pedro estuda Matemtica e Jorge estuda Medicina
c) Se Lus no estuda Histria, ento Jorge no estuda Medicina
d) Helena estuda Filosofia e Pedro estuda Matemtica
e) Pedro estuda Matemtica ou Helena no estuda Filosofia
Pgina 11 de 11.