You are on page 1of 11

Raciocnio Lgico Simplificado, vol.

I
Srgio Carvalho e Weber Campos
2010, Elsevier Editora Ltda.
Todos os direitos reservados.



PRINCIPAIS CONCEITOS, REGRAS E FRMULAS
DO LIVRO RACIOCNIO LGICO SIMPLIFICADO, VOL. I

Proposio uma sentena declarativa a qual se pode atribuir um valor lgico: verdadeiro (V) ou falso (F).
No so proposies: sentenas exclamativas, sentenas interrogativas, sentenas imperativas, sentenas
sem verbo, sentenas abertas e sentenas paradoxais.
Proposio Simples no pode ser subdividida em partes menores tais que algumas delas seja uma nova
proposio.
Proposio composta formada por duas ou mais proposies simples interligadas pelos conectivos.
Conectivos Lgicos:
E (.)
OU (v)
Ou exclusivo (v)
Se... ento ()
se e somente se ()

Tabela-Verdade dos Conectivos Lgicos:

p q p e q p ou q p v q p q p q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

Quadro dos conectivos com as condies em que o valor lgico verdade e em que falso:

Estrutura lgica verdade quando falso quando
p . q p e q so, ambos, verdade um dos dois for falso, ou ambos
p v q um dos dois for verdade, ou ambos p e q, ambos, so falsos
p v q p e q tiverem valores lgicos diferentes p e q tiverem valores lgicos iguais
p q nos demais casos p verdade e q falso
p q p e q tiverem valores lgicos iguais p e q tiverem valores lgicos diferentes

Equivalentes da condicional p q :
1) Se p, q. 5) p implica q.
Raciocnio Lgico Simplificado, vol. I
Srgio Carvalho e Weber Campos
2010, Elsevier Editora Ltda.
Todos os direitos reservados.

2) q, se p. 6) p condio suficiente para q.
3) Quando p, q. 7) q condio necessria para p.
4) Todo p q. 8) p somente se q.


A Bicondicional uma conjuno de duas condicionais: p q = (p q) e (q p)

Equivalentes da Bicondicional p q :
1) p se e s se q.
2) Se p ento q e se q ento p.
3) p somente se q e q somente se p.
4) Todo p q e todo q p.
5) p condio suficiente e necessria para q.
6) q condio suficiente e necessria para p.

Modificador NO:
O smbolo que representa a negao uma pequena cantoneira () ou um sinal de til (~). Indicando
uma proposio por p, sua negao ser representada por ~p, que se l: no p.
A negao da proposio Lgica fcil pode ser enunciada de diversas formas, como:
Lgica no fcil;
No verdade que Lgica fcil;
falso que Lgica fcil.
A tabela-verdade da negao:
p ~p
V F
F V

Negao dos principais smbolos matemticos:
Negao de x>y xy;
Negao de x<y xy;
Negao de xy x<y;
Negao de x=y xy, ou ainda: (x<y ou x>y);
Negao de xy x=y.

Ordem de precedncia dos conectivos:
Comearemos sempre trabalhando com o que houver dentro dos parnteses. S depois,
passaremos ao que houver fora deles. Em ambos os casos, obedeceremos sempre seguinte ordem:
1) Faremos as negaes (~);
2) Faremos as conjunes (E)
3) Faremos as disjunes (OU);
4) Faremos a condicional (SE...ENTO...);
5) Faremos a bicondicional (...SE E SOMENTE SE...).
Raciocnio Lgico Simplificado, vol. I
Srgio Carvalho e Weber Campos
2010, Elsevier Editora Ltda.
Todos os direitos reservados.


N de Linhas da Tabela-Verdade de uma proposio composta = 2
N de proposies simples

Uma proposio composta pode ser classificada como:
1) Tautologia: uma proposio que sempre verdadeira, independentemente dos valores lgicos das
proposies simples que a compem.
2) Contradio: uma proposio que sempre falsa, independentemente dos valores lgicos das
proposies simples que a compem.

