Você está na página 1de 104

Unidade IV

LGICA

Prof. Joo Giardulli


Objetivo

Estudar tcnicas adicionais para


aplicabilidade em casos nos quais a
Lgica proposicional no se aplica.
O estudo da teoria dos conjuntos
apresentado, como ferramenta auxiliar
para o entendimento da lgica dos
predicados.
Lgica dos predicados

Sentenas abertas
So aquelas para as quais no se pode
atribuir valor lgico verdadeiro ou falso.
Exemplo:
x menor que 8
Ele foi jogador do Palmeiras.
Lgica dos predicados

Sentenas fechadas
So aquelas para as quais se pode
atribuir valor lgico verdadeiro ou falso.
Exemplo:
9 menor que 8 (F)
Ademir Da Guia foi jogador do Palmeiras.
(V)
Lgica dos predicados

Reviso de teoria dos conjuntos


Definio de conjunto: uma coleo de
zero ou mais objetos distintos, chamados
elementos do conjunto, os quais no
possuem qualquer ordem associada.
Em outras palavras, uma coleo no
ordenada de objetos.
Segundo Angel Martinez e Akio Barbosa
Lgica dos predicados

Reviso de teoria dos conjuntos


Definio de conjunto: Outros autores
afirmam que conjuntos no tem uma
definio matemtica genrica. Podemos
definir um conjunto especfico a partir do
conhecimento dos elementos que o
compe ficando assim aquele conjunto
especfico bem definido.
Lgica dos predicados

Reviso de teoria dos conjuntos


Em um conjunto, a ordem dos elementos
no importa e cada elemento deve ser
listado apenas uma vez.
Lgica dos predicados

Reviso de teoria dos conjuntos


