Escolar Documentos
Profissional Documentos
Cultura Documentos
Wandes Melo
Introduo lgica.
Lgica proposicional
Tipos de proposies
Conectivos lgicos
Tabela-verdade
Operaes lgicas
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
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, ...)
Proposio
Verdadeiro
Falso
Negao
Q
Q = JooQ =Todos
mdico
os estudantes so espertos
~Q =no
Nem todos
os estudantes so espertos
~Q = Joo
mdico
Verdadeiro
~Q
Falso
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
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
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.
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