Escolar Documentos
Profissional Documentos
Cultura Documentos
Resumo Principais
Resumo Principais
I
Srgio Carvalho e Weber Campos
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
peq
p ou q
pq
pq
pq
V
V
F
F
V
F
V
F
V
F
F
F
V
V
V
F
F
V
V
F
V
F
V
V
V
F
F
V
Quadro dos conectivos com as condies em que o valor lgico verdade e em que falso:
Estrutura lgica
verdade quando
falso quando
pq
pq
p e q, ambos, so falsos
pq
pq
p verdade e q falso
pq
Equivalentes da condicional p q :
1) Se p, q.
5) p implica q.
2) q, se p.
3) Quando p, q.
4) Todo p q.
~p
F
V
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
p ou p = p (Lei idempotente)
pep=p
(Lei idempotente)
p ou ~p = V (tautologia!)
p e ~p = F (contradio!)
p ou V = V (na disjuno, o V quem manda!)
p ou F = p (na disjuno, o F elemento neutro!)
peV=p
(na conjuno, o V elemento neutro!)
peF=F
(na conjuno, o F quem manda!)
p p = V (tautologia!)
p ~p = F (contradio!)
p ou (p e q) = p (Lei de Absoro)
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
Algum
Nenhum
Todo
Algum... no
Negao da proposio
Nenhum
Algum
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:
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.
Quando Todo A B verdadeira, os valores lgicos das outras proposies categricas sero os
seguintes:
Nenhum A B
Algum A B
Algum A no B
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
Algum A B
Algum A no B
B
B
A=B
B
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
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).
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
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).
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.
1 Mtodo
Diagramas
Lgicos
2 Mtodo
Premissas
Verdadeiras
3 Mtodo
TabelaVerdade
4 Mtodo
Concluso
Falsa
O argumento vlido
quando...
verificarmos que a
concluso uma
consequncia obrigatria
das premissas, ou seja, a
concluso
necessariamente verdade.
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.
no for possvel a
existncia simultnea de
concluso falsa e
premissas verdadeiras.
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.
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.
2) Relaes de Incluso
Relacionam um conjunto com outro conjunto. Temos a seguinte simbologia de incluso: (est
U
A
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.
U
A
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
Representao Simblica
(x)(A(x) B(x))
(x)(A(x) e B(x))
(~x)(A(x) e B(x))
(x)(A(x) e ~B(x))