Denotao por extenso: Os elementos
so listados exaustivamente.
Exemplo:
Vogais = {a,
{a e,
e i,
i oo, u}
Lgica dos predicados

Reviso de teoria dos conjuntos


Denotao por compreenso: Definio
de um conjunto por propriedades
comuns aos seus elementos.
De forma geral, escreve-se:
escreve se:
{x | P(x)}, onde P(x) representa a
propriedade.
Lgica dos predicados

Reviso de teoria dos conjuntos


Denotao por compreenso:
Exemplo:
Pares = {n | n par},
Conjunto de todos os elementos n, tal
que n um nmero par.
Lgica dos predicados

Reviso de teoria dos conjuntos


Enumerao e omisso:
Dgitos: {0,1,2,3,...,9}
Pares: {0,2,4,6,...}
Lgica dos predicados

Reviso de teoria dos conjuntos


Relao de pertinncia
a elemento de um conjunto A
ento podemos escrever:
a A (a pertence ao conjunto A)
Lgica dos predicados

Reviso de teoria dos conjuntos


Relao de pertinncia
a no elemento de um conjunto A
ento podemos escrever:
a A (a no pertence ao conjunto A)
Lgica dos predicados

Reviso de teoria dos conjuntos


Relao de pertinncia Exemplos
Vogais = {a, e, i, o, u},
e Vogais;
m Vogais
Lgica dos predicados

Reviso de teoria dos conjuntos


Relao de pertinncia Exemplos
B = { x | x brasileiro},
Pel B.
Bill Gates B
Lgica dos predicados

Reviso de teoria dos conjuntos


Alguns conjuntos importantes
Conjunto vazio no possui elementos.
Notao: ou { }
Lgica dos predicados

Reviso de teoria dos conjuntos


Alguns conjuntos importantes
N conjunto dos nmeros naturais;
Z conjunto dos nmeros inteiros;
Q conjunto dos nmeros racionais;
I conjunto dos nmeros irracionais;
R conjunto dos nmeros reais;
C conjunto dos nmeros complexos.
Lgica dos predicados

Reviso de teoria dos conjuntos


Relao de incluso:
Se todos os elementos de um conjunto A
so tambm elementos de um conjunto B,
ento dizemos que:
AB (A est contido em B)
ou
BA (B contm A)
Lgica dos predicados

Reviso de teoria dos conjuntos


Relao de incluso:
Se todos os elementos de um conjunto A
so tambm elementos de um conjunto Be e
existe b B tal que b A, ento diz
diz-se
se que:
AB (est contido propriamente em B)
ou
BA (B contm propriamente A)
Lgica dos predicados

Reviso de teoria dos conjuntos


Conjunto Universo:
Definio: o conjunto que contm
todos os conjuntos que esto sendo
considerados, ou seja, define o contexto
de discusso.
A U, qualquer que seja o conjunto A
Lgica dos predicados

Reviso de teoria dos conjuntos


Conjunto Universo:
Definio: o conjunto que contm
todos os conjuntos que esto sendo
considerados, ou seja, define o contexto
de discusso.
A U, qualquer que seja o conjunto A
Lgica dos predicados

Reviso de teoria dos conjuntos


Igualdade de conjuntos:
Definio: Dois conjuntos A e B so
iguais se, e somente se, possuem os
mesmos elementos.
A = B se e somente se A B B A
Lgica dos predicados

Reviso de teoria dos conjuntos


Sentena aberta:
Definio: D-se o nome de sentena
aberta de uma varivel em um conjunto
A, ou apenas sentena aberta em A, a
uma expresso p(x) tal que p(a) falsa (F)
ou verdadeira (V) para todo a A.
Lgica dos predicados

Reviso de teoria dos conjuntos


Sentena aberta:
p(x) uma sentena aberta em A
se e somente se
p(x) torna-se uma proposio (falsa ou
verdadeira) todas as vezes que se
substitui a varivel x por qualquer
elemento a do conjunto A (a A).
Lgica dos predicados

Reviso de teoria dos conjuntos


Sentena aberta: Exemplos
y + 4 = 10;
x divisor de 50;
z no primo;
k mltiplo de 7;
u capital da Argentina.
Lgica dos predicados

Reviso de teoria dos conjuntos


Conjunto-verdade de uma sentena aberta
com uma varivel
D-se o nome de conjunto verdade (Vp)
de uma sentena aberta p(x) em um
conjunto A ao conjunto de todos os
elementos a A tais que p(a) uma
proposio verdadeira (V).
Observao: Vp A
Lgica dos predicados

Reviso de teoria dos conjuntos


Conjunto-verdade de uma sentena aberta
com uma varivel Exemplo:
Vp = {x | x A p(x) V}
Interatividade

Considere N = {0,1,2,3...} o conjunto


universo para as afirmaes abaixo:
I. x + 4 > 7; Vp = {x | x N x > 3}
II. x + 10 < 3; Vp = {x | x N x < -7} =
III x + 2 > 1;
III. Vp = {x | x N x > -1}
1} = N
a) Todas so falsas
b) I e II so verdadeiras
c) I e III so verdadeiras
d) II e III so verdadeiras
e) Todas so verdadeiras
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Negao:
U = N; (conjunto dos nmeros naturais)
X > 12
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Negao:
U=N (conjunto dos nmeros naturais)
~ X > 12 (no verdade que...)
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Negao:
U = N; (conjunto dos nmeros naturais)
~X > 12 (x = 12) ( x < 12) ou (x 12)
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Negao:
Dada uma sentena p(x) aberta em um
conjunto A, e seja o elemento a A, este
satisfaz a sentena aberta ~p(x)
p(x) em A se
a proposio ~p(a) verdadeira.
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Negao:
Portanto, o conjunto-verdade V~p da
sentena aberta p(x) em A o
complemento em relao a A do
conjunto-verdade Vp da sentena aberta
p(x).
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Negao: (em smbolos)
V~p = CAVp = CA; {x A I p(x)}
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Conjuno:
Sejam as seguintes sentenas abertas no
conjunto universo H o conjunto dos
seres humanos:
x carpinteiro
x piloto de avio.
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Conjuno:
x carpinteiro x piloto de avio
Ser verdadeira para todos os indivduos
do conjunto H que satisfazem ao mesmo
tempo as duas condies dadas, e s por
esses indivduos.
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Disjuno:
Sejam as seguintes sentenas abertas no
conjunto universo H o conjunto dos
seres humanos:
x carpinteiro
x piloto de avio.
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Disjuno:
x carpinteiro x piloto de avio
Ser verdadeira para todos os indivduos
do conjunto H que satisfazem pelo
menos uma das duas condies dadas.
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Exemplo:
Sejam as sentenas abertas em Z:
p(x) : x - 3 = 0
q(x) : x2 - 9 = 0
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Exemplo:
Temos:
Vpq = {x Z | x-3 = 0} { x Z | x2 9 = 0}
Vpq = {3} { -3,3} = {-3,3}
Vpq = {x Z | x = -3 x = 3 }
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Condicional:
Dadas duas proposies p(x) e q(x) que
sejam sentenas abertas em um mesmo
conjunto A, se essas duas sentenas
abertas forem unidas pelo conectivo ()
surgir ento uma nova sentena aberta
em A:p(x) q(x), que verdadeira para
todo elemento a A tal que a condicional
p(a) q(a) verdadeira.
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Condicional - Em smbolos:
Vpq = V~p U Vq = CA Vp U Vq
Ou seja:
Vpq = CA { x A | p(x) } U { x A | q (x)}
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Bicondicional:
Dadas duas proposies p(x) e q(x) que
sejam sentenas abertas em um mesmo
conjunto A, se essas duas sentenas
abertas forem unidas pelo conectivo ()
surgir ento uma nova sentena aberta
em A:p(x)q(x), que verdadeira para
todo elemento a A, tal que, a
bicondicional p(a) q(a) verdadeira.
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Bicondicional Em smbolos:
p(x) q(x)
(p(x) q(x)) ( q(x) p(x))
(~p(x) q(x)) ~( q(x) p(x))
Lgica dos predicados

