Unidade II

LGICA
Profa. Adriane Paulieli Colossetti
Relaes de implicao e
equivalncia
Implicao lgica
Dadas as proposies compostas p e q,
diz-se que ocorre uma implicao lgica
entre p e q quando a proposio
condicional (p q) uma tautologia.
Implicao Lgica
Os smbolos e tm significados
diferentes:
O smbolo realiza uma operao entre
proposies, dando origem a uma nova
proposio p q cuja tabela-verdade
pode conter tanto V quanto F.
O smbolo entre duas proposies
dadas indica uma relao, isto , que a
proposio condicional associada uma
tautologia.
Exemplo: Mostrar que (p ^ q) p
p q p ^ q (p ^ q) p
V V V V
V F F V
F V F V
F F F V
Portanto, como (p ^ q) p uma
tautologia, podemos afirmar que
(p q) p
Outro exemplo:
Mostrar que (p ^ q) q
p q p ^ q (p ^ q) q
V V V V
V F F V
F V F V
F F F V
Portanto, como (p ^ q) q uma
tautologia, podemos afirmar que
(p q) q
Outro exemplo:
Mostrar que (p q) q
p q q p q (p q) q
V V F V F
V F V F V
F V F V F
F F V V V F F V V V
Portanto, (p q) no implicao
lgica de q, pois no uma tautologia,
mas sim uma contingncia.
Interatividade
Quais das proposies abaixo podemos
afirmar que so implicaes lgicas?
a) (p ^ q) e q
b) (p ^ q) e (p ^ q)
c) (p v q) e (p q) c) (p v q) e (p q)
d) (p ^ q) e p
e) NDA
Equivalncia lgica
Dadas as proposies compostas p e q,
diz-se que ocorre uma equivalncia
lgica entre p e q quando suas tabelas-
verdade forem idnticas.
Notao: p q ou p q (l-se: p
equivalente a q). Intuitivamente,
proposies logicamente equivalentes
transmitem a mesma informao, a
mesma idia, a partir das mesmas
proposies componentes.
Exemplo: Mostrar que
(p q) ^ (q p) e p q so
p q p q q p (p q) ^ (q p) p q
V V V V V V
V F F V F F
F V V F F F
F F V V V V
So equivalentes, pois o resultado foi igual
para ambas proposies compostas e se
aplicarmos a operao bicondicional entre as
proposies aqui estudadas, veremos que o
F F V V V V
resultado ser uma tautologia.
Mais um exemplo:
Mostrar que (p ^ q) (p v q)
A B B
p q p ^ q p q p v q (p v q) A B
V V V F F F V V
V F F F V V F V
F V F V F V F V
(p ^ q) equivalncia lgica (ou ) de
(p v q), pois o resultado das duas
proposies compostas so idnticas, alm
F V F V F V F V
F F F V V V F V
p p p ,
de ser uma tautologia na operao
bicondicional.
Mais um exemplo:
Mostrar que (p v q) (p v q)
A B
p q p q p v q p v q A B
V V F F F V F
V F F V V V V
F V V F V V V
F F V V V F F
(p v q) no equivalncia lgica (ou )
de (p v q), pois o resultado das duas
proposies compostas no so idnticas,
alm de no ser uma tautologia na
F F V V V F F
operao bicondicional.
Outro exemplo:
Mostrar que (p v q) v (p q) (p v q)
A B C
p q p v q p q A v B C A
V V V V V V
V F V F V V
F V V F V V
(p v q) v (p q) no equivalncia lgica
(ou ) de (p v q), pois o resultado das
duas proposies compostas no so
idnticas, alm de no ser uma tautologia
F F F V V F
na operao bicondicional.
Interatividade
Q i d i b i d Quais das proposies abaixo podemos
afirmar que so equivalncias lgicas e
tambm implicaes lgicas ao mesmo
tempo?
1. (p ^ q) e q
2. (p ^ q) e (p v q)
3. (p v q) e (p q)
4. (p v q) e q
a) 1 e 2;
b) 1 e 3;
c) 3 e 4;
d) 2 e 3;
e) NDA.
Argumento vlido
j t d i d um conjunto de enunciados que
possuem certa relao, e faz-se
necessrio que ao menos um deles seja
apresentado como uma tese ou uma
concluso, e os demais como justificativa
dessa tese ou premissas para a dessa tese, ou premissas para a
concluso. Os argumentos so utilizados
para provar a validade ou a invalidade do
argumento. Assim sendo, as proposies
abaixo no so argumentos vlidos:
todos os combustveis evaporam na todos os combustveis evaporam na
mesma proporo;
logo, vale a pena levar o cachorro ao pet
shop.
Continuao de argumento vlido
Agora, observe no exemplo abaixo os
seguintes argumentos:
Todos os homens so mortais;
Scrates homem;
logo Scrates mortal logo, Scrates mortal.
Nesse caso, h uma argumentao vlida,
em que todas as premissas so verdadeiras
e a concluso tambm.
Argumento vlido e invlido
O argumento apresenta uma estrutura
prpria, como no exemplo anterior:
todos os x so y;
z x;
logo, z y. logo, z y.
Continuao de Argumento vlido e
invlido
Agora, tomemos como base o argumento
abaixo, que apresenta uma estrutura
idntica do exemplo anterior:
Todas as mulheres so analfabetas;
Monteiro Lobato mulher; Monteiro Lobato mulher;
Logo, Monteiro Lobato analfabeto.
Nesse caso, o argumento acima tem
premissas e concluso falsas. Porm, esse
argumento possui a mesma estrutura do
argumento do exerccio anterior o que argumento do exerccio anterior, o que
significa que tambm valido, mas no
significa que verdadeiro.
Argumento verdadeiro e falso
O t lid d t d O argumento vlido quando toda a
estrutura de suas premissas for vlida,
assim como a concluso. Porm, ser vlido
no o mesmo que ser verdadeiro. A
estrutura do argumento pode estar correta,
mas o argumento ser um absurdo conforme mas o argumento ser um absurdo, conforme
o exemplo abaixo:
Todas as mulheres so analfabetas;
Monteiro Lobato mulher;
Logo, Monteiro Lobato analfabeto.
Interatividade
Podemos afirmar que para os argumentos
abaixo:
Todas as baleias so mamferas;
As pessoas so mamferas.
Logo: Logo:
a) Todas as baleias so pessoas.
b) Todas as pessoas so baleias.
c) Todos os mamferos so baleias.
d) Todos os mamferos so pessoas d) Todos os mamferos so pessoas.
e) NDA
Tcnicas dedutivas
A i li i l i f As implicaes e equivalncias foram
demonstradas pelo mtodo das tabelas-
verdade. Agora, ser abordado o mtodo
dedutivo, que, apoiado na lgebra
proposicional, observa as proposies
compostas compostas.
Exemplo
c p;
p t,
onde p uma proposio qualquer e c e t
so proposies cujos valores lgicos
respectivos so F (Falso) e V (Verdade). respectivos so F (Falso) e V (Verdade).
c p c p t p t
p t p t t.
A tabela-verdade de c p e p t mostra
que essas condies so tautologia:
Tabela-verdade de c p e p t
p c c t c p c v p t v p
V F V V V V V
F F V V V V V
c p c p t p t
F F V V V V V
p p t p t p v t
p t p t t.
V F V V V
F V V V V
Outro exemplo: Verificar se
c p;
onde p uma proposio qualquer e c
proposio cujo valor lgico F (Falso).
c p
p c c p
V F V
F F V
Interatividade
Qual o resultado da expresso:
p t p t t,
sabendo que os valores lgicos de p so F
(falsos) e de t uma proposio qualquer.
a) V V a) V, V
b) F, V
c) F, F
d) V, F
e) NDA e) NDA
AT A PRXIMA!