Académique Documents
Professionnel Documents
Culture Documents
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.
Tome um caf.
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
e (conjuno) -
( p q)
(p e q) - Ex.: Chove
Tabela Verdade
p q (~p) ( p q ) ( p q ) ( p q ) ( p q ) ( p q )
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.
Exerccios
Determine
valor
Determine
valor
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
que
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
~ ( p q ) (~ p ~ q )
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)
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 )
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 )
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.