Escolar Documentos
Profissional Documentos
Cultura Documentos
equivalncias lgicas
Sentenas abertas
A sentena abaixo verdadeira ou falsa?
2x 1 = 5
No possvel atribuir um valor lgico sentena, pois no se conhece o
valor da varivel x. Vamos, ento, resolver algebricamente a equao:
2x 1 = 5
2x 1 + 1 = 5 + 1
2x = 6
1
1
=6.
2x .
x=3
A concluso a de que ao substituirmos a varivel x pelo valor 3, a equao torna-se verdadeira e, para qualquer outro valor de x, a sentena ser
falsa.
Existem expresses contendo variveis denominadas sentenas abertas
ou funes proposicionais cujo valor lgico (V ou F) discutvel e depende do valor atribudo a cada varivel componente. Por isso, antes de se atribuir um valor a cada varivel, tais expresses no podem ser consideradas
proposies.
Importante:
Uma sentena aberta no uma proposio, pois no pode ser classificada em verdadeira ou falsa.
Observe outros exemplos de sentenas abertas:
Exemplo 1:
A sentena aberta x 2 = 5 verdadeira se atribuirmos varivel x o valor
7 e falsa para qualquer outro valor atribudo varivel x. Caso no seja atribudo valor varivel x, no faz sentido afirmar se a sentena verdadeira
ou falsa.
Exemplo 2:
A sentena aberta x2 = 9 verdadeira se atribuirmos varivel x os valores
3 ou 3 e falsa para qualquer outro valor de x.
Exemplo 3:
A sentena aberta x = 10 verdadeira se atribuirmos varivel x o valor
10 e falsa se atribuirmos qualquer outro valor diferente de 10.
Exemplo 4:
A sentena aberta x = 2y verdadeira se atribuirmos a x um valor que
seja o dobro de y e falsa para os demais casos. Logo, x = 1 e y = 2 tornam
verdadeira a sentena aberta e x = 1 e y = 3 a tornam falsa, por exemplo.
Nesse caso, devemos atribuir valores s duas variveis para encontrar um
valor lgico para a sentena.
Uma sentena aberta ou funo proposicional pode ser transformada em
uma proposio de duas formas principais:
atribuindo valor a cada varivel;
utilizando quantificadores.
Seja p(x) uma sentena aberta dependente de uma varivel x. Assim, p(x)
uma sentena aberta em um dado conjunto A se, e somente se, p(x) tem
valor lgico (V ou F) sempre que se atribui varivel x um elemento do conjunto A.
Dessa forma, considerando Vp o conjunto verdade de uma sentena p(x)
em um dado conjunto A, temos:
Vp = {x A / p(x) tem valor V}
84
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
IN
Exemplo 2:
Qual o conjunto verdade da sentena aberta x2 9 em Z?
Vp = { x Z / x2 9 }
Vp = { 3; 2; 1; 0; 1; 2; 3}
Exemplo 3:
Qual o conjunto verdade da sentena aberta 2x 3 = 0 em IN?
Vp = { x IN / 2x 3 = 0}
Vp = { } =
IN
85
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Exemplo 4:
Qual o conjunto verdade da sentena aberta x2 > 0 em IR?
Vp = { x IR / x2 0}
Vp = IR
IR
Negao
Considere p(x) uma sentena aberta, dependente de uma varivel x, em
um conjunto A. O conjunto verdade de uma sentena da forma ~p(x) em A
obtido por meio do complementar do conjunto verdade Vp de p(x) em A. Simbolicamente, podemos escrever trs formas equivalentes:
V
V~p = CAp = A Vp
V~p = {x A / ~p(x) tem valor V}
V~p = {x A / p(x) tem valor F}
Exemplo:
Seja p(x): x > 5 uma sentena aberta em IN. Assim, temos:
Vp = {x IN / x > 5} = { 6, 7, 8, 9, ...}
V~p = IN {6, 7, 8, 9, ...}
V~p = {0, 1, 2, 3, 4, 5}
86
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Conjuno
Considere p(x) e q(x) duas sentenas abertas, ambas dependentes de uma
varivel x, em um conjunto A. O conjunto verdade de uma sentena aberta
da forma p(x) q(x) em A obtido por meio da interseco dos conjuntos
verdade Vp e Vq das sentenas abertas p(x) em q(x) em A, respectivamente.
Simbolicamente, podemos escrever:
Vp
= Vp
Vq
Vp
Exemplo:
Sejam p(x): x 5 e q(x): x > 3 em IR. Ento:
Vp
= Vp
Vq
Vp
= {x IR / x 5}
Vp
= ] , 5[
Vp
{x IR / x 3}
]3, [
Disjuno
Considere p(x) e q(x) duas sentenas abertas, ambas dependentes de
uma varivel x, em um conjunto A. O conjunto verdade de uma sentena
aberta da forma p(x) q(x) em A obtido por meio da unio dos conjuntos
verdade Vp e Vq das sentenas abertas p(x) em q(x) em A, respectivamente.
Simbolicamente, podemos escrever:
Vp
Vp
= Vp
Vq
{x A / q(x) tem valor V}
Exemplo:
Sejam p(x): x2 = 9 e q(x): x 3 = 0 em Z. Ento:
Vp
= Vp
Vq
Vp
= {x Z / x2 = 9}
Vp
= {3, 3}
Vp
= {3, 3}
{x Z / x 3 = 0}
{3}
87
Condicional
Considere p(x) e q(x) duas sentenas abertas, ambas dependentes de uma
varivel x, em um conjunto A. Quando associamos tais sentenas por meio
de um smbolo condicional, obtemos p(x) q(x) que equivalente a ~p(x)
q(x). Assim, o conjunto verdade de uma sentena aberta p(x) q(x) em A o
mesmo que ~p(x) q(x) em A. Simbolicamente, podemos escrever:
Vp
Vp
= V~p
Vq
Exemplo:
Sejam p(x): x > 7 e q(x): x < 3 em IN. Ento:
Vp
= V~p
Vq
Vp
= {x IN / x < 7}
Vp
= {0, 1, 2, 3, 4, 5, 6, 7}
Vp
= {0, 1, 2, 3, 4, 5, 6, 7}
{x IN / x < 3}
{0, 1, 2, 3}
Bicondicional
Considere p(x) e q(x) duas sentenas abertas, ambas dependentes de
uma varivel x, em um conjunto A. Quando associamos tais sentenas por
meio de um smbolo bicondicional, obtemos p(x) q(x) que equivalente
a [p(x) q(x)] [q(x) p(x)]. Assim, o conjunto verdade de uma sentena
p(x)] em A.
aberta p(x) q(x) em A o mesmo que [p(x) q(x)] [q(x)
Simbolicamente, podemos escrever:
Vp
= Vp
Vq
Exemplo:
Sejam p(x): x > 2 e q(x): x < 1 em IN. Ento:
Vp
= Vp
Vp
= (V~p Vq)
Vp
Vq
(Vp
V~q)
88
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Vp
= [{0, 1, 2}
{0, 1}]
[{3, 4, 5, ...}
Vp
= {0, 1, 2}
{2, 3, 4, ...}
Vp
= {2}
{2, 3, 4, ...}]
Quantificadores
Em Lgica Matemtica, existem smbolos, utilizados em expresses, que
quantificam determinados elementos de um conjunto qualquer. Esses smbolos, denominados quantificadores, transformam uma sentena aberta em
uma proposio.
Em geral, um quantificador utilizado antes de uma varivel e fornece
significado ao valor que a varivel pode assumir. Essencialmente, os quantificadores podem ser de dois tipos: quantificador universal e quantificador
existencial.
Quantificador universal
O quantificador universal representado pelo smbolo e pode ser lido
para todo, qualquer que seja ou para cada. Ao ser utilizado junto a uma
sentena aberta, o quantificador universal transforma tal sentena em uma
proposio, afirmando que a sentena verdadeira para qualquer valor que
a varivel assuma em um determinado conjunto.
Observe alguns exemplos do uso do quantificador universal, tendo como
conjunto universo o dos nmeros reais.
Exemplo 1:
A proposio qualquer que seja x, temos x = x verdadeira e pode ser
representada por:
x, x = x
No difcil perceber que x = x para todo x.
Exemplo 2:
A proposio para todo a, temos a > 3 falsa e pode ser representada
por:
a, a > 3
89
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
A proposio falsa, pois, por exemplo, para a = 2 falso que 2 > 3. Assim,
embora existam valores de a tal que a > 3, no para todos os valores de a
que a proposio verdadeira.
Exemplo 3:
A proposio para cada y, temos y2 > 0 verdadeira e pode ser representada por:
y, y2 > 0
A proposio verdadeira, pois para qualquer valor de y verdadeiro que
y > 0. Ou seja, no existe valor de y para o qual y2 < 0.
2
Quantificador existencial
O quantificador existencial representado pelo smbolo e pode ser lido
existe um, existe pelo menos um, algum ou, simplesmente, existe. Ao
ser utilizado junto uma sentena aberta, o quantificador existencial transforma tal sentena aberta em uma proposio, afirmando que a sentena
verdadeira pelo menos para algum valor que a varivel assuma.
Exemplos do uso do quantificador existencial, tendo como conjunto universo o dos nmeros reais.
Exemplo 1:
A proposio existe pelo menos um x, tal que x + 2 = 5 verdadeira e
pode ser representada por:
x, x + 2 = 5
A proposio verdadeira, pois x = 3 torna a sentena verdadeira:
x+2=5
x = 3 3 + 2 = 5 5 = 5 (verdadeiro)
Logo, existe pelo menos um x, tal que x + 2 = 5. Nesse caso, o valor de x
nico.
Exemplo 2:
A proposio existe a tal que a2 < 0 falsa e pode ser representada por:
a, a2 < 0
90
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
A proposio falsa, pois no existe a tal que a2 < 0. Ou seja, qualquer que
seja o valor que se substitua no lugar de a, falso que a2 < 0.
Exemplo 3:
A proposio existe um y, tal que y2 > 4 verdadeira e pode ser representada por:
y, y2 > 4
Substituindo, por exemplo, y = 3 na sentena y2 > 4, temos:
y2 > 4
y = 3 32 > 4 9 > 4
Logo, a proposio verdadeira, pois existe um y tal que y2 > 4. Nesse
caso, alm de y = 3, existem infinitos valores de y tal que y2 > 4. Como um
valor de y (y = 3) foi encontrado, isso j suficiente para que a proposio
seja verdadeira.
Voc percebeu que uma sentena aberta por si s no tem valor lgico,
pois depende do valor que a varivel da sentena assume. Alm disso, observou que, ao se acrescentar um quantificador a uma sentena aberta, tal
sentena passa a ter valor lgico, j que a presena de um quantificador fornece significado sentena. A tabela a seguir apresenta alguns exemplos de
sentenas abertas sendo transformadas em proposies com os correspondentes valores lgicos.
Sentena
Proposio
Valor lgico
x2=1
x, x 2 = 1
2x > 0
x, 2x > 0
x nmero primo
x, x nmero primo
x+2=x+1
x, x + 2 = x + 1
91
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
x, p(x)
x, ~p(x)
x, p(x)
x, ~p(x)
m, m = 3 (F)
m, m 3 (V)
x, x2 > 0 (V)
x, x2 < 0 (F)
y, 2y 3 = 7 (V)
y, 2y 3 7 (F)
Implicaes lgicas
Anteriormente, estudamos as proposies condicionais da forma p q,
as quais poderiam ser lidas se p, ento q. Observamos que uma condicional
da forma p q falsa apenas quando p verdadeira e q falsa. Em qualquer outro caso, a condicional verdadeira.
Para uma melhor compreenso das implicaes lgicas e da relao existente entre as proposies condicionais, observe a seguinte definio:
92
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Q(p, q, r, ...)
Em outras palavras, pode-se dizer que uma proposio P, que pode ser
composta por vrias proposies simples (p, q, r, ...), implica numa proposio Q, que tambm pode ser composta por vrias proposies simples (p, q,
r, ...), se em qualquer linha da tabela-verdade de P Q, no ocorre de P ser V
e Q ser F, simultaneamente.
Para esclarecer, existe uma sutil diferena entre os smbolos e .
O smbolo utilizado para relacionar duas proposies por meio de uma
proposio condicional. Assim, para relacionarmos p e q por meio de uma proposio condicional, escrevemos p q. Nesse caso, no estamos querendo
aferir valor lgico proposio composta, mas apenas relacionar condicionalmente p com q.
Por outro lado, o smbolo utilizado para representar uma implicao
lgica, na qual se deseja aferir valor lgico. Assim, apenas se P verdadeira
e Q falsa, a implicao lgica P Q falsa.
Em caso de validade comprovada de uma implicao da forma P Q, tal
implicao lgica passa a ser utilizada como recurso lgico para obteno e
prova de outros resultados vlidos.
Vq
93
x2 = 25 em IR verdadeira?
Exemplo 2:
A implicao lgica x2 > 4
x > 2 em Z verdadeira?
p q verdadeira.
94
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
V
V
F
F
p q
V
F
V
F
p q
V
F
F
F
p q
V
V
V
F
V
V
V
V
p q
uma tautologia
Como em nenhuma linha ocorre de a proposio p q ser V e, simultaneamente, a proposio p q ser F, a ltima coluna, referente proposio
p q p q, uma tautologia. Dessa forma, a implicao p q p q
verdadeira.
Exemplo 2:
q
Verificar se a implicao p
q verdadeira.
q
V
F
V
F
V
F
V
V
V
F
F
V
q)
(p
(p
q) e ve-
q) (p
q)
V
V
F
V
No uma tautologia
q)
(p
q) falsa.
Implicaes imediatas
Propriedade reflexiva
Qualquer proposio P implica na prpria proposio P:
P
No difcil perceber que, se a primeira proposio P for verdadeira, a segunda proposio P no ser falsa, pois isso seria contraditrio. Logo, a proposio P P uma tautologia e, consequentemente, P P verdadeira.
P
P
V
V
uma tautologia
Propriedade transitiva
Se a proposio P implica a proposio Q e a proposio Q implica a proposio R, ento a proposio P implica a proposio R:
QeQ
Se P
R, ento P
Para verificar a veracidade da implicao, vamos construir a tabela-verdade da condicional correspondente [(P Q) (Q R)] (P R) e constatar
que uma tautologia.
(P
Q) (Q
R)
(P
R) [(P
Q) (Q
R)]
V
uma tautologia
96
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
(P
R)
Implicaes notveis
Como possvel demonstrar que um determinado resultado vlido?
Quando deduzimos ou demonstramos algum resultado, utilizamos premissas como base lgica para a validao de tal resultado. A sequncia de
passos que permitem iniciarmos com uma premissa, e, a partir dela, chegarmos a uma concluso, desenvolvida por meio de implicaes lgicas.
Quando uma implicao lgica verdadeira, pode-se concluir que o raciocnio desenvolvido est correto, ou seja, que uma proposio necessariamente tem como consequncia a outra.
As propriedades a seguir so consideradas propriedades clssicas ou notveis e sero, posteriormente, utilizadas como regras de inferncia, teis na
Lgica da Argumentao.
Adio
A propriedade da adio ocorre junto ao conectivo ou:
P
P Q
P Q
(P Q)
(P Q)
P Q
V
Tautologias
Exemplos:
Penso. Logo, penso ou existo.
Existo. Logo, penso ou existo.
Simplificao
A propriedade da simplificao ocorre junto ao conectivo e:
97
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
P Q
P Q
P Q
(P Q)
(P Q)
Tautologias
Exemplos:
Estudo e veno. Logo, estudo.
Estudo e veno. Logo, veno.
Simplificao disjuntiva
A propriedade da simplificao disjuntiva utilizada nos casos em que
uma das proposies ocorre de forma contraditria e com um conectivo ou,
sendo, portanto, simplificada:
(P Q) (P ~Q) P
P
~Q
PQ
P ~Q
(P Q) (P ~Q)
(P Q) (P ~Q) P
V
Tautologia
Exemplo:
Sou feliz ou me demito. Sou feliz ou no me demito. Logo, sou feliz.
Absoro
A propriedade de absoro mostra que, se uma mesma proposio sim98
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
ples ocorre numa proposio condicional, sendo condio necessria e suficiente, ento ela pode ser omitida (absorvida) como condio necessria:
P Q P (P Q)
P
PQ
PQ
P (P Q)
(P Q) [P (P Q)]
V
Tautologia
Exemplo:
Se corro, ento pulo. Logo, se corro, ento corro e pulo.
Modus Ponens
A propriedade Modus Ponens baseia-se em uma proposio condicional:
(P Q) P Q
P
PQ
(P Q) P
[(P Q) P] Q
V
Tautologia
Exemplo:
Se me esforo, ento alcano a vitria. Esforo-me. Logo, alcano a vitria.
Modus Tollens
A propriedade Modus Tollens baseia-se na proposio contrapositiva de
uma proposio condicional:
(P Q) ~Q ~P
99
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
~P
~Q
PQ
(P Q) ~Q
[(P Q) ~Q] ~P
V
Tautologia
Exemplo:
Se tenho coragem, ento triunfo. No triunfei. Logo, no tive coragem.
Silogismo disjuntivo
A propriedade de silogismo disjuntivo ocorre a partir de uma disjuno
(conectivo ou) em que uma das proposies simples componentes contrariada e, a partir disso, conclui-se pela veracidade da outra proposio simples componente:
(P Q) ~P Q
(P Q) ~Q P
Vamos demonstrar a primeira das regras de silogismo disjuntivo por meio
da tabela-verdade:
~P
PQ
(P Q) ~P
[(P Q) ~P] Q
V
Tautologia
Exemplos:
Caso ou compro uma bicicleta. No casei. Logo, comprei uma bicicleta.
Caso ou compro uma bicicleta. No comprei uma bicicleta. Logo, casei.
100
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Dilema construtivo
O dilema construtivo baseia-se na utilizao de uma disjuno (conectivo
ou) relacionada a duas proposies condicionais:
[(P Q) (R S) (P R)] (Q S)
P Q R S PQ RS PR
(P Q) (R S) (P R)
Q S [(P Q) (R S) (P R)] (Q S)
V F F V
V F F F
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F
Tautologia
Exemplo:
Se bebo gua, ento me hidrato. Se tomo cerveja, ento sou feliz. Bebo
gua ou tomo cerveja. Logo, me hidrato ou sou feliz.
Dilema destrutivo
O dilema destrutivo baseia-se na utilizao de uma disjuno (conectivo
ou) relacionada a duas proposies condicionais contrapositivas:
[(P Q) (R S) (~Q ~S)] (~P ~R)
101
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
P Q R S ~P ~Q ~R ~S P Q R S ~Q ~S
(P Q) (R S)
(~Q ~S)
~P ~R
[(P Q) (R S)
(~Q ~S)] (~P ~R)
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F
Tautologia
Exemplo:
Se bebo gua, ento me hidrato. Se tomo cerveja, ento sou feliz. No me
hidratei ou no fui feliz. Logo, no bebi gua ou no tomei cerveja.
No h a necessidade de memorizarmos as implicaes notveis que j
foram estudadas. O que realmente importa compreender o mecanismo de
verificao da veracidade das implicaes lgicas e observar que, apesar da
complexidade de algumas delas, cada uma tem por base as proposies estudadas anteriormente.
Observe a seguir outros exemplos de implicaes lgicas.
Exemplo 1:
Sendo p e q proposies, vamos verificar a veracidade da implicao
lgica:
ppq
102
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
pq
p (p q)
V
No uma tautologia
103
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
pq
pq
(p q) (p q)
V
No uma tautologia
pq
pq
(p q) (p q)
V
uma tautologia
pq
V
F
V
V
F
F
(p q) ~q
[(p q) ~q] p
V
uma tautologia
Equivalncias lgicas
Anteriormente, observamos algumas proposies que so logicamente
equivalentes, tais como uma proposio qualquer e a respectiva dupla negao: p equivalente a ~(~p).
105
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
~p
~(~p)
F
Equivalentes
~p
pq
~p q
(p q) (~p q)
Equivalentes
Tautologia
108
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Equivalncias imediatas
Existem trs propriedades consideradas imediatas em equivalncias lgicas: reflexiva, simtrica e transitiva.
Propriedade reflexiva
Qualquer proposio P equivale prpria proposio P:
PP
A verificao dessa propriedade imediata, uma vez que a proposio
P P tautolgica.
P
PP
V
Tautologia
Propriedade simtrica
Se a proposio P equivale proposio Q, ento a proposio Q equivale
proposio P:
se P Q, ento Q P.
A propriedade vlida, pois a proposio correspondente (P Q) (Q P)
tautolgica.
P
PQ
QP
(P Q) (Q P)
Equivalentes
Tautologia
Propriedade transitiva
Se a proposio P equivale proposio Q e a proposio Q equivale
proposio R, ento a proposio P equivale proposio R:
se P Q e Q R, ento P R.
109
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
PQ
QR
(P Q) (Q R)
(P R)
[(P Q) (Q R)] (P R)
Tautologia
Quadro de equivalncias
A tabela a seguir apresenta um resumo de algumas importantes equivalncias lgicas j estudadas.
Equivalncia
Frmula
Tautologia
p (p p)
Dupla negao
~(~p) p
Comutao
pq qp
pq qp
Associao
p (q r) (p q) r
p (q r) (p q) r
Distribuio
p (q r) (p q) (p r)
p (q r) (p q) (p r)
De Morgan
~(p q) ~p ~q
~(p q) ~p ~q
Contraposio
(p q) (~q ~p)
Implicao material
(p q) ~p q
Equivalncia material
(p q) (p q) (q p)
Exportao
[(p q) r] [p (q r)]
Equivalncia
(p q) (p q) (~p ~q)
110
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
pq
(p q) r
q r
p (q r) [(p q) r] [p (q r)]
Tautologia
Equivalentes
Como a proposio [(p q) r] [p (q r)] uma tautologia, conclumos que a equivalncia correspondente [(p q) r] [p (q r)]
verdadeira.
Exemplo 2:
Por meio da tabela-verdade, observe que a equivalncia propriamente
dita, (p q) (p q) (~p ~q), verdadeira.
pq
pq
~p
~q
~p ~q
(p q) (~p ~q)
(p q) (p q) (~p ~q)
Equivalentes
Tautologia
A proposio (p q) (p q) (~p ~q) uma tautologia. Logo, conclumos que a equivalncia correspondente (p q) (p q) (~p ~q)
verdadeira.
111
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Exemplo 3:
Vamos provar a validade de uma das propriedades de associao:
p (q r) (p q) r
p
q r
p (q r)
pq
(p q) r
p (q r ) (p q) r
V
Tautologia
Equivalentes
Atividades de aplicao
1. A sentena aberta p(x): x2 > 3 no pode ser classificada em verdadeira
ou falsa. Se atribuirmos valores varivel x, podemos transformar a
sentena aberta em uma proposio e, dessa forma, classific-la em
verdadeira ou falsa.
4. Considere as proposies:
p: 5 > 6
q: 1 = 2
r: 3 < 4
s: 7 8
Referncias
ABELARDO, Pedro. Lgica para Principiantes. Petrpolis: Vozes, 1994.
ALENCAR FILHO, Edgard de. Iniciao Lgica Matemtica. So Paulo: Nobel,
2003. 203 p.
ARISTTELES. Tpicos. So Paulo: Abril Cultural, 1973. (Coleo Os Pensadores).
_____. Organon. So Paulo: Nova Cultural, 1999. (Coleo Os Pensadores).
BOLL, Marcel; REINHART, Jacques. A Histria da Lgica. Lisboa: Edies 70, 1982.
127 p.
CASTRUCCI, Benedito. Introduo Lgica Matemtica. 6. ed. So Paulo: Nobel,
1986. 158 p.
DESCARTES, Ren. Discurso do Mtodo. 4. ed. So Paulo: Martins Fontes, 2003.
102 p.
KELLER, Vicente; BASTOS, Cleverson L. Aprendendo Lgica. 12. ed. Petrpolis:
Vozes, 2000. 179 p.
KOPNIN, P. V. A Dialtica como Lgica e Teoria do Conhecimento. Rio de Janeiro, 1978. 353 p.
LAUSCHNER, Roque. Lgica Formal. 4. ed. rev. Porto Alegre: Sulina/ Unisinos,
1984. 207 p.
LIARD, L. Lgica. 6. ed. So Paulo: Cia. Editora Nacional, 1965. 211 p.
LIPSCHULTZ, Seymour. Teoria dos Conjuntos. So Paulo: McGraw-Hill, 1972. 337 p.
MACHADO, Nilson Jos. Matemtica 1 por Assunto lgica, conjuntos e funes. So Paulo: Scipione, 1988. 240 p.
116
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
117
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
Gabarito
1.
a) ( V ) Para x = 1, a sentena p(x) falsa.
b) ( V ) Para x = 2, a sentena p(x) verdadeira.
c) ( V ) Para x = 0, a sentena p(x) falsa.
d) ( F ) Para x =
b) r s : V
c) p q : F
d) r q : F
e) p s : F
f) ~( p q) : F
g) ~(r s) : F
5. Considerando as proposies p: x > 2, ~p: x < 2, q: x = 5 e ~q: x 5, a
proposio ~(x > 2 x = 5) pode ser representada por ~(p q) e a
proposio x < 2 x 5 pode ser representada por ~p ~q. Assim,
basta mostrar que ~(p q) equivale a ~p ~q.
p
~p
~q
pq
~(p q)
~p ~q
V
Equivalentes
~p q
~p
p ~q
No so equivalentes
119
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
qr
p (q r)
pq
pr
(p q) (p r)
Equivalentes
~p
~q
p ~q
q ~p
V
Equivalentes
9.
a) Os conjuntos verdade de p(x): x par e q(x): x primo em A,
so:
Vp = {2, 4, 6}
Vq = {2, 3, 5, 7}
120
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br
b)
Vp q = Vp Vq
Vp q = {2, 4, 6} {2, 3, 5, 7}
Vp q = {2}
c)
Vp q = Vp Vq
Vp q = {2, 4, 6} {2, 3, 5, 7}
Vp q = {2, 3, 4, 5, 6, 7}
Vp q = V~p Vq
Vp q = {1, 3, 5, 7} {2, 3, 5, 7}
Vp q = {1, 2, 3, 5, 7}
Vq p = V~q Vp
Vq p = {1, 4, 6} {2, 4, 6}
Vq p = {1, 2, 4, 6}
f)
Vq p = Vp q Vq p
Vq p = {1, 2, 3, 5, 7} {1, 2, 4, 6}
Vq p = {1, 2}
121
Esse material parte integrante do Videoaulas on-line do IESDE BRASIL S/A,
mais informaes www.videoaulasonline.com.br