Operaes lgicas sobre sentenas abertas


Bicondicional Em smbolos:
Vpq = Vpq Vqp =
= (V~p U Vq) (V~q U Vp) =
= (CAVp U Vq) (CAVq U Vp)
Lgica dos predicados

Propriedades das sentenas abertas


As propriedades das sentenas abertas tem o
mesmo comportamento das proposies
normais.
Interatividade

Dadas as sentenas abertas em N:


p(x): x < 13,
q(x): x > 9
Escreva o conjunto verdade Vpq
a) {x N |x > 9}
b) {x N |x < 13}
c) {x N |x 9}
d) {x N |x 13}
{ N ||x 9}
e)) {x
Lgica dos predicados

Quantificador universal:
Seja p(x) sentena aberta em A (A ),
Vp o conjunto-verdade de p(x).
Em smbolos: Vp = {x | x A p(x)}.
Lgica dos predicados

Quantificador universal:
Quando Vp = A, isto , todos os elementos
do conjunto A satisfazem a sentena aberta
p(x), pode-se escrever de alguma destas
maneiras a seguir:
1. Para todo elemento x em A, p(x)
verdadeira.
Lgica dos predicados

Quantificador universal:
Quando Vp = A, isto , todos os elementos
do conjunto A satisfazem a sentena aberta
p(x), pode-se escrever de alguma destas
maneiras a seguir:
1. Para todo elemento x em A, p(x)
verdadeira.
2. Qualquer que seja o elemento x de A,
p(x) verdadeira.
Lgica dos predicados

Quantificador universal:
Em smbolos: x A, p(x)
Lgica dos predicados

Quantificador universal:
Em smbolos: x A, p(x)
x, p(x)
Vale a equivalncia:( x A) (p(x)) Vp = A
Lgica dos predicados

Quantificador universal - Exemplo:


Seja o universo finito A = {2, 4, 6} e
Seja p(x) a sentena aberta x par, tem-
se:
( x A) (x par) (2 par 4 par 6
par)
Qualquer que seja o elemento x
pertencente a A, ele ser par.
Lgica dos predicados

Quantificador universal - Exemplo:


( x) (x mortal) L-se:
Qualquer que seja x, x mortal;
uma proposio verdadeira no universo
A dos animais
animais.
Lgica dos predicados

Quantificador universal - Exemplo:


( x) (3x > x): Qualquer que seja x, 3x >
x
O triplo de um nmero sempre maior
que esse nmero
nmero
Verdadeiro quando x N
Falso quando x Z
Lgica dos predicados

Quantificador existencial:
Dada uma sentena aberta p(x) em um
conjunto no vazio A (A )e seja Vp o
seu conjunto verdade:
Vp = {x I x A p(x)}
Lgica dos predicados

Quantificador existencial:
Quando Vp, no vazio (Vp ), ento pelo
menos um elemento do conjunto A satisfaz
a sentena aberta p(x), da pode-se dizer
que:
1. Existe pelo menos um x A tal que p(x)
verdadeira;
2. Para algum x A, p(x) verdadeira
Lgica dos predicados

Quantificador existencial:
Em smbolos: x A, p(x)
Simplificadamente, por exemplo: x, p(x)
Vale a equivalncia:
( x A)(p(x)) Vp
Lgica dos predicados

Quantificador existencial:
Em um universo finito, o quantificador
existencial equivale a disjunes
sucessivas.
Lgica dos predicados

Quantificador existencial - Exemplo:


Seja o conjunto universo finito A = {3, 4,
5};
Sendo p(x) a sentena aberta x par,
Temos:
( x A) (p(x)) = (3 par 4 par 5
par)
Lgica dos predicados

Quantificador da unicidade
Seja uma sentena aberta p(x) em um
conjunto no vazio A (A )e seja Vp o
seu conjunto-verdade composto por
apenas um elemento, e somente um
elemento.
Usa-se a seguinte simbologia:
!ou |, isto , existe um e somente um
Lgica dos predicados

Quantificador de unicidade Exemplo:


Seja a sentena: x - 3 = 0, em que o
conjunto universo o dos nmeros
naturais N
( !x N)(x 3 = 0)
Ou seja, existe um e somente um x em N
tal que x 3 = 0 seja verificada.
Lgica dos predicados

Negao de um Quantificador:
~ (Qualquer x Existe)
~ (No existe x Existe)
Lgica dos predicados

Negao de um Quantificador - Exemplos:


Todos os carros so bonitos;
Nem todos os carros so bonitos.
Lgica dos predicados

Negao de um Quantificador - Exemplos:


Pelo menos um aluno tirou nota dez em
lgica.
Nenhum alunos tirou dez em lgica.
Interatividade

Quais as formas corretas da negao da


proposio: Todo o poltico quer poder.
I. Nenhum poltico quer poder.
II. Algum poltico no quer poder.
III Existe pelo menos um poltico que no
III.
quer poder.
a) Todas esto corretas
b) I e II esto corretas
c)) I e III esto corretas
d) II e III esto corretas
e) Todas esto erradas
Silogismos categricos

