Vous êtes sur la page 1sur 6

LGICA PROPOSICIONAL

Sentena e Proposio
Trata-se, to somente, de uma sentena algo que
ser declarado por meio de palavras ou de smbolos
e cujo contedo poder considerado verdadeiro ou
falso. Vamos a alguns exemplos de sentena:
Pedro ganhou na loteria.

Carlos no comprou uma Ferrari.

Que horas voc chegou ao trabalho?

Tome um caf.

Ento, se eu afirmar a Terra maior que a Lua,


estarei diante de uma proposio, cujo valor lgico
verdadeiro.
Da, ficou claro que quando falarmos em valor lgico,
estaremos nos referindo a um dos dois possveis
juzos que atribuiremos a uma proposio:
verdadeiro (V) ou falso (F).

E se algum disser: Feliz ano novo!, ser que isso


uma proposio verdadeira ou falsa? Nenhuma, pois
no se trata de uma sentena para a qual se possa
atribuir um valor lgico.
Conclumos, pois, que...
Sentenas exclamativas: Caramba! ;
Feliz aniversrio!
Sentenas interrogativas: como o seu
nome? ; o jogo foi de quanto?
Sentenas imperativas: Estude mais. ;
Leia aquele livro.
Sentena aberta: A expresso X + Y
positiva
... no sero estudadas neste curso. Somente aquelas
primeiras sentenas declarativas que podem ser
imediatamente reconhecidas como verdadeiras ou
falsas.
Geralmente representamos as proposies pelas letras
do alfabeto.
p = Vilhena uma cidade bonita

q = O Brasil fica na Amrica do Sul


r = A Receita Federal pertence ao Poder
Judicirio

Cuidado porque uma pergunta, um questionamento,


no proposio!

As preposies podem ser verdadeiras ou falsas.


Assim, cada preposies recebero atributos, valores,
quais sejam: verdades ou mentiras. No se preocupe
tanto com o contedo da proposio. Quem nos dir se
a proposio verdadeira ou falsa o enunciado do
exerccio. Ao resolver exerccios voc ver que, a
princpio, consideramos todas as proposies
fornecidas como sendo verdadeiras, a menos que o
exerccio diga o contrrio.
Princpio do Terceiro Excludo
Toda proposio ter somente dois valores verdades,
isto , uma preposio ser ou falsa ou verdadeira, no
podendo ter outro valor verdade.

Princpio da No-contradio
Uma proposio ou falsa ou verdadeira, no
podendo ter os dois valores simultaneamente. Se isso
ocorrer temos uma contradio.
Ex.
Hoje, a Dilma presidente do Brasil.
Essa proposio falsa ou verdadeira ? Claro que
verdadeira, porm veja, se fizer essa mesma
declarao para 2015, ela ser falsa ou verdadeira ?
Ela poder ser falsa ou verdadeira, vai depender...
Uma proposio hoje, se for falsa, no pode ser
verdadeira ao mesmo tempo, mas num futuro prximo
pode mudar de valor, mas nunca ter os dois valores
ao mesmo tempo.
Representao das proposio
Val(p) = V
Val(q) = V
Val (r) = F

Se duas (ou mais) proposies vm conectadas entre


si, formando uma s sentena, estaremos diante de
uma proposio composta. Exemplos:
Joo mdico e Pedro dentista.
Maria vai ao cinema ou Paulo vai ao circo.
Ou Lus baiano, ou paulista.
Se chover amanh de manh, ento no irei praia.
Comprarei uma manso se e somente se eu ganhar
na loteria.

Conectivos ou Operadores Lgicos


Posso unir as proposies atravs de (conectivos)
conjunes, interjeies, etc, aparecendo a partir da
uma nova proposio.

e (conjuno) -

( p q)

(p e q) - Ex.: Chove

amanh e eu vou escola


ou (disjuno) - ( p q ) (p ou q) - Ex.: Chove

amanh ou eu vou escola


Disjuno exclusiva (Ou exclusivo) - ( p q ) (ou

p ou q) - Ex.: Ou chove amanh ou eu vou escola


se...ento... (condicional) - ( p q ) (se p ento

q) - Ex.: Se chove amanh, eu vou escola


... se, somente se (bi-condicional) - ( p q ) -

Ex.: Chove amanh se e somente se eu vou escola.


~ no (negao) (~p)

Negao de proposies simples


Representamos a negao de uma proposio simples
p pelo smbolo ~p (leia no-p).Tambm podemos
usar a notao p , que menos usual. Sabemos que o
valor lgico de p e ~p so opostos, isto , se p
uma proposio verdadeira, ~p ser falsa, e viceversa.

