Anda di halaman 1dari 11

Raciocnio Lgico Simplificado Srgio Carvalho e Weber Campos

1

PRINCIPAIS CONCEITOS, REGRAS E FRMULAS DO
LIVRO RACIOCNIO LGICO SIMPLIFICADO (VOLUME 1)

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



Raciocnio Lgico Simplificado Srgio Carvalho e Weber Campos
2

- Formas equivalentes da condicional p q :
1) Se p, q. 5) p implica q.
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)

- Formas 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 Srgio Carvalho e Weber Campos
3

-
N de Linhas da Tabela-Verdade de uma proposio composta = 2
N de prop. 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

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
Raciocnio Lgico Simplificado Srgio Carvalho e Weber Campos
4

REGRAS DE SIMPLIFICAO DE UMA PROPOSIO COMPOSTA:
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 Srgio Carvalho e Weber Campos
5

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 Srgio Carvalho e Weber Campos
6

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 Srgio Carvalho e Weber Campos
7

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 conseqncia 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 seqncia, 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
conseqncia
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 Srgio Carvalho e Weber Campos
8

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





Raciocnio Lgico Simplificado Srgio Carvalho e Weber Campos
9

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

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 Srgio Carvalho e Weber Campos
10







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.

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:

A
U


Raciocnio Lgico Simplificado Srgio Carvalho e Weber Campos
11

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