Escolar Documentos
Profissional Documentos
Cultura Documentos
Prof. Angel Antonio Gonzalez Martinez: Doutorando pela Escola de Engenharia Mackenzie em
telecomunicaes. Mestre em engenharia eltrica pelo Departamento de Engenharia de Sistemas Eletrnicos
da Escola Politcnica da Universidade de So Paulo - EPUSP. Graduado em engenharia eltrica modalidade
eletrnica pela Escola de Engenharia Mackenzie. Atua como professor dos cursos de Tecnologia em Automao
Industrial pela UNIP. Atuou como professor nos cursos tecnolgicos de Automao e Robtica pela Unip.
Atuou nos cursos tecnolgicos de Redes de Computadores, Anlise de sistemas, Gesto de TI pela Unip. Ex-
coordenador dos cursos de Anlise de sistemas, Redes de computadores, Automao Industrial. Atua h vrios
anos como consultor de TI para diversas empresas do segmento de TI.
CDU 161/162
Todos os direitos reservados. Nenhuma parte desta obra pode ser reproduzida ou transmitida por qualquer forma e/ou
quaisquer meios (eletrnico, incluindo fotocpia e gravao) ou arquivada em qualquer sistema ou banco de dados sem
permisso escrita da Universidade Paulista.
Prof. Dr. Joo Carlos Di Genio
Reitor
Comisso editorial:
Dra. Anglica L. Carlini (UNIP)
Dra. Divane Alves da Silva (UNIP)
Dr. Ivan Dias da Motta (CESUMAR)
Dra. Ktia Mosorov Alonso (UFMT)
Dra. Valria de Carvalho (UNIP)
Apoio:
Profa. Cludia Regina Baptista EaD
Profa. Betisa Malaman Comisso de Qualificao e Avaliao de Cursos
Projeto grfico:
Prof. Alexandre Ponzetto
Reviso:
Leandro Freitas
Sumrio
Lgica
Apresentao.......................................................................................................................................................9
Introduo............................................................................................................................................................9
Unidade I
1 FUNDAMENTOS SOBRE PROPOSIES.................................................................................................... 13
1.1 Proposies e conectivos................................................................................................................... 13
1.1.1 Conceito de proposio......................................................................................................................... 13
1.1.2 Valores lgicos das proposies......................................................................................................... 15
1.1.3 Proposies simples e proposies compostas............................................................................ 15
1.1.4 Conectivos.................................................................................................................................................. 17
1.1.5 Tabela-verdade.......................................................................................................................................... 17
1.1.6 Notao....................................................................................................................................................... 18
1.2 Operaes lgicas sobre proposies............................................................................................ 20
1.2.1 Negao (~)................................................................................................................................................ 20
1.2.2 Conjuno ()........................................................................................................................................... 22
1.2.3 Disjuno inclusiva ou soma lgica ().......................................................................................... 23
1.2.4 Disjuno exclusiva (v).......................................................................................................................... 25
1.2.5 Condicional ()....................................................................................................................................... 27
1.2.6 Bicondicional ()................................................................................................................................... 29
2 trabalhando com as proposies................................................................................................. 31
2.1 Construo da tabela-verdade........................................................................................................ 31
2.2 Tautologia, contradio e contingncia....................................................................................... 39
Unidade II
3 OPERAES ADICIONAIS SOBRE PROPOSIES................................................................................. 49
3.1 Implicao lgica................................................................................................................................... 49
3.1.1 Definio..................................................................................................................................................... 49
3.1.2 Propriedades da implicao lgica................................................................................................... 49
3.1.3 Tautologias e implicao lgica......................................................................................................... 51
3.2 Equivalncia lgica............................................................................................................................... 52
3.2.1 Definio..................................................................................................................................................... 52
3.2.2 Propriedades da equivalncia lgica............................................................................................... 53
3.2.3 Tautologias e equivalncia lgica..................................................................................................... 54
3.2.4 Proposies associadas a uma condicional................................................................................... 55
3.3 Negao conjunta de duas proposies...................................................................................... 57
3.4 Negao disjunta de duas proposies........................................................................................ 57
4 PROPRIEDADES DAS PROPOSIES E FUNDAMENTOS DA DEDUO....................................... 58
4.1 Propriedades das principais proposies..................................................................................... 58
4.1.1 Propriedades da conjuno................................................................................................................. 58
4.1.2 Propriedades da disjuno................................................................................................................... 59
4.1.3 Propriedades da conjuno e da disjuno.................................................................................. 61
4.1.4 Negao da condicional........................................................................................................................ 63
4.1.5 Negao da bicondicional.................................................................................................................... 63
4.2 Mtodo dedutivo................................................................................................................................... 64
4.3 Reduo do nmero de conectivos............................................................................................... 66
4.4 Forma normal das proposies........................................................................................................ 67
4.5 Princpio de dualidade......................................................................................................................... 68
Unidade III
5 PRINCPIOS DA ARGUMENTAO..............................................................................................................71
5.1 Argumentos..............................................................................................................................................71
5.1.1 Introduo.................................................................................................................................................. 71
5.1.2 Definio simblica de argumento................................................................................................... 72
5.2 Validade de um argumento............................................................................................................... 73
5.2.1 Critrio de validade de um argumento........................................................................................... 75
5.2.2 Lista de argumentos vlidos fundamentais e/ou regras de inferncia.............................. 75
5.2.3 Exemplos do uso das regras de inferncia.................................................................................... 77
6 TCNICAS PARA VALIDAO DE ARGUMENTOS................................................................................. 80
6.1 Validao atravs de tabelas-verdade.......................................................................................... 80
6.2 Validade mediante regras de inferncia...................................................................................... 90
Unidade IV
7 EMBASAMENTO PARA A LGICA DOS PREDICADOS.......................................................................100
7.1 Sentenas abertas...............................................................................................................................100
7.2 Reviso de teoria dos conjuntos...................................................................................................100
7.3 Sentena aberta...................................................................................................................................105
7.3.1 Conjunto-verdade de uma sentena aberta com uma varivel.........................................105
7.3.2 Sentenas abertas com duas variveis.........................................................................................107
7.3.3 Conjunto-verdade de uma sentena aberta com duas variveis.......................................107
7.3.4 Sentenas abertas com n variveis................................................................................................108
7.3.5 Conjunto-verdade de uma sentena aberta com n variveis.............................................109
7.4 Operaes lgicas sobre as sentenas abertas........................................................................109
7.4.1 Negao.....................................................................................................................................................109
7.4.2 Conjuno..................................................................................................................................................111
7.4.3 Disjuno...................................................................................................................................................112
7.4.4 Condicional..............................................................................................................................................114
7.4.5 Bicondicional...........................................................................................................................................115
7.4.6 Propriedades das sentenas abertas..............................................................................................116
7.5 Quantificadores.................................................................................................................................... 116
7.5.1 Quantificador universal....................................................................................................................... 116
7.5.2 Quantificador existencial....................................................................................................................117
7.5.3 Quantificador da unicidade...............................................................................................................118
7.5.4 Negao de um quantificador..........................................................................................................119
7.5.5 Quantificao com vrias variveis................................................................................................119
7.5.6 Quantificao parcial.......................................................................................................................... 120
7.5.7 Quantificao mltipla....................................................................................................................... 120
8 noes sobre silogismos categricos.....................................................................................120
8.1 Proposies categricas...................................................................................................................120
8.2 Proposies contraditrias..............................................................................................................124
8.3 Silogismos categricos......................................................................................................................126
Apresentao
Caro aluno, este livro-texto uma breve introduo lgica. Logo, nela, sero examinados os principais
temas introdutrios ao assunto. Usou-se da matemtica elementar como um apoio explanao dos
temas de interesse pelo fato de ela ser comum a todos aqueles que j concluram os estudos bsicos.
No est nos objetivos do livro o estudo da lgica do ponto de vista filosfico, ou de argumentao
lgica, mas a apresentao dos principais fundamentos da lgica clssica necessrios aos estudantes de
computao e reas correlatas.
A lgica um tema bastante abrangente e este livro-texto pretende servir como um primeiro degrau
para aqueles que desejam se aprofundar no assunto.
A distribuio dos temas objetivou ser a mais direta possvel. Por isso, optou-se pela introduo dos
conceitos de proposio, seguidos pelos de conectivos, que possibilitam criar proposies mais complexas.
A seguir, explicam-se as tabelas-verdade, pois o mtodo mais simples de se verificar a veracidade de
uma proposio. So tambm estudados os mtodos dedutivos1 (por serem estes os utilizados na lgica
matemtica), que fortalecem a capacidade de abstrao e nos do maior poder para resolver problemas
mais complexos. A argumentao discutida a seguir, sendo examinados os conceitos bsicos e algumas
ferramentas de validao dos argumentos, as tabelas-verdade e as regras de inferncia.
Bons estudos!
Introduo
Fundamento geral
Embora a lgica seja de um modo mais amplo, concebida como um ramo da filosofia, suas aplicaes
vo muito alm dos limites de qualquer disciplina isoladamente considerada. Apenas a ttulo de
exemplificao, reas de estudo da lgica se estendem matemtica, lnguas, histria, direito, estatstica,
cincias relacionadas com a computao e tecnologias em um aspecto mais abrangente, cada uma com
o respectivo foco de interesse.
1
Na sua vestimenta contempornea, a lgica vista como sistema formal dedutivo, edificado sobre linguagem
formal, a qual teria a incumbncia de eliminar dubiedades interpretativas (N. do R.T.).
9
Assim, os padres de crtica da Lgica so aplicveis a qualquer rea do conhecimento em que a
inferncia2 e o argumento3 sejam empregados a qualquer domnio no qual as concluses devam
presumivelmente apoiar-se em provas. Isto inclui todas as reas que exijam um srio esforo intelectual,
bem como os casos prticos da vida cotidiana.
Conceito de lgica
A lgica4, cincia do raciocnio dedutivo, estuda a relao de consequncia dedutiva, tratando entre
outras coisas das inferncias5 vlidas; ou seja, das inferncias cujas concluses tm que ser verdadeiras
quando as premissas6 o so. A lgica pode, portanto, ser considerada como o estudo da razo ou o
estudo do raciocnio.
O objetivo da lgica consiste, ento, na meno e estudo dos princpios lgicos usados no raciocnio
dedutivo. Sob essa concepo, temos a lgica dedutiva.
Podemos, entretanto, considerar outra lgica, a lgica indutiva, que se ocupa no das inferncias
vlidas, mas das inferncias verossmeis.
Breve histrico
Para os antigos filsofos gregos, lgica era uma cincia do discurso racional. Eles passaram ento a usar
em suas discusses proposies declarativas enunciadas na forma afirmativa e negativa, atribuindo valores
2
Operao intelectual que consiste em estabelecer uma concluso a partir das premissas de que se parte.
3
Raciocnio que se pretende baseado em fatos e em relaes lgicas a partir deles usar para se chegar a uma concluso.
4
Forma de raciocinar coerente, em que se estabelecem relaes de causa e efeito; a coerncia desse raciocnio.
5
Operao intelectual que consiste em estabelecer uma concluso a partir das premissas de que se parte.
6
Ideia ou fato inicial de que se parte para formar um raciocnio. Cada uma das duas proposies de um silogismo
(a maior e a menor), das quais se infere ou se tira a consequncia.
7
Aristteles , filsofo grego, que viveu no sculo IV a.C. considerado o pai ou o criador da lgica. O nome lgica
veio posterior a Aristteles. A palavra logos do grego significa palavra, expresso, pensamento, conceito, discurso,
razo, que para Aristteles estas so caractersticas que diferencia os homens dos outros animais.
10
verdadeiros e falsos. Isso proporcionou significativa simplificao de grande valia em toda a matemtica.
Por volta de 1666, Gottfried Wilhelm Leibniz (1646-1716) usou em vrios trabalhos algumas ideias as quais
denominou de Calculus ratiotinator, ou Logica matehematica ou Logistica. Embora estas ideias nunca
tenham sido teorizadas por Leibniz, seus trabalhos j traziam a ideia da lgica matemtica.
J no sculo XVIII, Leonard Euler (1707-1783) introduziu a representao grfica das relaes entre
sentenas ou proposies, pesquisadas e ampliadas por John Venn (1834-1923), Edward W. Veitch em
1952 e Maurice Karnaugh em 1953.
Em 1847, Augustus DeMorgan (1806-1871) publicou o tratado Formal logic. Em 1848, George Boole
(1815-1864) escreveu o artigo The mathematical analysis of logic, e mais tarde, em 1854, publica um
livro sobre lgebra de Boole8, chamado An invetigation of laws of thought (Uma investigao das leis
do pensamento) e posteriormente, em 1859, escreveu Treatise on differential equations (Tratado em
equaes diferenciais) no qual discutiu um mtodo simblico geral.
O trabalho de Geoge Boole foi estudado e ampliando por Lewis Carrol em 1896, Alfred North Whitehead em
1898, Edward V. Huntington (1904 e 1933) entre outros. Todo estes perodos de estudos e desenvolvimento
da lgica proporcionaram a Alfred North Whitehead (1861-1947) e Bertrand Arthur William Russell (1872-
1970) publicar a obra Principia mathematica, que representou importante complemento aos estudos de
Leibniz, sempre buscando mostrar uma base lgica para toda a matemtica.
Embora existisse h mais de cem anos, a lgebra de Boole no teve qualquer utilizao prtica at
1937, quando Akira Nakashima utilizou pela primeira vez na anlise de circuito de rels, tentando aplicar
seus prprios conceitos.
8
Os circuitos digitais de computadores e outros sistemas digitais so projetados e tm seu comportamento
analisado, em termos de uma teoria matemtica conhecida como lgebra de Boole. A lgebra booleana faz uso de variveis
e operaes lgicas.
11
Lgica
Unidade I
Objetivos
Introduo
Esta unidade uma introduo lgica clssica9, o que implica que o foco so os aspectos bsicos
da disciplina, objetivando o aprendizado terico e, ao final da unidade, exerccios so propostos com
o intuito de que o estudante possa fixar os conceito abordados, alguns com respostas mais imediatas,
cujo objetivo consiste em fixar conceitos abordados e outros que exigem um grau de reflexo e
raciocnio mais profundo, possibilitando ao estudante a assimilao dos aspectos elementares de
maneira robusta e conceitualmente bem fundamentada, preparando-o para enveredar por fronteiras
mais distantes da lgica.
Colocaram-se vrias definies de dicionrio para vocbulos que sugiram no texto, com o
intuito motivar o leitor ao hbito de consultar este instrumento to valioso em qualquer idioma,
fortalecendo o entendimento do texto. Verificar-se- que nem sempre a definio do dicionrio
tradicional ser coincidente no contexto; s vezes, pode levar a uma conceituao inversa da
desejada.
Lembrete
9
A lgica clssica, na sua parte elementar, versa essencialmente sobre os chamados conectivos lgicos de negao,
conjuno, disjuno, implicao e bicondicional, sobre os quantificadores existencial e universal e sobre o predicado de
igualdade; e sobre algumas de suas extenses, como por exemplo, certos sistemas de teorias de conjuntos e certos clculos
de predicados de ordem superior (N. do R.T.).
13
Unidade I
A declarao no pode ser ambgua, isto , ter mais de uma interpretao. Digamos que Joo diz
a Maria: Eu vi uma foto sua no metr. Sem dvida, essa frase ambgua, pois pode significar mais
de um fato: por exemplo, 1) que Joo estava na estao de metro quando pegou uma foto de Maria
para admirla, ou 2) que Joo estava em casa quando olhou para uma foto de Maria em um trem do
metr.
Logo, frases como Joo chutou a bola ou A bola foi chutada por Joo representam a mesma
proposio, pois possuem exatamente o mesmo significado. No importa em si se a proposio
verdadeira ou falsa.
Proposio: uma sentena declarativa que pode ser interpretada como verdadeira ou falsa.
Lembrete
Exemplos de proposies:
c. 10 > 23
d. cos =0
2
e. Cristovo Colombo descobriu o Brasil.
14
Lgica
A lgica matemtica tem como princpios (leis) fundamentais do pensamento os trs seguintes
axiomas10.
I. Princpio da identidade: se uma proposio verdadeira, e ela verdadeira, isso equivale a dizer
que todo objeto idntico a si mesmo.
II. Princpio da no contradio: uma proposio no pode ser verdadeira e falsa ao mesmo
tempo.
Nos exemplos, as proposies (a), (b), (c) e (d) so todas verdadeiras e as demais so falsas.
Exemplo:
O valor lgico da proposio (a) verdadeiro (V) e o valor lgico da proposio (b) falso (F) (ALENCAR
FILHO, 2002)
Uma proposio simples aquela que no pode ser subdividida em outras proposies.
Em seus escritos, Aristteles caracteriza a lgica como uma cincia do raciocnio, posteriormente entendida
10
como estabelecedora das formas vlidas de raciocnio [inferncias vlidas], a qual repousava sobre estes trs princpios
fundamentais (N. do R.T.).
15
Unidade I
Saiba mais
Exemplos:
p: Joo careca.
q: Alice jogadora de futebol.
r: O nmero 16 mpar.
Chama-se de proposio composta aquela formada pela combinao de duas ou mais proposies.
Exemplo:
Observe que cada uma das proposies anteriores formada por duas proposies simples.
Quando interessa destacar ou explicitar que uma proposio composta P formada pela combinao
das proposies simples p, q, r etc., escreve-se:
P (p, q, r etc.). Essas proposies simples sero chamadas de proposies componentes simples
quando for o caso.
16
Lgica
Observao
1.1.4 Conectivos
Chamam-se conectivos as palavras que se usam para formar novas proposies a partir de outras
(ALENCAR FILHO, 2002).
Lembrete
Exemplos:
So conectivos usuais em lgica matemtica as palavras que esto grifadas, isto : e, ou, no,
se... ento..., ... se e somente se...
1.1.5 Tabela-verdade
Segundo o princpio do terceiro excludo, toda a proposio simples p verdadeira ou falsa, isto ,
tem um valor lgico V (verdade) ou o valor lgico F (falso) (ALENCAR FILHO, 2002).
p
V
F
Para uma proposio composta, a determinao do seu valor lgico se faz com base no seguinte
princpio:
17
Unidade I
O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das
proposies simples componentes, ficando por eles univocamente determinado (ALENCAR FILHO, 2002).
Tabela 1
p q
V V
V F
F V
F F
Tabela 2
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
1.1.6 Notao
O valor lgico de uma proposio simples p indica-se por V(p), isto , se p verdadeira, escreve-se
V(p) = V; se p falsa (F), escreve-se V (p) = F. O mesmo vale para proposies compostas V(P) = V, caso
P seja verdadeira, ou V(P) = F, caso P seja falsa.
18
Lgica
Exemplos:
Lembrete
c
a
a
A C
b
Figura 1
Tabela 3
Algumas relaes trigonomtricas tiradas do tringulo
a b a
s en = cos = tan =
c c b
Tabela 4
Valores trigonomtricos notveis
Radianos Graus Seno Cosseno Tangente Cossecante Secante Cotangente
0 0 0 1 1 No existe 1 No existe
1 3 1 2 3
30 2 3
6 2 2 3 3
2 2
45 1 2 2 1
4 2 2
3 1 2 3 3
60 3 2
3 2 2 3 3
90 1 0 No existe 1 No existe 1
2
19
Unidade I
Ver-se- neste tpico a criao das frmulas (ou expresses) lgicas atravs das operaes lgicas
realizadas por meio de conectivos. Estas so as operaes lgicas fundamentais.
No final da parte terica sobre cada um dos conectivos, tambm apresentado o respectivo diagrama
de Venn, com o intuito de mostrar uma representao grfica, que consiste em uma forma auxiliar para
a compreenso do conectivo e operaes lgicas.
A negao de uma proposio p proposio representada por no p, cujo valor lgico verdade
(V) quando p falsa, e falso (F) quando p verdadeira. Disto tem-se que no p tm valor lgico oposto
ao de p (ALENCAR FILHO, 2002).
O valor lgico da negao de uma proposio , portanto, definido pela seguinte tabela-verdade:
Tabela 5
p ~p
V F
F V
Ou seja,
~V = F, ~F = V
V (~p) = ~V (p)
Exemplos:
(1) p: 3 + 3 = 6 (V) e ~p: 3 + 3 6 (F), que pode ser reescrito por meio da expresso dos valores
lgicos como: V(~p) = ~V(p) = ~V = F;
(2) q: 10 < 4 (F) e ~q: 10 > 4 (V), que pode ser reescrito por meio da expresso dos valores lgicos
como: V(~q) = ~V(q) = ~F = V;
20
Lgica
(3) r: Braslia a capital da Argentina (F) e ~r: Braslia no a capital da Argentina (V), que pode ser
rescrito por meio da expresso dos valores lgicos como: V(~r) = ~V (r) = ~F = V.
Na linguagem a negao efetua-se, nos casos mais simples, antepondo o advrbio no ao verbo da
proposio, por exemplo, a negao da proposio (ALENCAR FILHO, 2002).
Outra maneira de efetuar a negao consiste em antepor proposio dada expresses tais
como no verdade que, falso que, por exemplo, a negao da proposio (ALENCAR FILHO,
2002).
Sobre essas proposies, no faz sentido avaliar sua veracidade ou falsidade, pois no primeiro caso
temos um paradoxo, enquanto no segundo no h atualmente imperadores na Frana. O ramo da
lgica que avalia declaraes como essas est fora do escopo desta apostila, cujo paradigma a lgica
clssica.
Lembrete
21
Unidade I
~p
Figura 2
1.2.2 Conjuno ()
O valor lgico da conjugao de duas proposies , portanto, definido pela seguinte tabelaverdade
(ALENCAR FILHO, 2002).
Tabela 6
p q pq
V V V
V F F
F V F
F F F
Ou seja:
V V = V, V F = F, F V = F, F F = F
V (p q) = V (p) (q)
Lembrete
22
Lgica
Exemplos:
p: 3 > 9 (F)
4.
{ q: sen p =0
4 (F)
p q: 3 > 4 e Sen p4 = 0 (F)
V(p q) = V(p) V (q) = F F = (F)
p pq q
Figura 3
23
Unidade I
Lembrete
O valor lgico da disjuno de duas proposies , portanto, definido pela seguinte tabelaverdade
(ALENCAR FILHO, 2002).
Tabela 7
p q pq
V V V
V F V
F V V
F F F
Ou seja:
V V = V, V F = V, F V= V, F F = F
V (p q) = V (p) V (q)
{ p:q: Cames
p = 3 (F)
escreveu os Lusadas (V)
2.
p v q: Cames escreveu os Lusadas ou p = 3 (V)
V(p q) = V(p) V (q) = V F = V
24
Lgica
{ p:q: Pel1nasceu
=1 (F)
na Bahia (F)
4.
p q: Pel nasceu na Bahia ou 1 =1 (F)
V(p q) = V(p) V (q) = F F = F
p q
pq
Figura 4
A palavra ou tem dois sentidos, por exemplo, consideremos as duas seguintes proposies compostas
(ALENCAR FILHO, 2002):
A proposio P indica que, pelo menos, uma das proposies Marcos mdico, Marcos professor
verdadeira, podendo ser ambas verdadeiras: Marcos mdico e professor. Mas, na proposio Q, uma
e somente uma das proposies Maria alagoana, Maria gacha verdadeira, pois no possvel
ocorrer Maria alagoana e gacha.
Logo, a proposio P uma disjuno inclusiva ou apenas disjuno das proposies simples Marcos
medico, Marcos professor, isto :
25
Unidade I
Ao passo que a proposio Q uma disjuno exclusiva das proposies simples Maria alagoana,
Maria gacha, isto :
O valor lgico da disjuno exclusiva de duas proposies definido pela seguinte tabela-verdade
(ALENCAR FILHO, 2002):
Tabela 8
p q pvq
V V F
V F V
F V V
F F F
Ou seja,
V v V = F, V v F = V, F v V = V, F v F = F
e
V (p v q) = V (p) v V (q)
Note que ambos os conjuntos esto destacados, menos a interseco, que o que denota a
exclusividade no caso.
pvq
p q
Figura 5
26
Lgica
1.2.5 Condicional ()
Lembrete
Tabela 9
p q pq
V V V
V F F
F V V
F F V
(ALENCAR FILHO, 2002)
ou seja,
V V = V, V F = F, F V = V, F F = V
V (p q) = V (p) V (q)
27
Unidade I
Por exemplo:
{ p:q: OMarte
ms de dezembro tem 31 dias (V)
verde (F)
2. p q: Se o ms de dezembro tem 31 dias, Marte verde (F)
V(p q) = V(p) V (q) = V F = F
Neste caso, o conjunto relativo proposio p est contido na proposio q, logo, quando ocorrer p,
tem-se sempre q. Evidentemente, presumem-se aqui proposies verdadeiras.
pq
q
Figura 6
28
Lgica
1.2.6 Bicondicional ()
Tabela 10
p q pq
V V V
V F F
F V F
F F V
Ou seja,
V V = V, V F = F, F V = F, F F =V
29
Unidade I
2. p
p q: Paris a capital da Frana se e somente se tg 4 = 3 (F)
V(p q) = V(p) V (q) = V F = F
Neste caso, o conjunto relativo proposio p e proposio q igual, logo, p est contido em q, e q
est contido em p.
pq
q p
Figura 7
A B
Figura 8
30
Lgica
Juntando vrias proposies simples p, q, r,..., atravs dos conectivos lgicos, geram-se diversas
proposies compostas, por exemplo:
P (p,q) = ~p (p q)
Q (p,q) = (p ~q) q
Para se construir uma tabela-verdade de uma proposio composta, podem-se seguir os seguintes
procedimentos:
c. colocam-se nas primeiras colunas as letras das proposies simples e criam-se as colunas
necessrias em funo das subdivises criadas no item anterior, em que a ltima coluna a
expresso lgica sendo calculada. Observe-se que, em frmulas lgicas complexas, podem-se
utilizar colunas intermedirias, que so combinaes das frmulas fundamentais, porm mais
simples que a sentena-alvo;
31
Unidade I
e. preenchem-se, por fim, as demais colunas com os valores lgicos calculados para cada subdiviso.
Tabela 11
p q ~q p~q ~ (p ~q)
V V F F V
V F V V F
F V F F V
F F V F V
Ou seja:
Observe-se que a proposio P(p,q) associa a cada um dos elementos de um conjunto U {VV, VF, FV, FF}
um nico elemento de um conjunto.
P (p, q) : U {V,F},
32
Lgica
VV
V
VF
F
FV
FF
Figura 9
Lembrete
Procede-se da mesma forma que no exemplo anterior. Nas primeiras colunas reservadas, as
proposies simples; depois, criam-se as subdivises para cada formula fundamental identificada, e a
ltima coluna a frmula-alvo.
Tabela 12
Ou seja:
Observe-se que P(p, q) outra coisa no que uma funo de U = {VV, VF, FV, FF} , cuja representao
grfica por um diagrama sagital a seguinte:
33
Unidade I
VV
VF V
F
FV
FF
Figura 10
P (p, q, r) = p ~r q ~ r
Tabela 13
V V V F V F F
V V F V V V V
V F V F V F F
V F F V V F F
F V V F F F V
F V F V V V V
F F V F F F V
F F F V V F F
Portanto:
Ou seja:
Observe-se que a proposio P(p, q, r) uma funo de U = {VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF}
em {V,F}, cuja representao grfica por um diagrama sagital a seguinte:
34
Lgica
VVV
VVF
VFV
V
VFF
FVV
FVF F
FFV
FFF
Figura 11
Para toda proposio composta P(p, q, r,...), sempre se pode determinar o seu valor lgico (V ou F)
quando so dados ou conhecidos os valores lgicos respectivos das proposies simples componentes
p, q, r,... Neste caso, isso equivaleria a uma linha da tabela-verdade.
Exemplos:
1. (Alencar Filho, 2002 adaptado) Sabendo que os valores lgicos das proposies p e q so
respectivamente V e F, determinar o valor lgico (V ou F) da proposio:
P (p, q) = ~(p q) ~ p ~q
Tabela 14
V(P) Passo
~(V F) ~ V ~F Substituem-se as proposies componentes pelos valores fornecidos.
~V F V Faz-se uma primeira simplificao, eliminando-se um nvel e
invertendo-se os sinais das negaes.
FF Procede-se a mais uma simplificao.
V Finalmente, obtm-se o valor lgico da frmula.
P (p, q) = (p q) (p p q)
35
Unidade I
Saiba mais
Logo, V (P) = (F F) (F F F) = V V = V
3. (ALENCAR FILHO, 2002) Sabendo que V (p) = V, V (q) = F e V (r) = F, determinar o valor lgico (V
ou F) da proposio:
4. (ALENCAR FILHO, 2002) Sabendo que V(r) = V, determinar o valor lgico (V ou F) da proposio: p ~ q r.
Resoluo Como r verdadeira (V), a disjuno ~q r verdadeira (V). Logo, a condicional dada
verdadeira (V), pois o seu consequente verdadeiro (V).
5. (ALENCAR FILHO, 2002) Sabendo que V(q) = V, determinar o valor lgico (V ou F) da proposio:
(p q) (~q ~p).
Resoluo Como q verdadeira (V), ento ~q falsa (F). Logo, a condicional ~ q ~p verdadeira
(V), pois o seu antecedente falso (F). Por consequncia, a condicional dada verdadeira (V), pois o seu
consequente verdadeiro (V).
36
Lgica
X0Vxyyz
~V ~V ~F = F F V = F V =V
Uso de parnteses
Lembrete
H necessidade de se usarem parnteses na simbolizao das proposies para evitar qualquer tipo
de ambiguidade. Assim, por exemplo, da expresso p q r pode-se obter duas proposies colocando-
se os parnteses de forma adequada:
(i) (p q) r
(ii) p (q r)
Elas no tm o mesmo significado, pois em (i) o conectivo principal ; na (ii), o conectivo principal
, isto , (i) uma disjuno e (ii) uma conjuno.
Outro exemplo (ALENCAR FILHO, 2002) a expresso p q r s. Com o uso dos parnteses,
obtm-se as seguintes proposies:
((p q)) r) s;
p ((q r) s);
(p (q r)) s;
p (q (r s));
(p q) (r s).
Os parnteses devem evitar a ambiguidade; o excesso deixa a expresso mais difcil de ler, prejudicando
a clareza da proposio. Entretanto, quando a ordem de precedncia dos conectivos for clara, no haver
a necessidade do uso de parnteses.
37
Unidade I
Optamos por utilizar essa ordem porque, aparentemente, a mais aceita e por ser a mais prxima da
aritmtica convencional. Refora-se que deve estar clara a precedncia adotada para evitar sentenas
lgicas dbias.
a. ~pq
b. ~p q r s
Equivale a ((~p) q) (r s), isto , resolve-se primeiro e para depois resolver-se . Diz-se que
o conectivo principal a implicao (condicional) para essa sentena, que o conectivo mais forte.
c. p q s r
uma bicondicional e nunca uma condicional ou conjuno. Para convert-la numa condicional, h
que se usarem parnteses:
p (q s r)
(p q s) s
p ((q s) r)
p q r s; p q r s; p q ~r s
Atribui-se a John Napier a descoberta do nmero de Neper. um nmero irracional e surge como
limite, para valores muito grandes de n, da sucesso
n
1
lim 1 + = e
n n
Representa-se por e sendo e = 2,7182818284590452353602874...
Lembrete
Tautologia
De acordo com Alencar Filho (2002), tautologia toda a proposio composta cuja ltima coluna da
sua tabela-verdade resulta sempre na letra V (verdade), ou seja, toda proposio composta P(p, q, r,...)
cujo valor lgico sempre V (verdade), quaisquer que sejam os valores lgicos das proposies simples
componentes p, q, r,...
Exemplos:
Tabela 15
P ~p p~p ~(p ~p)
V F F V
F V F V
Tabela 16
P ~p p~p
V F V
F V V
Tabela 17
P ~p pq ~(p q) p ~(p q)
V V V F V
V F F V V
F V F V V
F F F V V
Tabela 18
P q pq pq P q (p q)
V V V V V
V F F F V
F V F F V
F F F V V
40
Lgica
Tabela 19
p q ~q q ~q p V (q ~q) p (q ~q) p
V V F F V V
V F V F V V
F V F F F V
F F V F F V
Tabela 20
p q r ~q pq ~q r P r ~q r
V V V F V V V
V V F F F F V
V F V V V V V
V F F F F V V
F V V F F V V
F V F F F F V
F F V V F V V
F F F V F V V
Seja P (p, q, r,...) uma tautologia e sejam P0(p, q, r,...),Q0 (p, q, r,...), R0 (p, q, r,...)
proposies quaisquer.
Se P (p, q, r,...) uma tautologia, ento P (P0, Q0, R0,...) tambm uma tautologia,
quaisquer que seja as proposies P0, Q0, R0,... (ALENCAR FILHO, 2002).
41
Unidade I
Contradio
Lembrete
Se P (p, q, r,...) uma contradio, ento P (P0, Q0, R0,...) tambm uma contradio,
quaisquer que sejam as proposies P0, Q0, R0,... (ALENCAR FILHO, 2002).
Exemplos:
Tabela 21
p ~p p ~p
V F F
F V F
42
Lgica
Tabela 22
p ~p p~p
V F F
F V F
Tabela 23
p q pq p q ~(p q) (p q) ~(p q)
V V V V F F
V F F V F F
F V F V F F
F F F F V F
Tabela 24
p q ~p ~q p ~q ~p (p ~q)
V V F F F F
V F F F V F
F V V V F F
F F V V F F
(ALENCAR FILHO, 2002).
Contingncia
Lembrete
43
Unidade I
Exemplos:
Tabela 25
p ~p p~p
V F F
F V V
Tabela 26
p q pq pqp
V V V V
V F V V
F V V F
F F F V
Tabela 27
x=3 x=y x3 xy xyx3 X = 3 (x y x 3)
V V F F V V
V F F V F F
F V V F V F
F F V V V F
Augustus De Morgan (Madura, ndia, 27 de junho de 1806 Londres, 18 de maro de 1871) foi um
matemtico e lgico britnico. Formulou as Leis de De Morgan e foi o primeiro a introduzir o termo e
tornar rigorosa a ideia da induo matemtica.
44
Lgica
Resumo
Tabela 28
Conectivo Nome Exemplo
45
Unidade I
Tabela 29
Exerccios
A melhor forma de resolver problemas como este organizar as informaes, de forma a prover uma
melhor visualizao de todo o problema:
I. So trs amigas.
II. Uma loura, outra morena e outra ruiva.
III. Uma Bete, outra Elza e outra Sara.
IV.Cada uma far uma viagem a um pas diferente da Europa: Alemanha, Frana e Espanha.
47
Unidade I
Com a informao da ruiva, sabemos que ela no vai Frana e nem Elza, mas observe que a loura
vai Alemanha e a ruiva no vai Frana, s sobrando Bete para ir Frana. Se Bete vai Frana,
ruiva coube a Espanha. Elza loura e Sara fica sendo a ruiva.
Sendo assim,
A) Alternativa incorreta.
Justificativa: no condiz com a tabela construda.
B) Alternativa incorreta.
Justificativa: no condiz com a tabela construda.
C) Alternativa incorreta.
Justificativa: no condiz com a tabela construda.
D) Alternativa incorreta.
Justificativa: no condiz com a tabela construda.
E) Alternativa correta.
Justificativa: condiz com a tabela construda.
Questo 2. (SAE-PE/2008) Considere a afirmao: Toda cobra venenosa listrada. Podemos concluir
que:
48