Quando temos uma proposio simples (por ex.:


Chove agora, Todos os nordestinos so fortes,
Algum brasileiro mineiro), podemos negar essa
proposio simplesmente inserindo No verdade
que... em seu incio. Veja:
- No verdade que chove agora;

- No verdade que todos os nordestinos so


fortes;
- No verdade que algum brasileiro mineiro

Entretanto, na maioria dos exerccios sero


solicitadas outras formas de negar uma proposio.
Para descobrir a negao, basta voc se perguntar: o
que eu precisaria fazer para provar que quem disse
essa frase est mentindo? Se voc for capaz de
desmenti-lo, voc ser capaz de neg-lo.
Se Joo nos disse que Chove agora, bastaria
confirmar que no est chovendo agora para
desmenti-lo. Portanto, a negao seria
simplesmente No chove agora.

Entretanto, caso Joo nos diga que Todos os


nordestinos so fortes, bastaria encontrarmos um
nico nordestino que no fosse forte para desmenti-lo.
Portanto, a negao desta afirmao pode ser, entre
outras possibilidades:
- Pelo menos um nordestino no forte
- Algum nordestino no forte
- Existe nordestino que no forte

J se Joo nos dissesse que Algum nordestino forte,


basta que um nico nordestino seja realmente forte
para que a frase dele seja verdadeira. Portanto, aqui
mais difcil desmenti-lo, pois precisaramos analisar
todos os nordestinos e mostrar que nenhum deles
forte. Assim, a negao seria, entre outras
possibilidades:
- Nenhum nordestino forte
- No existe nordestino forte
A tabela abaixo resume as principais formas de
negao de proposies simples. Veja que, assim como
voc pode usar as da coluna da direita para negar
frases com as expresses da coluna da esquerda, voc
tambm pode fazer o contrrio.

Tabela Verdade

p q (~p) ( p q ) ( p q ) ( p q ) ( p q ) ( p q )

Ateno: a tabela-verdade desta proposio ter


sempre 2n linhas, onde n o nmero de
proposies simples envolvidas. Como s temos 3
proposies simples (A, B e C), esta tabela ter 23,
ou seja, 8 linhas.

A se e s se B.
Se A ento B e se B ento A.
A somente se B e B somente se A.
A condio suficiente para B e B condio
suficiente para A.
B condio necessria para A e A condio
necessria para B.
Todo A B e todo B A.
Todo A B e reciprocamente.

As seguintes expresses podem se empregar como


equivalentes de "Se p, ento q":
Se A, B. B, se A.
Quando A, B.
A implica B.
A condio suficiente para B.
B condio necessria para A.
A somente se B.
Todo A B.

Exerccios
Determine

valor

Da, a proposio condicional: Se chove, ento faz


frio poder tambm ser dita das seguintes maneiras:
Se chove, faz frio.
Faz frio, se chove.
Quando chove, faz frio.
Chover implica fazer frio.
Chover condio suficiente para fazer frio.
Fazer frio condio necessria para chover.
Chove somente se faz frio.
Toda vez que chove, faz frio.

Determine

valor

Observao: Uma proposio bicondicional "p se e


somente se q" equivale proposio composta: se p
ento q e se q ento p, ou seja, ( p q ) a

mesma coisa que (p q) e (q p)


So tambm equivalentes bicondicional "p se e
somente se q" as seguintes expresses:

verdade
da
sentena
[A (B C )] [~ A (B C )], sabendo que

Val ( A) = V
Val ( B) = F
Val (C ) = V

verdade

A [(~ B C ) (C D )]

Sabendo

da

sentena

Val ( A) = V , Val ( B) = F , Val (C ) = F , Val ( D) = V

que

IMPORTANTE: Saiba que e, ou, ou, ... ou..., se...,


ento..., se e somente se so as formas bsicas dos
conectivos conjuno, disjuno, disjuno exclusiva,
condicional e bicondicional. Entretanto, vrias
questes exploram formas alternativas de se
expressar cada uma dessas proposies compostas.
Veja os casos que considero mais importantes:
- Conectivo mas com idia de conjuno
(e). Ex.: Chove, mas vou escola. Observe que
quem diz esta frase est afirmando que duas
coisas acontecem: 1 = chove, e 2 = vou escola.
No estudo da lgica, isto o mesmo que dizer
Chove e vou escola. Portanto, o mas est
sendo usado para formar uma conjuno.

- Conectivo ou precedido por vrgula,


