Académique Documents
Professionnel Documents
Culture Documents
Conceitos iniciais
O conceito mais elementar no estudo da lgica o de Proposio. Proposio vem de
propor que significa submeter apreciao; requerer um juzo. Trata-se de uma
sentena
declarativa algo que ser declarado por meio de termos, palavras ou smbolos e
cujo contedo
poder ser considerado verdadeiro ou falso.
Ento, se eu afirmar a Terra maior que a Lua, estarei diante de uma proposio
cujo
valor lgico verdadeiro.
Fica 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.
So os seguintes:
Uma proposio verdadeira verdadeira; uma proposio falsa falsa.
(Princpio da
identidade);
Nenhuma proposio poder ser verdadeira e falsa ao mesmo tempo.
(Princpio da NoContradio);
Uma proposio ou ser verdadeira, ou ser falsa: no h outra
possibilidade. (Princpio
do Terceiro Excludo).
Conectivo e: (conjuno)
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.
Como se revela o valor lgico de uma proposio conjuntiva?
Da seguinte forma: uma conjuno s ser verdadeira, se
ambas as proposies componentes forem tambm
verdadeiras.
Maria estudante
pq
pq
v for verdadeiro
f
f
Por outro lado, se
que Maria estudante,
e falso
que Marcos mdico, teremos:
Marcos
mdico
Maria estudante
pq
Maria estudante
pq
Te darei uma
bicicleta
pVq
Ou:
Te darei uma
bola
pVq
Ou:
Te darei uma bola
pVq
Te darei uma
bicicleta
pVq
~p
pq
q)
verdade quando
falso quando
pq
pVq
p e q, ambos, so
falsos
p ->q
p verdade e q
falso
pq
p e q tiverem valores
~p ou ~q
Negativa de (p ou q)
~p e ~q
Negativa de (p -> q)
p e ~q
Negativa de (pq)
Tabelas-verdade
Trataremos agora um pouco mais a respeito de TABELAVERDADE. Trata-se de uma tabela mediante a qual so
analisados os valores lgicos de proposies compostas. J
vimos que uma Tabela-Verdade que contm duas proposies
apresentar exatamente um nmero de quatro linhas! Mas e se
estivermos analisando uma proposio composta com trs ou
mais proposies componentes? Como ficaria a tabela-verdade
neste caso? Generalizando para qualquer caso, teremos que o
nmero de linhas de uma tabela-verdade ser dado por:
N linhas da Tabela-Verdade = 2n de proposies
Ou seja, se estivermos trabalhando com duas proposies p e q,
ento a tabela-verdade ter 4 linhas. Se estivermos trabalhando
com uma proposio composta que tenha trs componentes p,
q e r, a tabela-verdade ter 23 = 8. E assim, por diante.
Tabelas-verdade para p e q:
Trabalhando com duas proposies
p
q componentes, a estrutura inicial
da tabela-verdade ser sempre
que j aprendemos. Qual seja:
V aquela
V
V
Por fim, concluindo a anlise desta proposio composta, restanos construir a coluna que a prpria proposio: ~(p v ~q).
Ou seja, faremos a negao da disjuno acima. Para isso,
quem for VERDADEIRO vira FALSO e vice-versa. Teremos:
p
~q
p v ~q
~( p v ~q)
Para fixar nossos conhecimentos vamos construir a tabelaverdade da seguinte proposio composta: P(p,q) = (p~q) V
(q~p).
SOLUO: Observamos que h dois parnteses.
Comearemos, pois, a trabalhar o primeiro deles, isoladamente.
Obedeceremos ordem de precedncia dos conectivos:
1 passo: Negao de q
p
~q
p
q Conjuno
~q
p
2 passo:
~q
3 passo: Negao de p
p
~p
4 passo: Conjuno
p
~p
q~
p
q~p
(p~q)V(q~p)
Q R
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. Exemplo: A proposio p ~p
uma contradio, pois sempre falsa independentemente do
valor lgico de p, como possvel observar na tabela-verdade
P
~p
p ~p
abaixo:
V
Contingncia
Uma proposio composta ser dita uma contingncia sempre
que no for uma tautologia ou uma contradio. Somente isso!
Voc pegar a proposio composta e construir a sua tabela
verdade. Se voc verificar que aquela proposio nem uma
tautologia (s resultados V), e nem uma contradio (s
resultados F), ento, pela via de exceo, ser dita uma
contingncia! Exemplo: A proposio p (pq) uma
contingncia. Por que essa proposio uma contingncia?
Porque nem uma tautologia e nem uma contradio. S por
isso! Vejamos sua tabela-verdade a seguir.
p
q
pq
p (pq)
V