Raciocnio Lgico Simplificado, vol.

I
Srgio Carvalho e Weber Campos

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 ()
Ou exclusivo ()
Se... ento ()
se e somente se ()

Tabela-Verdade dos Conectivos Lgicos:

p q peq p ou q pq pq pq

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

pq p e q so, ambos, verdade um dos dois for falso, ou ambos

pq um dos dois for verdade, ou ambos p e q, ambos, so falsos

pq p e q tiverem valores lgicos diferentes p e q tiverem valores lgicos iguais

pq nos demais casos p verdade e q falso

pq 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.

2010, Elsevier Editora Ltda.

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

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...).

2010, Elsevier Editora Ltda.

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

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:

2010, Elsevier Editora Ltda.

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

1) p ou p = p (Lei idempotente)
2) pep=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) peV=p (na conjuno, o V elemento neutro!)
8) peF=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:

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

B
A=B
A

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

2010, Elsevier Editora Ltda.

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

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:

a No h interseco entre A e B

A 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:

Os dois conjuntos possuem uma parte

a b Todos os elementos de A esto em B.
dos elementos em comum.

B A
A

c Todos os elementos de B esto em A. d O conjunto A igual ao conjunto B

A=B
A
B

2010, Elsevier Editora Ltda.

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

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:

Os dois conjuntos possuem uma parte Todos os elementos de B esto em A.

a b
dos elementos em comum.

B A B
A

c No h elementos em comum entre os dois conjuntos.

B
A

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).

2010, Elsevier Editora Ltda.

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

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...

verificarmos que a
1 Mtodo pudermos representar as premissas por meio de concluso uma
Diagramas diagramas lgicos. consequncia obrigatria
Lgicos das premissas, ou seja, a
concluso
necessariamente verdade.

2 Mtodo houver uma premissa o valor encontrado para a

Premissas que seja uma proposio simples ou concluso
Verdadeiras que esteja na forma de uma conjuno. necessariamente verdade.

em todas as linhas da
3 Mtodo em qualquer caso, mas preferencialmente quando o tabela em que os valores
Tabela- argumento tiver no mximo trs proposies simples. lgicos das premissas tm
Verdade valor V, os valores lgicos
da coluna da concluso
forem tambm V.

4 Mtodo for invivel a aplicao dos mtodos anteriores. no for possvel a

Concluso Tambm necessrio que a concluso seja uma existncia simultnea de
Falsa proposio simples ou concluso falsa e
uma disjuno ou uma condicional. premissas verdadeiras.

2010, Elsevier Editora Ltda.

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

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 = 2N 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: (pertence) e (no pertence).

2010, Elsevier Editora Ltda.

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

2) Relaes de Incluso
Relacionam um conjunto com outro conjunto. Temos a seguinte simbologia de incluso: (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 2n, 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 | xA ou xB}.

U
A B

b) Interseo ()

A interseco entre dois conjuntos, AB, o conjunto formado pelos elementos que so comuns
aos dois conjuntos. Simbolicamente: AB = {x | xA e xB}.

c) Diferena ()

A diferena entre dois conjuntos, BA, o conjunto formado pelos elementos de B que no
pertencem a A. Simbolicamente: BA = {x | xB e xA}.

d) Complementar ( )

O complementar do conjunto A, simbolizado por , o conjunto formado pelos elementos do

conjunto universo (U) que no pertencem a A. Simbolicamente: ={xU|xA}.

2010, Elsevier Editora Ltda.

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

U
A

e) Diferena simtrica entre dois conjuntos ()

A diferena simtrica entre dois conjuntos definida por: AB = (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.

2010, Elsevier Editora Ltda.

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

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 R)(x2 x)

negao: (~x)(x R)(x2 x)

2) proposio: (x)(x Q)(1/x um nmero natural)

negao: (~x)(x 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))

2010, Elsevier Editora Ltda.

Todos os direitos reservados.