3) Contigncia: a proposio que no tautologia nem contradio. Este tipo de proposio assume
valores F e V.

Equivalncias da Condicional:
1) p q = ~q ~p
2) p q = ~p ou q
3) p ou q = ~p q
Equivalncia entre NENHUM e TODO:
1) Nenhum A no B = Todo A B
2) Todo A no B = Nenhum A B
Lei da dupla negao:
Ao negar duas vezes seguidas, acaba-se desfazendo a negao: ~(~p) = p.
Leis comutativas:
1) p e q = q e p
2) p ou q = q ou p
3) p q = q p
Leis associativas:
1) (p e q) e r = p e (q e r)
2) (p ou q) ou r = p ou (q ou r)
Leis distributivas:
1) p e (q ou s) = (p e q) ou (p e s)
2) p ou (q e s) = (p ou q) e (p ou s)

Negao de uma Proposio Conjuntiva: ~(p e q) = ~p ou ~q (1 Lei de De Morgan)
Negao de uma Proposio Disjuntiva: ~(p ou q) = ~p e ~q (2 Lei de De Morgan)
Negao da condicional: ~(pq) = p e ~q
Negao da bicondicional: 1 forma) ~(pq) = ~(pq e qp) = (p e ~q) ou (q e ~p)
2 forma) ~(pq) = p v q
Regras de Simplificao de uma proposio composta:
Raciocnio Lgico Simplificado, vol. I
Srgio Carvalho e Weber Campos
2010, Elsevier Editora Ltda.
Todos os direitos reservados.

1) p ou p = p (Lei idempotente)
2) p e p = p (Lei idempotente)
3) p ou ~p = V (tautologia!)
4) p e ~p = F (contradio!)
5) p ou V = V (na disjuno, o V quem manda!)
6) p ou F = p (na disjuno, o F elemento neutro!)
7) p e V = p (na conjuno, o V elemento neutro!)
8) p e F = F (na conjuno, o F quem manda!)
9) p p = V (tautologia!)
10) p ~p = F (contradio!)
11) p ou (p e q) = p (Lei de Absoro)
12) p e (p ou q) = p (Lei de Absoro)
A condicional pode ser transformada numa disjuno (pq = ~p ou q), a partir da pode-se tentar usar
uma das regras acima.
NEGAO DOS TERMOS TODO, NENHUM E ALGUM
Proposio Negao da proposio
Algum Nenhum
Nenhum Algum
Todo Algum... no
Algum... no Todo

PROPOSIES CATEGRICAS:
Todo A B no significa o mesmo que Todo B A.
Nenhum A B logicamente equivalente a dizer que Nenhum B A.
Algum A B logicamente equivalente a dizer que Algum B A.
Algum A B = Pelo menos um A B = Existe um A que B.
Algum A no B no significa o mesmo que Algum B no A.
Representao das Proposies Categricas
1. Representao grfica de Todo A B
Lembremos que Todo A B significa em termos de conjunto que todo elemento de A tambm
elemento de B, ou seja, A est contido em B. Portanto, teremos duas representaes possveis:

O conjunto A dentro do conjunto B O conjunto A igual ao conjunto B






Em ambas as representaes acima, observe que A est contido em B; da, as duas representaes
so vlidas para a proposio Todo A B.
A
B
A = B

a b
Raciocnio Lgico Simplificado, vol. I
Srgio Carvalho e Weber Campos
2010, Elsevier Editora Ltda.
Todos os direitos reservados.

Quando Todo A B verdadeira, os valores lgicos das outras proposies categricas sero os
seguintes:
Nenhum A B necessariamente falsa (pois falsa nas duas representaes).
Algum A B necessariamente verdadeira (pois verdadeira nas duas representaes).
Algum A no B necessariamente falsa (pois falsa nas duas representaes).

2. Representao grfica de Nenhum A B
Lembremos que Nenhum A B significa em termos de conjunto que A e B no tm elementos em
comum. Portanto, haver somente uma representao:

No h interseco entre A e B





Quando Nenhum A B verdadeira, os valores lgicos das outras proposies categricas sero
os seguintes:
Todo A B necessariamente falsa (pois falsa no desenho acima).
Algum A B necessariamente falsa (pois falsa no desenho acima).
Algum A no B necessariamente verdadeira (pois verdadeira no desenho acima).

3. Representao grfica de Algum A B
Lembremos que Algum A B significa em termos de conjunto que o conjunto A tem pelo menos
um elemento em comum com o conjunto B, ou seja, h interseco entre os crculos A e B. Portanto,
teremos quatro representaes possveis:











A B
A
B
B
A
A

B

A = B

a
b
Todos os elementos de A esto em B.
c Todos os elementos de B esto em A.

d O conjunto A igual ao conjunto B

a
Os dois conjuntos possuem uma parte
dos elementos em comum.

Raciocnio Lgico Simplificado, vol. I
Srgio Carvalho e Weber Campos
2010, Elsevier Editora Ltda.
Todos os direitos reservados.



Em todas as quatro representaes acima, observe que os crculos A e B possuem interseco; da,
todas as quatro representaes so vlidas para a proposio Algum A B.
Quando Algum A B verdadeira, os valores lgicos das outras proposies categricas sero os
seguintes:
Nenhum A B necessariamente falsa (pois falsa nas quatro representaes).
Todo A B indeterminada, pois pode ser verdadeira (em b e d) e pode ser falsa (em a e c).
Algum A no B indeterminada, pois pode ser verdadeira (em a e c) e pode ser falsa (em b e d).


4. Representao grfica de Algum A no B
Lembremos que Algum A no B significa em termos de conjunto que o conjunto A tem pelo
menos um elemento que no pertence ao conjunto B. Isso pode ser obtido em at trs representaes
possveis:














Em todas as trs representaes acima observe que o conjunto A tem pelo menos um elemento
que no pertence ao conjunto B; da, todas as trs representaes so vlidas para a proposio
Algum A no B.
Quando Algum A no B verdadeira, os valores lgicos das outras proposies categricas
sero os seguintes:
Todo A B necessariamente falsa (pois falsa nas trs representaes).
Nenhum A B indeterminada, pois pode ser verdadeira (em c) e pode ser falsa (em a e b).
Algum A B indeterminada, pois pode ser verdadeira (em a e b) e pode ser falsa (em c).

A
B A B
A
B
a
Os dois conjuntos possuem uma parte
dos elementos em comum.

b
Todos os elementos de B esto em A.

c
No h elementos em comum entre os dois conjuntos.
Raciocnio Lgico Simplificado, vol. I
Srgio Carvalho e Weber Campos
2010, Elsevier Editora Ltda.
Todos os direitos reservados.


ARGUMENTO
Trata-se o argumento de uma construo lgica, formada por proposies iniciais (chamadas de
premissas), que redundam em uma concluso.
Dizemos que um argumento vlido (ou ainda legtimo ou bem construdo), quando a sua
concluso uma consequncia obrigatria do seu conjunto de premissas.
Dizemos que um argumento invlido tambm denominado ilegtimo, mal construdo,
falacioso ou sofisma quando a verdade das premissas no suficiente para garantir a verdade da
concluso.

TABELA COMPARATIVA DOS MTODOS DE VERIFICAO DA VALIDADE DE UM
ARGUMENTO
Se aplicarmos dois mtodos diferentes num mesmo argumento, eles certamente conduziro a um
mesmo resultado. Contudo, muitas vezes haver um mtodo mais adequado para testar a validade de um
determinado argumento.
Na sequncia, um quadro que resume os quatro mtodos, e quando se deve lanar mo de um ou
de outro, em cada caso.
Deve ser usado quando... O argumento vlido
quando...

1 Mtodo
Diagramas
Lgicos

pudermos representar as premissas por meio de
diagramas lgicos.



