Você está na página 1de 35

Prof.

Wandes Melo

Introduo lgica.

Lgica proposicional
Tipos de proposies

Conectivos lgicos

Tabela-verdade

Operaes lgicas

Um eletricista, um marceneiro e um pedreiro jogam domin


todos os dias. Sabe-se que at agora:
- Raimundo ganhou mais partidas que Daniel.
- Tio ganhou mais partidas que o Raimundo.
- O eletricista no nem o primeiro, nem o ltimo na
disputa geral.
- No foi o marceneiro que ganhou mais partidas.
Analisando as informaes acima, correto afirmar que
(A) Tio marceneiro
(B) Raimundo eletricista
(C) Daniel pedreiro
(D) Raimundo marceneiro
(E) Tio eletricista

1. Laura surfista ou Mrio paisagista. Se Nair


decoradora, Oscar no bailarino. Se Oscar no
bailarino, Mrio no paisagista. Ora, Laura no
surfista e Suzi no desenhista; pode-se, ento,
concluir corretamente que:
a) Laura no surfista e Mrio no paisagista;
b) Laura no surfista e Nair decoradora.
c) Mrio paisagista e Oscar bailarino.
d) Nair no decoradora e Oscar no bailarino.
e) Nair decoradora e Suzi no desenhista.

A Lgica tem, por objeto de estudo, as leis gerais do


pensamento, e as formas de aplicar essas leis
corretamente na investigao da verdade

Aristteles (384-322 a.C.)


Sistematizou e organizou o conhecimento sobre a
Lgica, elevando-o categoria de cincia.
Estabeleceu princpios to gerais e to slidos que
at hoje so considerados vlidos.

Preocupava-se com as formas de raciocnio


que,
a
partir
de
conhecimentos
considerados verdadeiros, permitiam obter
novos conhecimentos.
A partir dos conhecimentos tidos como
verdadeiros, caberia Lgica a formulao
de leis gerais de encadeamentos lgicos
que levariam descoberta de novas
verdades. Essa forma de encadeamento
chamada, em Lgica, de argumento.

Todo o conjunto de palavras ou smbolos


que exprimem um pensamento de sentido
completo.
Uma proposio uma declarao
(afirmativa ou negativa)
Sempre ser possvel atribuir um valor
lgico, ou V ou F, a uma proposio,
conforme ela seja verdadeira ou falsa

Declarativas:

Interrogativas:
VALOR LGICO DE UMA
. O que isso?
PROPOSIO (ATRIBUIR F ou
Exclamativas:
V):
(APENAS NAS SENTENAS
. Caramba! Chegamos!
DECLARATIVAS)
Imperativas:
. Estude agora. Leia aquele livro

Obs: S se pode atribuir valores lgicos as


sentenas declarativas.

Exemplos de proposies:
1. Pedro mdico;
2. Luiza foi ao cinema ontem noite;
3. 5 >8
Obs: As proposies podem ser representadas por
letras minsculas (p, q, r, s, t, ...).
1. p = Pedro mdico
2. q = Luiza foi ao cinema ontem noite;
3. r = 5 > 8

NO EXISTE PROPOSIO
V e F ao mesmo tempo

Proposies SIMPLES:
So as que vm sozinhas, desacompanhadas de outras
proposies.

Exemplos:
Todo homem mortal;
O novo papa argentino;
Proposies COMPOSTAS:
So proposies que vm conectadas entre si, formando uma
s sentena.

Exemplos:
Joo mdico e Pedro dentista;
Maria vai ao cinema ou Paulo vai ao circo;
Ou luiz baiano, ou paulista;
Se chover amanh de manh, ento no irei praia;

CONECTIVOS
(linguagem
idiomtica)

CONECTIVOS
(SIMBOLOS)

ESTRUTURA
LGICA

EXEMPLO

Conjuno: A ^ B

Joo ator e
alagoano

ou

Disjuno: A v B

Irei ao cinema ou
praia.

ou...ou, mas no
ambos

Disjuno
exclusiva: A v B

Ou tiago mdico
ou dentista, mas
no ambos.

se ...ento

Condicional: A B

Se chove, ento
faz frio.

Se e somente se

Bicondicional:
A B

Vivo se e somente
se sou feliz

NO SE ESQUEA:
Para determinarmos se uma proposio
composta verdadeira ou falsa, dependemos
de duas coisas:
1. Do valor lgico das proposies;
(se cabe dizer que falsa ou verdadeira)
1. Do tipo de conectivo que as une;
(e, ou, ...)

uma tabela por


meio
da
qual
relacionam-se
e
analisam-se
os
valores lgicos das
proposies

Proposio
Verdadeiro

Falso

OBSERVAO: Para decorar a tabela verdade, lembrar