com idia de ou exclusivo. Ex.: Chove, ou
vou escola. Aqui a pausa criada pela vrgula
nos permite depreender que apenas uma coisa
ocorre: ou chove, ou vou escola. Assim,
temos uma forma alternativa de representar o
ou ..., ou... que estudamos na disjuno
exclusiva.

- Condicional utilizando Quando... ou


Toda vez que.... Exemplos:
1)Quando chove, vou escola.
2) Toda vez que chove vou escola.
Veja que nos dois casos acima temos formas
alternativas de apresentar uma condio
(chove) que leva a uma consequncia (vou
escola). Portanto, estas so formas
alternativas ao clssico se ..., ento ... da
condicional.
- Uso do ...ou..., mas no ambos com idia
de disjuno exclusiva. Ex.: Jogo bola ou
corro, mas no ambos. Repare que a primeira
parte dessa frase uma disjuno comum

(inclusiva), mas a expresso mas no ambos


exclui o caso onde jogo bola V e corro
tambm V. Isto , passamos a ter uma
disjuno exclusiva. Alguns autores entendem
que s temos disjuno exclusiva se a
expresso mas no ambos estiver presente
(ainda que tenhamos ou..., ou ...), mas isso
no pode ser considerado uma verdade
absoluta.
Tautologia
Chamamos de tautologia a uma proposio que
sempre verdadeira. Um declarao que sempre
verdadeira. uma verdade absoluta.
Ex.
Ser ou no ser
p (~ p ) - ser sempre verdade
p (~p)

p (~ p )

b) ~ (~ p ) p
p (~p)

~ (~ p )

~ (~ p ) p

c) ~ (~ (~ p )) (~ p )

d) ~ (~ (~ (~ p ))) (~ p )

e) ~ ( p q ) (~ p ~ q ) - Essa tautologia tem um nome especial que deve ser guardado para provas de
concursos pblicos, qual seja: Tautologia de MORGAN

p q ( p q) ~ ( p q)

f) ~ ( p q ) (~ p ~ q )

g)

( p q ) (~ q ~ p )

~p

(~ p ~ q )

~q

- Essa tautologia, em

especial, chama-se contra-positiva.

~ ( p q ) (~ p ~ q )

- se ela me ama, ento casa comigo equivale a se


ela no casa comigo, ento ela no me ama
- Se Jacson Paranaense, ento Brasileiro
equivale a Se Jacson no brasileiro, ento no
Paranaense

h) ( p q ) (~ p q ) tautologia

p q

pq

~p

(~ p q ) ( p q ) (~ p q )

Obs

pq

p condio suficiente
q condio necessria

pq

Se observar as setas separadamente, observo que o p se condio necessria e suficiente e mesmo valendo
para o q.

Contradio
Uma proposio que sempre falsa ser chamada de
contradio. Ela ser o contrrio de uma tautologia.
Ex.
Est ruim e est bom!

p (~ p)

~p

p (~ p)

Se negar uma tautologia vai gerar uma contradio.

Contingncia
Dependendo do caso, ou melhor, dos valores das
proposies pode ser falso ou verdadeiro.
Chamaremos de contingncia as proposies em que
os valores verdades dependem das proposies que a
compe.
Uma contingncia no nem uma tautologia nem uma
contradio.
So molculas em que os valores lgicos dependem
dos valores das proposies (tomos)

Equivalncia Lgica
Duas molculas so equivalentes se elas possuem as
mesmas tabelas verdade.
A equivalncia representa, sempre, por se, somente
se, ou seja, .
Importante observar que as equivalncias que sero
apresentadas desem ser memorizadas.

a ) ( p q ) (~ p q )

Se chove ento levo o guarda-chuva a mesma coisa


que dizer no chove ou levo o guarda-chuva
Se eu estudo ento eu passo a mesma coisa que
dizer no passo ou estudo
Negao de proposies compostas

b) ( p q ) (~ q ~ p )
a chamada contra-positiva
se ela me ama, ento casa comigo a mesma coisa
que dizer se ela no casa comigo, ento no me ama.
comigo.
se eu estudo, ento passo a mesma coisa que dizer
se no passo, ento no estudo

c) ~ ( p q ) (~ p ~ q )

A negao do ou feita com e. A recproca


verdadeira, ou seja, a negao do e feita com o ou.

d ) ~ ( p q ) (~ p ~ q )

e) ( p q ) (q p )
Vou a praia ou ao cinema a mesma coisa que dizer
vou ao cinema ou praia

f ) ( p q ) (q p )

Dilema
um argumento sempre vlido.

Vous aimerez peut-être aussi