verificarmos que a
concluso uma
consequncia obrigatria
das premissas, ou seja, a
concluso
necessariamente verdade.

2 Mtodo
Premissas
Verdadeiras


houver uma premissa
que seja uma proposio simples ou
que esteja na forma de uma conjuno.


o valor encontrado para a
concluso
necessariamente verdade.

3 Mtodo
Tabela-
Verdade

em qualquer caso, mas preferencialmente quando o
argumento tiver no mximo trs proposies simples.
em todas as linhas da
tabela em que os valores
lgicos das premissas tm
valor V, os valores lgicos
da coluna da concluso
forem tambm V.
4 Mtodo
Concluso
Falsa
for invivel a aplicao dos mtodos anteriores.
Tambm necessrio que a concluso seja uma
proposio simples ou
uma disjuno ou uma condicional.
no for possvel a
existncia simultnea de
concluso falsa e
premissas verdadeiras.




Raciocnio Lgico Simplificado, vol. I
Srgio Carvalho e Weber Campos
2010, Elsevier Editora Ltda.
Todos os direitos reservados.

IMPLICAES LGICAS
A maneira de resolver a questo depender da estrutura lgica das premissas, assim, dividiremos
as questes de implicaes lgicas em dois tipos:
1) Implicaes Lgicas do tipo 1: quando houver, nas premissas trazidas no enunciado da questo, uma
proposio simples ou uma conjuno. Assim, teremos uma sentena apropriada para ser o ponto de
partida da resoluo. E por que isso? Porque tais tipos de sentena s tm uma forma de ser verdadeira!
2) Implicaes Lgicas do tipo 2: simplesmente, aquelas que no so do tipo 1, ou seja, que no aparece,
entre as premissas, uma proposio simples ou uma conjuno.

RESOLUO DE IMPLICAO LGICA DO TIPO 1:
Esse tipo de implicao lgica ser resolvido facilmente atravs do segundo mtodo (Premissas
Verdadeiras) de verificao da validade do argumento.
Baseando-se no segundo mtodo do Argumento, realizaremos os seguintes passos:
1 passo: considerar as premissas verdadeiras, e com o conhecimento das tabelas-verdade dos conectivos,
descobrir os valores lgicos das proposies simples presentes nas premissas.
2 passo: Substituir os valores lgicos das proposies simples, encontrados no passo anterior, em cada
uma das opes de resposta. Aquela que for necessariamente verdadeira a opo correta da
questo.

RESOLUO DE IMPLICAO LGICA DO TIPO 2:
Quando as opes de resposta forem proposies que no so condicionais, disjuno ou
bicondicional, resolva da seguinte forma:
Nas solues das questes de Implicao Lgica feitas anteriormente, o 1 passo consistia em
somente considerar as premissas como verdadeiras. Acrescentaremos a este 1 passo, os seguintes
procedimentos:
Atribuiremos um valor lgico (V ou F) para uma das proposies simples.
Finalmente, substituiremos este valor lgico (escolhido acima) nas premissas e verificaremos,
mediante a aplicao das tabelas-verdade dos conectivos, se est correto, ou seja, se no vai se
observar alguma contradio entre os resultados obtidos.
Quando pelo menos uma das opes de resposta trouxer uma proposio que condicional,
disjuno ou bicondicional, resolva atravs dos mtodos:
- Mtodo da Tabela-Verdade. Usar de preferncia se houver apenas duas proposies simples no
conjunto das premissas. (N de linhas da tabela-verdade do argumento = 2
N de proposies simples
)

- Mtodo do Encadeamento Lgico. (Deve-se transformar as premissas em condicionais e depois
montar o domin).

- Mtodo da Concluso Falsa (Atribuir o valor lgico falso a uma das opes de resposta, e fazer as
premissas verdadeiras. Sendo possvel essa situao, ento a alternativa testada no resposta).