sempre do exemplo:
Eu te darei uma bola E uma bicicleta.

No Q tem valor lgico


oposto daquele de Q.

Negao

Q
Q = JooQ =Todos
mdico
os estudantes so espertos
~Q =no
Nem todos
os estudantes so espertos
~Q = Joo
mdico
Verdadeiro

~Q

Falso

P = Nenhum estudante esperto


~P = Algum estudante esperto

Falso

Verdadeiro

A proposio (p ^ q)
Conjuno
verdadeira se e
somente se ambas
p
q
p^q
as proposies
p ee George administrador
Eduardo professor
q so verdadeiras
Verdadeiro
V
Eduardo professor = Q Verdadeiro
George administrador = P
Q^P=?

Verdadeiro

Falso

Falso

Verdadeiro

Falso

Falso

A proposio (p v q)
Disjuno
verdadeira se e
somente se uma das
P
Q
PvQ
proposies
(ouou George administrador
Eduardo professor
ambas)Eduardo
p ou professor
q so= Q Verdadeiro Verdadeiro V
verdadeiras
George administrador = P
QvP=?

Verdadeiro

Falso

Falso

Verdadeiro

Falso

Falso

A proposio (p v q)
Disjuno Exclusiva
verdadeira se e
somente se uma das
P
Q
PvQ
proposies
ou q
Eduardo p
Pernambucano
ou Paraibano
Verdadeiro Verdadeiro
F
so
verdadeiras.
Eduardo
Pernambucano = Q
No quando
Eduardo ambas
Paraibano = P
Verdadeiro
Falso
V
so verdadeiras
QvP=?
Eduardo ou Pernambucano
ou
Paraibano V
Falso
Verdadeiro
Falso

Falso

Se p ento q o valor
lgico falso no caso
em
que
p

verdadeiro e q falso
nos demais casos o
resultado

verdadeiro
A
primeira
proposio
(p)

chamada
de
antecedente
ou
hiptese; a segunda
(q), de conseqente

Condicional
P

PQ

Verdadeiro Verdadeiro

Verdadeiro

Falso

Falso

Verdadeiro

Falso

Falso

Se 4 maior que 2, ento 10 menor que


20
p: 4 maior que 2
q: 10 menor que 20
pq
V V Resultado V

Se o ms de Maio tem 31 dias, ento a


Terra plana
O ms de Maio tem 31 dias: p
A Terra plana: q
pq
V F Resultado F

A
proposio
composta resultante da
operao
da
dupla
implicao
de
uma
proposio em outra s
ser verdadeira se ambas
as
proposies
envolvidas na operao
tiverem o mesmo valor
lgico
(ambas
verdadeiras ou ambas
falsas)

Condicional
P

PQ

Verdadeiro Verdadeiro

Verdadeiro

Falso

Falso

Verdadeiro

Falso

Falso

Roma fica na Europa se e somente se a


neve branca
p: Roma fica na Europa
q: Neve branca
p q Resultado V
Roma fica na Europa se e somente se a
neve azul
p: Roma fica na Europa
q: Neve azul
p q Resultado F

Roma fica na frica se e somente se a


neve branca
p: Roma fica na frica
q: Neve branca
p q Resultado F
Roma fica na frica se e somente se a
neve azul
p: Roma fica na frica
q: Neve azul
p q Resultado V

2. Sejam as proposies:
l. Se Carlos trair a esposa, Larissa ficar magoada.
ll. Se Larissa ficar magoada, Pedro no ir ao jogo.
lll. Se Pedro no for ao jogo, o ingresso no ser
vendido.
lV. Ora, o ingresso foi vendido.
Portanto, pode-se afirmar que:
a) Carlos traiu a esposa, e Pedro no foi ao jogo.
b) Carlos traiu a esposa, e Pedro foi ao jogo.
c) Carlos no traiu a esposa, e Pedro foi ao jogo.
d) Pedro foi ao jogo, e Larissa ficou magoada.

3. Surfo ou estudo. Fumo ou no surfo. Velejo ou


no estudo. Ora, no velejo. Assim,
a) Estudo e fumo.
b) No fumo e surfo.
c) No velejo e no fumo.
d) Estudo e no fumo.
e) Fumo e surfo.

5. Sejam as proposies:
l. Se a prova facil, ento sou servidor pblico.
ll. No sou servidor pblico, logo:
a) A prova facil.
b) A prova mais ou menos fcil.
c) A prova no fcil.
d) Sou servidor e a prova mais ou menos fcil.
6. Sejam as proposies:
l. Robinho come ou dorme.
ll. Se Robinho come ento no joga bola.
lll. Robinho joga bola, logo Robinho:
a) dorme
b) No dorme
c) No dorme e no joga
d) No come