Você está na página 1de 4

LGICA PROPOSICIONAL

PROPOSIO
1) Definio - denomina-se proposio toda sentena declarativa, expressa em
palavras ou smbolos, que exprima um juzo ao qual se possa atribuir, dentro de certo
contexto, somente um de dois valores lgicos possveis: verdadeiro ou falso.
So exemplos de proposies as seguintes sentenas declarativas:

A capital do Maranho So Lus.

23 > 10

Existe um nmero mpar menor que dois.

Joo foi ao cinema ou ao teatro.

No so proposies:
a) Frases interrogativas: Qual o seu nome?
b) Frases exclamativas: Que linda essa mulher!
c) Frases imperativas: Estude mais.
d) Frases optativas: Deus te acompanhe.
e) Frases sem verbo: O caderno de Maria.
f) Sentenas abertas (o valor lgico da sentena depende do valor (do nome)
atribudo a varivel):

x maior que 2; x+y = 10; Z a capital do Chile.

EXERCCIO:
Quais das sentenas abaixo so proposies:
a) O Brasil um pas da Amrica do Sul.
b) A Receita Federal pertence ao Poder Judicirio.
c) Boa sorte!
d) Diego um bom jogador?
e) Que horas so?
f) Seja um bom servidor pblico.
g) Ele um bom aluno.
h) 3 + 5 = 7
i) x + y = 7

2) Princpios que regem as Proposies:

1. Princpio da Identidade: Uma proposio Verdadeira Verdadeira, e uma


proposio Falsa Falsa.
2. Princpio do Terceiro Excludo: Uma proposio ou verdadeira ou falsa no
existindo uma terceira possibilidade.
3. Princpio da No-Contradio: Uma proposio no pode ser verdadeira e
falsa simultaneamente.
3) Classificao das Proposies lgicas:
As proposies lgicas podem ser classificadas em dois tipos:
a) Proposies simples - so representadas de forma nica. Ex.: O cachorro

um mamfero.
b) Proposies compostas - so formadas por um conjunto de proposies

simples, (duas ou mais proposies simples ligadas por conectivos lgicos).


Ex.: Braslia a capital do Brasil ou Lima a capital do Peru.
4) Os Conectivos Lgicos:
a) Definio - so smbolos ou palavras usadas para conectar duas ou mais sentenas
de forma que o sentido das sentenas no seja alterado. Estas podem ser na linguagem
formal ou informal.
b) Tipos:
Conjuno: conectivo e
Proposies compostas em que est presente o conectivo e so ditas CONJUNES.
Simbolicamente, esse conectivo pode ser representado por . Ento, se temos a
sentena: Marcos mdico e Maria estudante ... poderemos represent-la apenas
por: pq. Onde: p = Marcos mdico e q = Maria estudante.
O valor lgico de uma proposio conjuntiva s ser VERDADEIRO se ambas as
proposies componentes forem tambm verdadeiras.
Exemplo:

Irei ao cinema e ao clube.


Conjuno: p q (p e q)
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

P: Irei ao cinema

Q: Irei ao clube
Observamos que a proposio resultante da conjuno
s ser verdadeira quando as proposies simples
individuais forem verdadeiras.

Disjuno Inclusiva: conectivo ou


A operao da disjuno inclusiva liga duas ou mais proposies simples pelo conectivo
ou. Simbolicamente, esse conectivo pode ser representado por v.
Exemplo:

Dar-te-ei uma camisa ou um calo.


Disjuno: p v q (p ou q)

p
V
V
F
F

q
V
F
V
F

pvq
V
V
V
F

P: Dar-te-ei uma camisa

Q: Dar-te-ei um calo
Observamos que a proposio resultante da disjuno
inclusiva s ser falsa quando as proposies simples
individuais forem falsas.

Disjuno Exclusiva: conectivo ou...ou...


A estrutura da disjuno exclusiva ou p, ou q.
Exemplo:
Ou irei jogar basquete ou irei casa de Joo
Disjuno Exclusiva: p v q (ou p ou q)
p
V
V
F
F

q
V
F
V
F

pvq
F
V
V
F

P: Irei Jogar Basquete


Q: Irei casa de Joo
Observe a diferena entre a disjuno inclusiva e exclusiva!
Como o prprio nome diz exclusiva a proposio resultante
da disjuno exclusiva s ser V se uma das partes for F e
a outra V (independentemente da ordem) no podendo
acontecer V nos dois casos, caso acontea a proposio
resultante desta operao ser falsa.

Condicional: conectivo se..., ento...


A estrutura condicional refere-se a se p ento q.
Exemplo:
Se eu nasci em So Lus, ento sou maranhense.

P: Nasci em So Lus

Q: Sou maranhense
P
V
V
F
F

Q
V
F
V
F

PQ
V
F
V
V

S ser falsa esta estrutura quando houver a condio


suficiente, mas o resultado necessrio no se confirmar. Ou
seja, quando a primeira parte for verdadeira, e a segunda for
falsa. Nos demais casos, a condicional ser verdadeira.

Bicondicional: conectivo ...se e somente se..., podendo ser representado pelo


smbolo .
Expressa condio suficiente e necessria.
Exemplo:
4 maior que 2 se e somente se 2 for menor que 4.

P: 4 maior que 2

Q: 2 menor que 4
P
V
V
F
F

Q
V
F
V
F

PQ
V
F
F
V

Proposio p

A proposio resultante da bicondicional s ser falsa se as


proposies individuais possurem valores diferentes.

Negao: conectivo , podendo ser representado pelo smbolo ~.


Ex.: A bicicleta no azul ~p.

TAUTOLOGIA
Uma proposio composta formada por duas ou mais proposies p, q, r, ... ser dita
uma Tautologia se ela for sempre verdadeira, independentemente dos valores
lgicos das proposies p, q, r, ... que a compem.
Em palavras mais simples: para saber se uma proposio composta uma Tautologia,
construiremos a sua tabela-verdade! Da, se a ltima coluna da tabela-verdade s
apresentar verdadeiro (e nenhum falso), ento estaremos diante de uma
Tautologia.

CONTRADIO
Uma proposio composta formada por duas ou mais proposies p, q, r, ... ser dita
uma contradio se ela for sempre falsa, independentemente dos valores lgicos das
proposies p, q, r ... que a compem. Ou seja, construindo a tabela-verdade de
uma proposio composta, se todos os resultados da ltima coluna forem
FALSOS, ento estaremos diante de uma contradio.

CONTINGNCIA
Uma proposio composta ser dita uma contingncia sempre que no for uma
tautologia ou uma contradio.