CONJUNTOS
1) Relaes de Pertinncia
Relacionam elemento com conjunto. E a indicao de que o elemento pertence ou no pertence a
um conjunto feita pelos smbolos: e (pertence) e e (no pertence).
Raciocnio Lgico Simplificado, vol. I
Srgio Carvalho e Weber Campos
2010, Elsevier Editora Ltda.
Todos os direitos reservados.


2) Relaes de Incluso
Relacionam um conjunto com outro conjunto. Temos a seguinte simbologia de incluso: c (est
contido), . (no est contido), (contm) e (no contm).

3) Conjunto das Partes de um Conjunto
O nmero de partes (subconjuntos) de um conjunto A dado por 2
n
, em que n o nmero de
elementos de A.

5) Operaes com Conjuntos
Considerando os conjuntos A, B e o conjunto-universo U, daremos a definio de cada operao
com conjuntos:
a) Unio ()
A unio entre dois conjuntos, AB, o conjunto formado pela reunio dos elementos de A e de B.
Simbolicamente: AB = {x | xeA ou xeB}.






b) Interseo ()
A interseco entre dois conjuntos, AB, o conjunto formado pelos elementos que so comuns
aos dois conjuntos. Simbolicamente: AB = {x | xeA e xeB}.


c) Diferena ()
A diferena entre dois conjuntos, BA, o conjunto formado pelos elementos de B que no
pertencem a A. Simbolicamente: BA = {x | xeB e xeA}.

d) Complementar ( )
O complementar do conjunto A, simbolizado por , o conjunto formado pelos elementos do
conjunto universo (U) que no pertencem a A. Simbolicamente: ={xeU|xeA}.

A B
U
Raciocnio Lgico Simplificado, vol. I
Srgio Carvalho e Weber Campos
2010, Elsevier Editora Ltda.
Todos os direitos reservados.







e) Diferena simtrica entre dois conjuntos (A)
A diferena simtrica entre dois conjuntos definida por: AAB = (AB)(AB).


f) Frmula da Unio
Existe uma frmula que relaciona o nmero de elementos da unio, da interseco e dos conjuntos
individuais. A frmula dada por:
n(AB) = n(A) + n(B) n(AB)
Se forem trs conjuntos a frmula ser:
n(ABC)=n(A)+n(B)+n(C)n(AB)n(AC)n(BC)+n(ABC)


QUANTIFICADORES

O Quantificador Universal
O quantificador universal indicado pelo smbolo que se l: para todo, para cada, qualquer que
seja.

O Quantificador Existencial
O quantificador existencial indicado pelo smbolo - que se l: existe pelo menos um, existe um,
existe, para algum.

H outro quantificador que deriva do quantificador existencial, ele chamado de quantificador
existencial de unicidade, simbolizado por -| que se l: existe um nico, existe um e um s.

Negao do Quantificador Universal
- A negao de (x)(P(x)) a sentena (-x)(P(x)). Onde P(x) representa a sentena aberta.

Negao do Quantificador Existencial
- A negao de (-x)(P(x)) a sentena (x)(P(x)). Onde P(x) representa a sentena aberta.

A
U

Raciocnio Lgico Simplificado, vol. I
Srgio Carvalho e Weber Campos
2010, Elsevier Editora Ltda.
Todos os direitos reservados.

Tambm possvel fazer a negao do quantificador existencial de outra forma: a negao de
Existe pode ser No existe, que simbolizamos por ~-. Por esta forma de negar o quantificador existencial,
no preciso negar a sentena aberta. Exemplos:

1) proposio: (-x)(x e R)(x
2
> x)
negao: (~-x)(x e R)(x
2
> x)

2) proposio: (-x)(x e Q)(1/x um nmero natural)
negao: (~-x)(x e Q)(1/x um nmero natural)

Representao Simblica das Proposies Categricas
Proposio Categrica Representao Simblica
Todo A B (x)(A(x) B(x))
Algum A B (-x)(A(x) e B(x))
Nenhum A B (~-x)(A(x) e B(x))
Algum A no B (-x)(A(x) e ~B(x))