Proposies Categricas:
Seja o seguinte argumento:
1. Todos os bandidos so pessoas de mau
carter. (P1)
2 Alguns polticos so bandidos
2. bandidos. (P2)
3. Logo, alguns polticos so pessoas de
mau carter. (Q)
Silogismos categricos

Proposies Categricas:
Seja o seguinte argumento:
1. Todos os bandidos so pessoas de mau
carter. (P1)
2 Alguns polticos so bandidos.
2. bandidos (P2)
3. Logo, alguns polticos so pessoas de
mau carter. (Q)
Silogismos categricos

Proposies Categricas:
A relao que existe entre as
proposies simples do argumento
decorre da estrutura interna das
proposies, particularmente, em razo
da presena dos quantificadores todos
e alguns.
Silogismos categricos

Proposies Categricas - Estrutura:


Quantificador + termo sujeito(S) + verbo
ser + termo predicado(P)
Silogismos categricos

Proposies Categricas - Classificao:


Proposio universal afirmativa: Todo S
P.
Exemplo: Todos os polticos so ricos.
Silogismos categricos

Proposies Categricas - Classificao:


Proposio universal negativa: Nenhum
S P.
Exemplo: Nenhum poltico rico
Silogismos categricos

Proposies Categricas - Classificao:


Proposio particular afirmativa: Algum
S P.
Exemplo: Alguns polticos so ricos
Silogismos categricos

Proposies Categricas - Classificao:


Proposio particular negativa: Algum S
no P.
Exemplo: Alguns polticos no so
ricos .
ricos.
Silogismos categricos

Proposies Categricas Verbo ser:


Silogismos categricos

Proposies Categricas Verbo ser:


Alguns rpteis vivem na gua
Silogismos categricos

Proposies Categricas Verbo ser:


Alguns rpteis vivem na gua
X
Alguns rpteis so seres que vivem na
gua .
gua
Silogismos categricos

Proposies Categricas:
O quantificador algum apresenta o
sentido de pelo menos um. Esse
sentido se mantm quando se emprega o
plural: alguns.
Ou seja, considera-se, por conveno,
que algum e alguns tm o mesmo
significado.
Silogismos categricos

Diagramas de Euler:
Todos os polticos so ricos.
Silogismos categricos

Diagramas de Euler:
Todos os polticos so ricos.
Silogismos categricos

Diagramas de Euler:
Nenhum poltico rico.
Silogismos categricos

Diagramas de Euler:
Alguns polticos so ricos.
Silogismos categricos

Diagramas de Euler:
Alguns polticos so ricos.
Silogismos categricos

Diagramas de Euler:
Silogismos categricos

Diagramas de Euler:
Admitindo-se a existncia de polticos
(hiptese existencial)
Todos os polticos so ricos (verdadeira)
Alguns polticos so ricos (verdadeira)
Silogismos categricos

Diagramas de Euler:
Se a proposio todo S P
verdadeira,
Ento
A proposio algum
algum S P
P tambm .
Silogismos categricos

Diagramas de Euler:
Alguns polticos no so ricos.
Silogismos categricos

Diagramas de Euler:
Admitindo-se que existem polticos
(hiptese existencial)
Nenhum poltico rico. (verdadeira)
Alguns polticos no so ricos.
(verdadeira)
Silogismos categricos

Diagramas de Euler:
Se a proposio Nenhum S P
verdadeira,
Ento
A proposio Algum
Algum S no P
P
tambm .
Silogismos categricos

Proposies contraditrias:
Negao de Todo S P
a) Nem todo S P.
b) Existe pelo menos um S que no P.
c) Algum S no P.
Silogismos categricos

Proposies contraditrias:
Todos os polticos so ricos
Alguns polticos no so ricos.
Silogismos categricos

Proposies contraditrias:
Negao de Nenhum S P
a) No verdade que nenhum S P.
b) Existe pelo menos um S que P
c) Algum S P.
Silogismos categricos

Proposies contraditrias:
Nenhum poltico rico
Alguns polticos so ricos.
Silogismos categricos

Proposies contraditrias:
Negao de Algum S P
a) No verdade que algum S P.
b) No existe nenhum S que seja P.
c) Nenhum S P.
Silogismos categricos

Proposies contraditrias:
Alguns polticos so ricos
Nenhum poltico rico
Silogismos categricos

Proposies contraditrias:
Negao de Algum S no P
a) No verdade que algum S no P.
b) Todo S P
c) Nenhum S no P.
Silogismos categricos

Proposies contraditrias:
Alguns polticos no so ricos
Todos os polticos so ricos.
Silogismos categricos

Proposies contrrias:
Todos os polticos so ricos
Nenhum poltico rico.
No so contraditrias. So contrrias
Silogismos categricos

Proposies subcontrrias:
Alguns polticos so ricos
Alguns polticos no so ricos.
No so contraditrias. So
subcontrrias
Silogismos categricos

Silogismo:
Argumento com duas premissas
Silogismo Categrico:
Duas premissas (proposies
categricas)
Silogismos categricos

Exemplo:
Todos os mamferos voam.
Todos os gatos so mamferos.
Logo, Todos os gatos voam.
Silogismos categricos

Exemplo no diagrama de Euler:


Interatividade

Qual a negao da proposio universal


afirmativa: Todo automvel econmico
I. Nenhum automvel econmico.
II. Algum automvel econmico.
III Existe pelo menos um automvel que no
III.
econmico.
a) Todas esto corretas
b) Apenas I est correta
c)) Apenas
p II est correta
d) Apenas III est correta
e) Todas esto erradas
AT A PRXIMA!