Você está na página 1de 138

Lgica

Autores: Prof. Angel Antonio Gonzales Martinez


Prof. kio Nogueira Barbosa
Colaboradores: Profa. Elisngela Mnaco de Moraes
Prof. Roberto Macias
Prof. Daniel Scodeler Raimundo
Professores conteudistas: Angel Antonio Gonzalez Martinez /
kio Nogueira Barbosa

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.

Prof. kio Nogueira Barbosa: Doutorando no Departamento de Engenharia de Computao e Sistemas


Digitais da Escola Politcnica da Universidade de So Paulo. Mestre em engenharia eltrica pelo Departamento
de Engenharia de Sistemas Eletrnicos da Escola Politcnica da Universidade de So Paulo - EPUSP (2006).
Possui especializao em engenharia de segurana do trabalho pela Escola Politcnica da Universidade de So
Paulo - EPUSP/PECE (2002) e graduao em engenharia eltrica (modalidade eletrnica) pela Faculdade de
Engenharia So Paulo - FESP (1999). Exerce suas atividades profissionais na Escola Politcnica da Universidade
de So Paulo desde 1988, onde a partir de 2001 assumiu o cargo de especialista em laboratrio. Atualmente
desempenha suas funes no Laboratrio de Arquitetura e Redes de Computadores (Larc) do Departamento
de Engenharia de Computao e Sistemas Digitais (PCS) da Escola Politcnica da Universidade de So Paulo,
atuando nas seguintes reas: segurana de redes de computadores, gerenciamento e qualidade de servio em
redes computacionais e apoio em laboratrios didticos. professor no curso de Gesto e Gerenciamento de
Redes da Universidade Paulista - UNIP, membro do Comit Brasileiro da Comisso de Estudos de Tecnologia
da Informao (tcnicas de segurana e percia em informtica) da Associao Brasileira de Normas Tcnicas
- ABNT, membro consultor da Comisso de Responsabilidade Social da Ordem dos Advogados do Brasil (OAB-
SP) e perito judicial na rea de informtica. membro fundador e vice-presidente da Associao Brasileira de
Percias de Informtica e Telecomunicaes - SBPIT.

Dados Internacionais de Catalogao na Publicao (CIP)

M385 Martinez, Angel Antonio Gonzales

Lgica. / Angel Antonio Gonzales Martinez; kio Nogueira


Barbosa. - So Paulo: Editora Sol.
136 p. il.

Nota: este volume est publicado nos Cadernos de Estudos


e Pesquisas da UNIP, Srie Didtica, ano XVII, n. 2-025/11,
ISSN 1517-9230.

1.Proposies 2.Argumentao 3.Predicados I.Ttulo

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

Prof. Fbio Romeu de Carvalho


Vice-Reitor de Planejamento, Administrao e Finanas

Profa. Melnia Dalla Torre


Vice-Reitora de Unidades Universitrias

Prof. Dr. Yugo Okida


Vice-Reitor de Ps-Graduao e Pesquisa

Profa. Dra. Marlia Ancona-Lopez


Vice-Reitora de Graduao

Unip Interativa EaD

Profa. Elisabete Brihy


Prof. Marcelo Souza
Prof. Dr. Luiz Felipe Scabar
Prof. Ivan Daliberto Frugoli

Material Didtico EaD

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.

A lgica muito importante e aplicada em diversos ramos do conhecimento, pois se trata de


uma forma de entender o raciocnio humano. Nas cincias exatas, a lgica encontrou maior alcance
principalmente nos temas relacionados computao. Todo o desenvolvimento de software baseado
em lgica, assim como o roteamento de dados na internet, que usa livremente os conceitos de lgica.

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.

Finaliza-se com um breve embasamento dos subsdios lgica de predicados, fundamentam-se os


conceitos de sentenas abertas, quantificadores e, por fim, o silogismo categrico.

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.

A lgica, particularmente sob a acepo dedutiva, constitui a cincia subjacente s investigaes no


domnio do puramente racional, tratando de argumentos e inferncias.

A lgica contempornea tem se convertido em disciplina matemtica, a lgica matemtica, com


caractersticas prprias, dedutiva; o estudo do tipo de raciocnio feito pelos matemticos, porm
aplicveis grande rea da Computao.

Breve histrico

O marco histrico do desenvolvimento da lgica inicia-se propriamente, no sculo IV a.C. com


Aristteles7 (384-322 a.C.). A maior parte da contribuio relevante de Aristteles, para a lgica,
encontra-se no grupo de trabalhos conhecidos como Organon, mais especificamente nos Analytica
priora e no De interpretatione.

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.

Em 1938 Claude E. Shannon mostrou, em sua dissertao de mestrado no Departamento


de Engenharia Eltrica do MIT (Massachusetts Institute of Technology Instituto Tecnolgico de
Massachusetts), a aplicao da lgebra de Boole na anlise de circuitos de rels, o que serviu de
base para o desenvolvimento da teoria dos interruptores (DAGHLIAN, 1936), (DOttaviano, . M. L.,
FEITOSA, H. A., 2003).

Os tpicos elementares da lgica matemtica compilados neste material so de extrema


relevncia para todo e qualquer estudante de cursos relacionados grande rea das cincias da
computao, visto consiste no embasamento terico para o entendimento do outros importantes
conceitos utilizados na Computao (processamento automtico de dados), em diversas disciplinas
que sero estudadas paralelamente disciplina de lgica matemtica ou futuramente, tais como:
sistemas de informao, automao, linguagens de programao, organizao e arquitetura de
computadores, sistemas operacionais, redes de computadores, inteligncia artificial, robtica,
algoritmos etc.

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

Apresentar os conceitos elementares de lgica, operaes bsicas e a simbologia a ser utilizada


juntamente com as respectivas tabelas-verdade. Construir tabelas verdade de proposies compostas,
juntando proposies simples atravs dos conectivos lgicos.

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.

1 FUNDAMENTOS SOBRE PROPOSIES

1.1 Proposies e conectivos

1.1.1 Conceito de proposio

Lembrete

Proposio: 1. Ato ou efeito de propor; proposta 2. Expresso de


pensamentos por meio de palavras. 3. Mxima, sentena, assero.

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

Define-se como proposio o conjunto de palavras ou smbolos que exprimem um pensamento


de sentido completo. As proposies transmitem pensamentos, que afirmam fatos ou juzos que
formamos a respeito das coisas. Enfim, uma proposio uma declarao a respeito de algum
tema.

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

Ambiguidade: 1. Dvida, incerteza 2. Falta de clareza das palavras ou


expresses, que pode causar vrias interpretaes.

Exemplos de proposies:

a. Madrid a capital da Espanha.

b. Aracaju capital de Sergipe.

c. 10 > 23

d. cos =0
2
e. Cristovo Colombo descobriu o Brasil.

f. Cervantes escreveu os Sertes.


12
g. um nmero inteiro.
5
h. O nmero 17 um nmero igual 29.

i. Tan =2.
4

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.

III. Princpio do terceiro excludo: toda proposio ou verdadeira ou falsa.

Deste princpio diz-se que a lgica matemtica uma lgica bivalente.

Nos exemplos, as proposies (a), (b), (c) e (d) so todas verdadeiras e as demais so falsas.

1.1.2 Valores lgicos das proposies

O valor lgico de uma proposio ou verdadeiro se a proposio verdadeira, ou falso se a


proposio falsa, abreviadamente pelas letras V e F, respectivamente.

Exemplo:

a. O chumbo mais pesado que a gua.

b. O sol gira em torno de Marte.

O valor lgico da proposio (a) verdadeiro (V) e o valor lgico da proposio (b) falso (F) (ALENCAR
FILHO, 2002)

1.1.3 Proposies simples e proposies compostas

As proposies podem ser classificadas em simples ou compostas.

Uma proposio simples aquela que no pode ser subdividida em outras proposies.

As proposies simples so geralmente designadas pelas letras latinas minsculas p, q, r, s etc.,


chamadas de letras proposicionais (ALENCAR FILHO, 2002).

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

Vale a pena ler o livro O homem que calculava, de Malba Tahan.

O autor (heternimo do professor Jlio Csar de Mello e Souza) narra


as aventuras e proezas matemticas do calculista persa Beremiz Samir, na
Bagd do sculo XIII.

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.

As proposies compostas so habitualmente designadas pelas letras latinas maisculas P, Q, R, S


etc., tambm chamadas das letras proposicionais (ALENCAR FILHO, 2002).

Exemplo:

P: Joo careca e Alice estudante.

Q: Alice bonita ou Viviane estudante.

R: Se Joo careca, ento infeliz.

Observe que cada uma das proposies anteriores formada por duas proposies simples.

As proposies compostas tambm costumam ser chamadas de frmulas proposicionais ou apenas


frmulas. As proposies simples so tambm chamadas de tomos, pois, assim como o tomo, no
divisvel, enquanto a proposio composta chama de molcula.

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

As proposies componentes de uma proposio composta podem ser,


elas mesmas, proposies compostas.

1.1.4 Conectivos

Chamam-se conectivos as palavras que se usam para formar novas proposies a partir de outras
(ALENCAR FILHO, 2002).

Lembrete

Conectivo: 1. Que liga ou une 2. Vocbulo que estabelece conexo


entre palavras ou partes de uma frase.

Exemplos:

P: O nmero 10 par e o nmero 27 impar.


Q: O quadriltero ABCD retngulo ou quadrado.
R: No est quente.
S: Se Roberto fsico, ento sabe matemtica.
T: O tringulo ABC equiltero se e somente se equingulo.

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).

A seguir, tem-se a representao tabular.

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).

Na prtica, para a determinao do valor lgico de uma proposio composta, recorrese


quase sempre a um dispositivo denominado tabela-verdade, na qual figuram todos
os possveis valores lgicos da proposio composta correspondentes a todas as
possveis combinaes de valores lgicos das proposies simples componentes.
Exemplo, no caso de uma proposio composta por duas proposies simples
componentes p e q, as nicas possveis atribuies de valores lgicos para p e q so:

Tabela 1
p q
V V
V F
F V
F F

Observe-se que os valores lgicos so V e F, e se alternam de dois em dois


para a primeira proposio p e de um em um para a segunda proposio q.
Caso tivssemos uma proposio composta de trs proposies simples componentes
p, q e r, as nicas possveis atribuies de valores lgicos para p, q e r so:

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

Da mesma forma, os valores lgicos V e F se alternam de quatro em quatro


para a primeira proposio em p, de dois em dois para a segunda proposio
q, e de um em um para a terceira r (ALENCAR FILHO, 2002).

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:

V(p) = F, V(q) = F, V(r) = V

V(P) = V, V(q) = F, V(r) = F

Lembrete

Notao: 1. Ato ou efeito de notar 2. Maneira de notar 3. Conjunto de


sinais para se fazer representao ou designao.

A trigonometria (trigono: tringulo e metria: medidas) o estudo da matemtica responsvel pela


relao existente entre os lados e os ngulos de um tringulo. Ao longo do texto usar-se- alguns
exemplos de proposies baseadas em trigonometria, logo, segue-se algo para recordar.
B

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

1.2 Operaes lgicas sobre proposies

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.

1.2.1 Negao (~)

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).

A notao da negao de p indica-se por ~ p, que se l: no p.

O valor lgico da negao de uma proposio , portanto, definido pela seguinte tabela-verdade:

Tabela 5

p ~p
V F
F V

Ou seja,

A negao de V F e a negao de F V. Em smbolos:

~V = F, ~F = V

O valor lgico de no p a negao do valor lgico de p. Em smbolos:

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).

p: A Ursa Maior uma estrela.


~p: A Ursa Maior no uma estrela.

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).

q: Jorge jogador de futebol.

~q: No verdade que Jorge jogador de futebol.

~q: falso que Jorge jogador de futebol.

Entretanto, a negao de Todas as mulheres so amveis Nem todas as mulheres so amveis,


e a de Nenhuma mulher amvel Alguma mulher amvel.

Avalie as seguintes expresses:

Esta frase falsa.

O atual imperador da Frana descendente de Napoleo.

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

Paradoxo: 1. Opinio contrria opinio comum 2. Opinio inverossmil


ou absurda que se apresenta como verdadeira.

Paradigma: 1. Modelo, padro 2. Modelo ou tipo de conjugao.

21
Unidade I

Representao da negao usando o diagrama de Venn

~p

Figura 2

1.2.2 Conjuno ()

A conjuno de duas proposies p e q proposio representada por p e q, cujo valor lgico


verdadeiro (V) quando as proposies p e q so ambas verdadeiras, e falso (F) nos demais casos (ALENCAR
FILHO, 2002).

A notao da conjuno de duas proposies p e q indica-se por: p q, que se l: p e q.

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

Conjuno: 1. Unio, ajuntamento 2. Palavra ou expresso que liga


oraes ou frases.

22
Lgica

Exemplos:

p: A clara do ovo branca (V)


1.
{ q: 3<7 (V)
p q: A clara do ovo branca e 3 < 7 (V)
V(p q) = V(p) V (q) = V V = V

{ p:q: Enxofre azul (F)


17 um nmero primo (V)
2.
p q: Enxofre azul e 17 um nmero primo (F)
V(p q) = V(p) V (q) = F V = F

{ p:q: Cantor nasceu na Rssia (V)


Fermat era mdico (F)
3.
p q: Cantor nasceu na Rssia e Fermat era mdico (F)
V(p q) = V(p) V (q) = V F = (F)

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)

Representao da conjuno usando o diagrama de Venn

Note que apenas a interseco ente os conjuntos est destacada.

p pq q

Figura 3

1.2.3 Disjuno inclusiva ou soma lgica ()

A disjuno de duas proposies p e q proposio representada por p ou q, cujo valor lgico


verdadeiro (V) quando ao menos uma das proposies p e q verdadeira, e falso (F) quando as proposies
p e q so ambas falsas (ALENCAR FILHO, 2002).

23
Unidade I

Lembrete

Disjuno: 1. Separao, desunio, diviso.

Observe que o significado do dicionrio oposto ao da lgica, que


significa a unio. No confunda.

A notao da disjuno de duas proposies p e q indica-se por: p q, que se l: p ou q.

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)

Exemplos (adaptados de Alencar Filho, 2002):

{ p:q: Madrid a capital da Espanha (V)


9 - 4 = 5 (V)
1.
p q: Madrid a capital da Espanha ou 9 - 4 = 5 (V)
V(p q) = V(p) V (q) = V V = V

{ 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: Roma a capital da Austrlia (F)


3.
{ 5
q: uma frao prpria (V)
7
5
p q: Roma a capital da Austrlia ou 7 uma frao prpria (V)
V(p q) = V(p) V (q) = F V = V

{ 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

Representao da disjuno exclusiva usando o diagrama de Venn

Note que ambos os conjuntos esto destacados.

p q

pq

Figura 4

1.2.4 Disjuno exclusiva (v)

A palavra ou tem dois sentidos, por exemplo, consideremos as duas seguintes proposies compostas
(ALENCAR FILHO, 2002):

P: Marcos mdico ou professor.

Q: Maria alagoana ou gacha.

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.

Na proposio P, diz-se que ou inclusivo, e na proposio Q, diz-se que ou exclusivo.

Em lgica matemtica, usa-se habitualmente o smbolo para ou inclusivo e o smbolo v para


ou exclusivo.

Logo, a proposio P uma disjuno inclusiva ou apenas disjuno das proposies simples Marcos
medico, Marcos professor, isto :
25
Unidade I

P: Marcos mdico Marcos professor.

Ao passo que a proposio Q uma disjuno exclusiva das proposies simples Maria alagoana,
Maria gacha, isto :

Q: Maria alagoana v Maria gacha.

A disjuno exclusiva de duas proposies p e q proposio representada por p v q, que se l:


ou p ou q ou p ou q, mas no ambos; verdadeira quando p e q possuem valores lgicos distintos;
falsa (F) quando p e q possuem valores lgicos idnticos, isto , ou ambos verdadeiros ou ambos
falsos.

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)

Representao da disjuno exclusiva usando o diagrama de Venn

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 ()

A proposio condicional ou apenas condicional uma proposio representada por se p ento q,


cujo valor lgico falso (F), no caso em que p verdadeira e q falsa e verdadeiro (V) nos demais casos
(ALENCAR FILHO, 2002).

Lembrete

Condicional: 1. Dependente de condio; 2. Que envolve condio.

A notao da condicional de duas proposies p e q indica-se por p q,


que se l tambm de duas maneiras:

p condio suficiente para q

q condio necessria para p

Na condicional pq, diz-se que p o antecedente e q o consequente. O


smbolo chamado smbolo da implicao.

O valor lgico da condicional de duas proposies , portanto, definido pela


seguinte tabelaverdade:

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)

Observao: em uma condicional, no h a necessidade de que o consequente seja uma consequncia


do antecedente. A condicional ou implicao apenas uma relao entre duas proposies que no
preciso ter relao real entre elas.

27
Unidade I

Por exemplo:

O Vaticano um pas A TV nova.

O carro a lcool mais barato O Amazonas o maior Estado da federao.

Obviamente, no h relao entre as proposies em cada lado do smbolo de implicao.

Exemplos (ALENCAR FILHO, 2002):

p: Galois morreu em um duelo (V)


1.
{ q: 3 um nmero real (V)
p q: Se Galois morreu em um duelo, ento 3 um nmero real (V)
V(p q) = V(q) V V = V

{ 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

{ p:q: Cabral escreveu a Odisseia (F)


Cantor criou a Teoria dos Conjuntos (V)
3.
p q: Se Cabral escreveu a Odisseia, ento Cantor criou a teoria dos conjuntos (V)
V(p q) = V(p) V (q) = F V = V

{ p:q: Salvador Dali nasceu na Bahia (F)


O ano tem seis meses (V)
4.
p q: Se Salvador Dali nasceu na Bahia, ento o ano tem seis meses (V)
V(p q) = V(p) V (q) = F F = V

Representao da condicional usando o diagrama de Venn

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 ()

A proposio bicondicional ou apenas bicondicional uma proposio


representada por p se e somente se q, cujo valor lgico verdadeiro (V)
quando p e q so ambas verdadeiras ou ambas falsas, e falso (F) nos demais
casos.

A notao da bicondicional de duas proposies p e q indica-se por: p q,


que tambm se l de uma das seguintes maneiras:

(i) p condio necessria e suficiente para q

(ii) q condio necessria e suficiente para p

O valor lgico da bicondicional de duas proposies , portanto, definido


pela seguinte tabela-verdade (ALENCAR FILHO, 2002).

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

V(p q) = V(p) V (q)

Portanto, uma bicondicional verdadeira somente quando tambm o so as duas condicionais:


p q e q p.

Exemplos adaptados de Alencar Filho (2002):

{ p:q: Rssia fica na Europa (V)


A grama verde (V)
1.
p q: Rssia fica na Europa se e somente se a grama verde (V)
V(p q) = V(p) V (q) = V V = V

29
Unidade I

{ q:p: tgParis = a3 capital


p
4 (F)
da Frana (V)

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

{ p:q: Einstein descobriu o Brasil (F)


Tiradentes foi um mrtir (V)
3.
p q: Einstein descobriu o Brasil se e somente se Tiradentes foi um mrtir (F)
q: V(p q) = V(p) V (q) = F F= F

{ q:p: A terra um quadrada


2
(F)
nmero racional (F)
4.
p q: A terra quadrada se e somente se 2 um nmero racional (F)
V(p q) = V(p) V (q) = F F = V

Representao da bicondicional usando o diagrama de Venn

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

Diagramas de Venn so ilustraes utilizadas principalmente no ramo da matemtica conhecido como


teoria dos conjuntos. Esses diagramas so usados para mostrar graficamente agrupamento de elementos
em conjuntos, representados cada um por um crculo ou uma oval. A posio relativa em termos desses
crculos mostra a relao entre os conjuntos. Por exemplo, se os crculos dos conjuntos A e B se sobrepem,
uma rea comum a ambos os conjuntos que contm todos os elementos contidos em A e B. Se o crculo
do conjunto A est dentro do crculo de outra B, que todos os elementos de A tambm esto contidos em
B. E se no houver nenhuma rea em comum, porque no h elementos em comum a A e B.

A B

Figura 8

30
Lgica

2 trabalhando com as proposies

2.1 Construo da tabela-verdade

Tabela-verdade de uma proposio composta

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

R (p,q,r) = ~(q (p ~r) ) (p ~q r)

Usando as tabelas-verdade das operaes lgicas fundamentais:

(a) ~p, (b) p q, (c) p q, (d) p q, (e) p q

possvel construir a tabela-verdade correspondente a qualquer proposio composta.

A tabela-verdade mostrar exatamente os casos em que a proposio composta verdadeira (V) ou


falsa (F), j que o seu valor lgico s depende dos valores lgicos das proposies simples componentes
(ALENCAR FILHO, 2002).

O nmero de linhas da tabela-verdade de uma proposio composta depende do nmero de


proposies simples que a formam. Assim, a tabela-verdade de uma proposio composta com n
proposies simples componentes contm 2n linhas.

Construo da tabela-verdade de uma proposio composta

Para se construir uma tabela-verdade de uma proposio composta, podem-se seguir os seguintes
procedimentos:

a. encontra-se o nmero de linhas da tabela-verdade, que igual a 2 elevado ao nmero de proposies


simples componentes (2n; n nmero de proposies simples que formam a proposio composta);

b. observa-se a precedncia dos conectivos lgicos e subdivide-se a proposio composta em


proposies menores, o mais prximo possvel das tabelas-verdade das proposies fundamentais;

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

d. preenchem-se as colunas referentes s proposies simples com todos os possveis valores V e F;

e. preenchem-se, por fim, as demais colunas com os valores lgicos calculados para cada subdiviso.

Exemplos adaptados de Alencar Filho (2002):

1. Construir a tabela-verdade da proposio:

P(p,q) = ~(p ~q)

Forma-se, em primeiro lugar, o par de colunas correspondentes s duas proposies simples


componentes p e q. Em seguida, criam-se colunas para subdivises observadas em funo das frmulas
fundamentais e, na ltima coluna, a frmula que o objetivo do clculo.

Observando a frmula, identifica-se primeiramente a negao ~q, depois a conjuno entre p e ~q


e, por ltimo, a sentena-alvo.

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

Portanto, os valores lgicos da proposio composta dada correspondente a todas as possveis


atribuies dos valores lgicos V e F s proposies simples componentes p e q (VV, VF, FV e FF) so V, F,
V e V, isto simbolicamente:

P (VV) = V, P(VF) = F, P(FV) = V , P(FF) = V

Ou seja:

P (VV, VF, FV, FF) = VFVV

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.

{V,F}, isto , P (p,q) uma funo de U em {V,F}.

P (p, q) : U {V,F},

cuja representao grfica por um diagrama sagital a seguinte:

32
Lgica

VV

V
VF

F
FV

FF

Figura 9

Lembrete

Sagital: 1. Que tem a forma de seta 2. Segundo o plano de simetria:


corte sagital.

2. Construir a tabela-verdade da proposio

P(p, q) = ~(p q) v ~(q p)

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

p q pq q p ~(pq) ~(q p) ~(p q) ~(q p)


V V V V F F F
V F F F V V V
F V F F V V V
F F F V V F V

P (VV) = F, P (VF) = V, P (FV) = V, P (FF) = V

Ou seja:

P (VV, VF, FV, FF) = FVVV

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

3. Construir a tabela-verdade da proposio:

P (p, q, r) = p ~r q ~ r

Analogamente aos itens anteriores:

Tabela 13

p q r ~r p~r q~r p~rq~r

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:

P(VVV) = F, P (VVF) = V, P(VFV) = F, P(VFF) = F

P (FVV) =V, P (FVF) = V, P (FFV) = V, P(FFF) = F

Ou seja:

P (VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) = FVFFVVVF

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

Valor lgico de uma proposio composta

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

Resoluo Inicialmente, substitumos as proposies simples componentes pelos respectivos


valores lgicos, e com o auxlio das tabelas-verdade das frmulas fundamentais, damos incio ao clculo
proposicional (ou sentencial):

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.

2. (Alencar Filho, 2002 adaptado) Sejam as proposies p: = 3 e q: ln = 2 = 0. Determinar o


valor lgico (V ou F) da proposio, onde o nmero de Neper.

P (p, q) = (p q) (p p q)

35
Unidade I

Resoluo As proposies componentes p e q so ambas falsas, pois so expresses matemticas


falsas, uma vez que o nmero de Neper igual a 2,7182818284590452353602874.

Saiba mais

Recomenda-se a leitura da obra e: A histria de um nmero, do autor


Eli Maor e publicado pela editora Record. Nessa obra, passa-se pela histria
do clculo diferencial e integral, motivo de verdadeira batalha intelectual
entre Newton e Leibniz.

Portanto, V (p) = F e V (q) = F

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:

P (p, q, r) = (q (r ~p)) ((~q p) r)

Resoluo Temos, sucessivamente:

V(P) = (F (F ~V)) ((~F V) F) =


= (F (F F)) ((V V) f) =
= (F V) (V F) = F F = F

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).

6. (ALENCAR FILHO, 2002) Sabendo que as proposies x = 0 e x = y so verdadeiras e que a proposio


y = z falsa, determinar o valor lgico (V ou F) da proposio:

36
Lgica

X0Vxyyz

Resoluo Temos, sucessivamente:

~V ~V ~F = F F V = F V =V

Uso de parnteses

Lembrete

Parntese: 1. Frase intercalada em um perodo 2. Cada um dos sinais de


pontuao ( ) entre os quais se colocam as palavras de um parntese. Plural:
parnteses. A forma parntesis (singular e plural) tambm aceita.

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).

Desta forma, quaisquer duas delas nunca tm o mesmo significado.

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

Ordem de precedncia dos conectivos

Os parnteses, bem como colchetes ou chaves, so considerados caracteres de pontuao para


a lgica. Em frmulas complexas e que apresentem uma grande quantidade de parnteses, pode-se
eventualmente eliminar alguns de acordo com a regra de precedncia a seguir.

(1) Maior precedncia: ~ (mais fraco)


(2)
(3)
(4)
(5) Menor precedncia: (mais forte)

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.

Exemplos (ALENCAR FILHO, 2002):

a. ~pq

Equivale a (~p) q, assim, a negao aplica-se proposio p e, por conseguinte, a proposio


~p q entendida como uma conjuno. Diz-se que o conectivo principal a conjuno para essa
sentena, que o conectivo mais forte.

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)

e, analogamente, para convert-la em conjuno:

(p q s) s

O consequente da condicional uma bicondicional. Desejando-se converter esse consequente numa


conjuno, escreve-se:
38
Lgica

p ((q s) r)

Tambm so bicondicionais as trs seguintes proposies:

p q r s; p q r s; p q ~r s

Quando um mesmo conectivo aparece sucessivamente repetido, suprimem-se os parnteses,


fazendo-se a associao a partir da esquerda.

Segundo essas duas convenes, as quatro seguintes proposies:

((~(~ (p q))) V (~p)) pode ser escrita ~~ (p q) ~p

((p (~q)) (r (~p)))) pode ser escrita (p ~q) (r < ~p)

(((p (~q)) r) (~p)) pode ser escrita (p ~q) r ~q

((~p) (q (~(p r)) pode ser escrita ~p (q ~(p r)

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...

2.2 Tautologia, contradio e contingncia

Lembrete

Tautologia: 1. Vcio de linguagem que consiste em dizer as mesmas


ideias de formas diferentes.

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,...

Ainda segundo o autor, as tautologias so tambm denominadas proposies tautolgicas ou


proposies logicamente verdadeiras.
39
Unidade I

imediato que as proposies p p e p p so tautolgicas (princpio de identidade para as proposies).

Exemplos:

A proposio ~(p ~p) (princpio da no contradio) tautolgica,


conforme se v pela sua tabela-verdade:

Tabela 15
P ~p p~p ~(p ~p)
V F F V
F V F V

Portanto, dizer que uma proposio no pode ser simultaneamente


verdadeira e falsa sempre verdadeiro.

A proposio p ~ p (princpio do terceiro excludo) tautolgica, como


imediatamente se v pela tabela-verdade:

Tabela 16
P ~p p~p
V F V
F V V

Portanto, dizer que uma proposio ou verdadeira ou falsa sempre verdadeiro.

A proposio p ~(p q) tautolgica, conforme se v pela tabela-verdade:

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

A proposio p q (p q) tautolgica, conforme se mostra a sua


tabela-verdade:

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

A proposio p (q ~q) p tautolgica, conforme mostra a


tabela-verdade:

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

A proposio p r ~q r tautolgica, conforme se v na


tabela-verdade:

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

(ALENCAR FILHO, 2002)

Princpio de substituio para as tautologias

Seja P (p, q, r,...) uma tautologia e sejam P0(p, q, r,...),Q0 (p, q, r,...), R0 (p, q, r,...)
proposies quaisquer.

Como o valor lgico de P (p, q, r,...) sempre V (verdade), quaisquer que


sejam os valores lgicos das proposies simples componentes p, q, r, bvio
que, substituindo p por P0, q por Q0, por R0, na tautologia P(p, q, r,...), a nova
proposio P (P0, Q0, R0,...) que assim se obtm tambm uma tautologia.
Logo, pode-se aplicar o seguinte princpio de substituio:

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).

Observe que isto uma afirmao muito forte.

41
Unidade I

Contradio

Lembrete

Contradio: 1. Ao de contradizer; afirmao em contrrio ao


que foi dito 2. Incoerncia entre afirmaes atuais e anteriores 3.
Oposio entre duas proposies, das quais uma necessariamente
exclui a outra.

A contradio toda proposio composta cuja ltima coluna da


sua tabela-verdade sempre a letra F (falso), ou seja, a contradio
toda proposio composta P (p, q, r,...) cujo valor lgico sempre F
(falso), quaisquer que sejam os valores lgicos das proposies simples
componentes p, q, r,...

Como uma tautologia sempre verdadeira (V), a negao de uma tautologia


sempre falsa (F), ou seja, uma contradio e vice-versa.

Portanto, P (p, q, r,...) uma tautologia se e somente se ~P (p, q, r,...) sempre


uma contradio, e P (p, q, r,...) uma contradio se e somente se ~P (p, q, r,...)
uma tautologia.

As contradies so tambm denominadas proposies contravlidas ou


proposies logicamente falsas.

Para as contradies, vale o princpio de substituio anlogo ao que foi


dado para as tautologias:

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).

Observe que isto uma afirmao muito forte.

Exemplos:

A proposio p ~p uma contradio, conforme se v pela sua tabela-verdade:

Tabela 21
p ~p p ~p
V F F
F V F

42
Lgica

Portanto, dizer que uma proposio pode ser simultaneamente verdadeira e


falsa sempre falso.

A proposio p ~p uma contradio, conforme mostra a sua tabela-verdade:

Tabela 22
p ~p p~p
V F F
F V F

A proposio (p q) ~(p q) uma contradio, conforme se v pela


tabela-verdade:

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

A proposio ~p (p ~q) uma contradio, conforme mostra a sua


tabela-verdade:

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

Contingncia: 1. Qualidade do que contingente 2. Eventualidade 3.


Fato possvel mas incerto.

Encontramos em Alencar Filho (2002), que contingncia so todas as proposies compostas em


cuja ltima coluna da sua tabela-verdade figuram as letras V e F, cada uma pelo menos uma vez, ou seja,
a contingncia toda a proposio composta que no tautologia nem contradio.

As contingncias so tambm denominadas proposies contingentes ou proposies indeterminadas.

43
Unidade I

Exemplos:

A proposio p ~p uma contingncia, conforme se v pela sua tabela-


verdade:

Tabela 25
p ~p p~p
V F F
F V V

A proposio p q p uma contingncia, conforme mostra a sua


tabela-verdade:

Tabela 26
p q pq pqp
V V V V
V F V V
F V V F
F F F V

A proposio x = 3 (x y x 3) uma contingncia, conforme mostra


a sua tabela-verdade:

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

(ALENCAR FILHO, 2002).

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.

As seguintes tautologias so conhecidas como as Leis de De Morgan:

~(p q) (~p ~q)

~(p q) (~p ~q)

44
Lgica

Essas leis so muito usadas em eletrnica digital e em programas de computador.

Resumo

Nesta unidade, foram apresentados os conceitos bsicos sobre


proposies e a lgica proposicional. Introduziu-se o conceito de valor
lgico, apresentaram-se os principais conectivos. Verificaram-se os
dois tipos bsicos de proposio, as proposies simples e proposies
compostas. Tambm se apresentaram os conceitos de tabelas-verdade, a
notao para a representao de valores lgicos e a simbologia usada para
unir proposies.

Em um segundo momento, apresentaram-se de maneira mais


abrangente os conectivos e sua respectiva simbologia: negao,
conjuno, disjuno inclusiva e exclusiva, condicional e bicondicional.
As tabelas-verdade das frmulas fundamentais foram tambm exploradas
como procedimento de analise para a lgica. Para tanto, destacaram-se
os procedimentos para a construo de uma tabela-verdade para uma
proposio composta.

Por fim, foram realizados os clculos do valor lgico de uma proposio.


Apresentou-se a precedncia de conectivos, assim como proposies
tautolgicas, contraditrias e contingentes.

Tabela 28
Conectivo Nome Exemplo

~ Negao ~p: Joo no jogador de futebol


Conjuno p q: Joo alto e Maria alta

Disjuno p q: Joo alto ou Maria alta

v Disjuno exclusiva p q: Joo alto ou Joo baixo


Condicional p q: Se Joo alto, ento Maria alta
Bicondicional p q: Joo Alto se e somente se Maria alta

45
Unidade I

Tabela 29

Frmula Tabelas-verdade Frmulas fundamentais


~p
p ~p
V F
F V
pq
p q pq
V V V
V F F
F V F
F F F
pq
p q pq
V V V
V F V
F V V
F F F
pq
p q pvq
V V F
V F V
F V V
F F F
pq
p q pq
V V V
V F F
F V V
F F V
pq p q pq
V V V
V F F
F V F
F F V

Exerccios

Questo 1. (Resumos-Concursos/2008) Um agente de viagens atende trs amigas. Uma delas


loura, outra morena e a outra ruiva. O agente sabe que uma delas se chama Bete, outra se chama
Elza e a outra se chama Sara. Sabe, ainda, que cada uma delas far uma viagem a um pas diferente da
Europa: uma delas ir Alemanha, outra ir Frana e a outra ir Espanha. Ao agente de viagens, que
queria identificar o nome e o destino de cada uma, elas deram as seguintes informaes:
46
Lgica

A loura: No vou Frana nem Espanha.


A morena: Meu nome no Elza nem Sara.
A ruiva: Nem eu nem Elza vamos Frana.

O agente de viagens concluiu, ento, corretamente, que:

A) A loura Sara e vai Espanha.


B) A ruiva sara e vai Frana.
C) A ruiva Bete e vai Espanha.
D) A morena Bete e vai Espanha.
E) A loura Elza e vai Alemanha.

Resposta correta: alternativa E.

Anlise das alternativas

A melhor forma de resolver problemas como este organizar as informaes, de forma a prover uma
melhor visualizao de todo o problema:

Inicialmente importante analisar o que foi dado no 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.

V. Elas deram as seguintes informaes:

A loura: No vou Frana nem Espanha.


A morena: Meu nome no Elza nem Sara.
A ruiva: Nem eu nem Elza vamos Frana.

Pode-se fazer uma tabela:

Cor dos cabelos Loura Morena Ruiva


Afirmao No vou Frana nem Espanha Meu nome no Elza nem sara Nem eu nem Elza vamos Frana
Pas Alemanha Frana Espanha
Nome Elza Bete Sara

47
Unidade I

Com a informao da loura, sabemos que ela vai para a Alemanha.

Com a informao da morena, sabemos que ela a Bete.

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:

A) Toda cobra listrada venenosa.


B) Toda cobra que no listrada no venenosa.
C) Toda cobra que no venenosa no listrada.
D) Algumas cobras venenosas no so listradas.
E) Algumas cobras que no so listradas podem ser venenosas.

Resoluo desta questo na Plataforma.

48
Lgica

Unidade II
Objetivos

Apresentar regras e estruturas adicionais sobre o uso de proposies. Conceituar implicao lgica,
tautologias, e as propriedade sobre proposies. Apresentar os fundamentos da deduo, mtodos
dedutivos e tcnicas de reduo da quantidade de conectivos.

Introduo

Nesta unidade, sero apresentados temas mais avanados sobre proposies, o que permitir ao
aluno, tcnicas adicionais as j estudadas na unidade anterior, possibilitando assim lidar com operaes
lgicas mais complexas.

3 OPERAES ADICIONAIS SOBRE PROPOSIES

3.1 Implicao lgica

3.1.1 Definio

Uma proposio P (p, q, r,...) implica logicamente uma proposio Q (p, q, r,...) se Q (p, q, r,...)
verdadeira todas as vezes que P (p, q, r,...) for verdadeira.

Verifica-se facilmente a implicao observando-se a ltima coluna nas linhas da tabela-verdade


da proposio P, quando elas apresentarem valor verdadeiro. Se, na linha correspondente da tabela-
verdade de Q, obtm-se tambm o valor verdadeiro, conclui-se que P implica Q.

A notao de que a proposio P (p, q, r,...) implica a proposio Q (p, q, r,...) por:

P (p, q, r,...) Q (p, q, r,...)

3.1.2 Propriedades da implicao lgica

A implicao lgica tem as propriedades reflexiva e transitiva:

Reflexiva: P (p, q, r,...) P (p, q, r,...)

Transitiva: Se P (p, q, r,...) Q (p, q, r,...) e


Q (p, q, r,...) R (p, q, r,...), ento
P (p, q, r,...) R (p, q, r,...)
49
Unidade II

Exemplos:

1. A tabela-verdade da proposio (p q) ~ p:

Tabela 30

p q pq ~p (p q) ~ p
V V V F F
V F V F F
F V V V V
F F F V F

Essa proposio verdadeira somente na linha 3 e, nessa mesma linha, a proposio q tambm
verdadeira.

Logo, tem-se uma implicao lgica:

(p q) ~p q

2. A tabela-verdade das proposies: p q, p q p q :

Tabela 31

p q pq pq pq
V V V V V
V F F V F
F V F V F
F F F F V

A proposio p q verdadeira somente na linha 1 e, nessa linha, as proposies p q e p q


tambm so verdadeiras. Logo, a primeira proposio implica cada uma das outras duas proposies.

Em smbolos:

pqpqepqpq

3. A tabela-verdade da proposio (p q) p :

Tabela 32

t q pq (p q) p
V V V V
V F F F
F V V F
F F V F

50
Lgica

Essa proposio verdadeira somente na linha 1 e, nesta linha, a proposio q tambm


verdadeira.

Em smbolos:

(p q) p q

4. A tabela-verdade das proposies ( p q) ~q e ~p so:

Tabela 33

p q p q ~q (p q) ~ q) ~p
V V V F F F
V F F V F F
F V V F F V
F F V V V V

A proposio (p q) ~q verdadeira somente na linha 4, e nesta linha, a proposio ~p tambm


verdadeira.

Em smbolos:

(p q) ~ q ~p

3.1.3 Tautologias e implicao lgica

A proposio P (p, q, r,...) implica a proposio Q (p, q, r,...), isto : P (p, q, r,...)
Q (p, q, r,...)

Se e somente se a condicional:

P (p, q, r,...) Q (p, q, r,...) tautolgica

Portanto, a toda implicao lgica corresponde uma condicional tautolgica


e vice-versa (ALENCAR FILHO, 2002).

Da, se P (p, q, r,...) Q (p, q, r,...), ento, tambm se tem:

P (P0, Q0, R0,...) Q (P0, Q0, R0,...)

Quaisquer que sejam a proposies P0, Q0, R0,...

51
Unidade II

Observao

Observao: os smbolos e so distintos, pois o primeiro de


operao lgica (aplicado, por exemplo, s proposies p e q, d a nova
proposio p q), enquanto o segundo de relao, estabelece que a
condicional P (p, q, r,...) Q (p, q, r,...) tautolgica (ALENCAR FILHO, 2002).

Exemplos (ALENCAR FILHO, 2002):

1. A condicional p ~q q tautolgica, pois a ltima coluna da sua tabela-verdade apresenta


somente valores verdadeiros.

Tabela 34

p q ~p p ~p p ~p q
V V F F V
V F F F V
F V V F V
F F V F V

2. A proposio (p q) p implica a proposio q, pois a condicional (p q) p q tautolgica,


conforme se v pela tabela-verdade:

Tabela 35

p q p q (pq) p (p q) p q
V V V V V
V F F F V
F V F F V
F F V F V

Portanto, (p q) p q.

3.2 Equivalncia lgica

3.2.1 Definio

Diz-se que duas ou mais proposies so logicamente equivalentes quando suas proposies
possuem a mesma tabela-verdade. De maneira mais formal, tem-se:

Uma proposio P (p, q, r,...) logicamente equivalente ou apenas equivalente


a uma proposio Q (p, q, r,...) se as tabelas-verdade dessas duas proposies
so idnticas (ALENCAR FILHO, 2002).
52
Lgica

A notao para uma proposio P (p, q, r,...) ser equivalente a uma proposio Q (p, q, r,...) dada
por:

P (p, q, r,...) Q (p, q, r,...)

3.2.2 Propriedades da equivalncia lgica

A equivalncia lgica tem as seguintes propriedades: reflexiva, simtrica e transitiva.

Em smbolos:

Reflexiva: P (p, q, r,...) P (p, q, r,...)

Simtrica: Se P (p, q, r,...) Q (p, q, r,...)

Q (p, q, r,...) P(p, q, r,...)

Transitiva: Se P (p, q, r,...) Q (p, q, r,...)

Q (p, q, r) R (p, q, r,...)

P (p, q, r) R (p, q, r,...)

Exemplos (ALENCAR FILHO, 2002):

1. As proposies ~~p e p so equivalentes, isto , ~~p p (regra da dupla negao). o que


demonstra a tabela-verdade:

Tabela 36

p ~p ~~p
V F V
F V F

Notam-se as colunas destacadas, logo, a dupla negao equivale afirmao.

2. As proposies ~p p e p so equivalentes, isto , ~p p p o que demonstra a tabela:

Tabela 37

p ~p ~p p
V F V
F V F

53
Unidade II

3. A condicional p q e a disjuno ~p q tm tabelas-verdade idnticas:

Tabela 38
p q pq ~p ~p q
V V V F V
V F F F F
F V V V V
F F V V V

Por consequncia, as duas proposies so equivalentes: p q ~p q.

4. As condicionais p p q e p q so equivalentes, isto p p q p q. o que demonstra


a tabela.

Tabela 39
p q pq ppq pq
V V V V V
V F F F F
F V F V V
F F F V V

5. A bicondicional p q e a conjuno (p q) (q p) tm tabelas-verdade idnticas:

Tabela 40
p q pq pq qp (p q) (q p)
V V V V V V
V F F F V F
F V F V F F
F F V V V V

Por consequncia, as duas proposies so equivalentes:

P q (p q) (q p)

3.2.3 Tautologias e equivalncia lgica

A proposio P (p, q, r,...) equivalente proposio Q (p, q, r,...), isto :

P (p, q, r,...) Q (p, q, r,...)

Se e somente se a bicondicional:

P (p, q, r,...) Q (p, q, r,...) tautolgica (ALENCAR FILHO, 2002).


54
Lgica

Logo, toda a equivalncia lgica corresponde a uma bicondicional tautolgica e vice-versa.

Se P (p, q, r,...) Q (p, q, r,...), ento tambm se tem:

P (P0, Q0, R0,...) Q (P0, Q0, R0,...)

Quaisquer que sejam as proposies P0, Q0, R0,...

Observao

Os smbolos e so distintos, pois o primeiro de operao lgica


(aplicado, por exemplo, s proposies p e q, d a nova proposio p q),
enquanto o segundo de relao (estabelece que a bicondicional P (p, q,
r,...) Q (p, q, r,...) tautolgica (ALENCAR FILHO, 2002).

3.2.4 Proposies associadas a uma condicional

Dada a condicional p q, chamam-se proposies associadas a p q as


trs seguintes proposies condicionais que contm p e q:

a) Proposio recproca de p q: q p
b) Proposio contrria de p q: ~p ~q
c) Proposio contrapositiva de p q: ~q ~ p

As tabelas-verdade dessas quatro proposies so:

Tabela 41

p q pq qp ~p ~q ~ q ~p
V V V V V V
V F F V V F
F V V F F V
F F V V V V

E demonstram duas importantes propriedades:

A condicional p q e a sua contrapositiva ~q ~p so equivalentes, ou seja:

p q ~p ~q

A recproca q p e a contrria ~p ~q da condicional p q so


equivalentes, ou seja:
55
Unidade II

q p ~p ~q

As mesmas tabelas-verdade tambm demonstram que a condicional p q


e a sua recproca q p ou a sua contrria ~p ~q no so equivalentes.

A contrria de p q tambm denominada a inversa de p q, e a


contrapositiva de p q a contrria da recproca de p q, por isso tambm
denominada contrarrecproca de p q. Tambm se diz que p q a direta
em relao s associadas (ALENCAR FILHO, 2002).

Exemplos adaptados de Alencar Filho (2002):

1. Seja a condicional relativa a um quadriltero Q:

p q: se Q quadrado, ento Q retngulo

A recproca dessa proposio :

q p: se Q retngulo, ento quadrado.

Aqui, a condicional p q verdadeira, mas a sua recproca q p falsa.

2 A contrapositiva da condicional:

p q: Se Joo professor, ento miservel.

~q ~p: Se Joo no miservel, ento no professor.

3. Encontre a positiva da condicional Se x maior que zero, ento x no negativo.

O primeiro passo inferir as proposies bsicas e a elas atribuir uma letra das variveis proposicionais.
Logo, representando por p a proposio x maior que zero e por q a proposio x negativo, note
que em q no foi usada a negao. A condicional na forma simblica fica:

p ~q

Da que a sua contrapositiva :

~~q ~p q ~ p

Isso , em linguagem corrente: Se x negativo, ento x no maior que zero.

4. Seja demonstrada a proposio condicional:

p q: se x2 mpar, ento x mpar.

56
Lgica

A contrapositiva dessa condicional :

~q ~p: se x par, ento x2 par.

3.3 Negao conjunta de duas proposies

A conjuno de duas proposies p e q negadas a proposio no p e no q. Esse tipo de negao


denominado de negao conjunta (ALENCAR FILHO, 2002).

Em smbolos:

~p~q

A negao conjunta de duas proposies p e q tambm se indica pela notao p q, em que


apresentada uma seta para baixo. Note que o sentido da seta contrrio ao vrtice do smbolo de
conjuno, ou seja, seta para baixo, o vrtice para cima.

Em smbolos:

p q ~p ~ q

Como a proposio ~p ~q verdadeira somente no caso em que p e q so ambas falsas, ento a


tabela-verdade de p q a seguinte:

Tabela 42

P q pq
V V F
V F F
F V F
F F V

3.4 Negao disjunta de duas proposies

A negao disjunta de duas proposies p e q a proposio no p ou no q, isto , simbolicamente


~p ~ q (ALENCAR FILHO, 2002).

A negao disjunta de duas proposies p e q tambm se indica pela notao p q. Note que o
sentido da seta contrrio ao vrtice do smbolo de disjuno, ou seja, seta para cima, o vrtice para
baixo.

Em smbolos:

p q ~p ~ q
57
Unidade II

Como a proposio ~p ~ q falsa somente no caso em que p e q so ambas verdadeiras, ento


a tabela-verdade de p q a seguinte :

Tabela 43

p q pq
V V F
V F V
F V V
F F V

Os smbolos e so conhecidos como conectivos de Scheffer.

4 PROPRIEDADES DAS PROPOSIES E FUNDAMENTOS DA DEDUO

4.1 Propriedades das principais proposies

A seguir, sero apresentas as propriedades relacionadas s proposies. A demonstrao destas ser


realizada por meio das tabelas-verdade.

4.1.1 Propriedades da conjuno

Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples, cujos valores
lgicos respectivos so verdadeiro e falso (ALENCAR FILHO, 2002).

1. Idempotente: p p p.

Para demonstrar a equivalncia dessas duas proposies, verifica-se que as tabelas-verdade das
proposies p p e p so idnticas, ou seja, a bicondicional p p p tautolgica:

Tabela 44

p pp ppp
V V V
F F V

2. Identidade: p t p e p c c.

As tabelas-verdade das proposies p t e p, p c e c so idnticas respectivamente, ou seja, as


bicondicionais p t p e p c c so tautolgicas:

58
Lgica

Tabela 45

p t c pt pc ptp pcc
V V F V F V V
F V F F F V V

3. Associativa: (p q) r p ( q r).

Tabela 46

p q r pq (p q) r qr p (q r)
V V V V V V V
V V F V F F F
V F V F F F F
V F F F F F F
F V V F F F F
F V F F F F F
F V V F F F F
F F F F F F F

Observe-se que a bicondicional (p q) r p (q r ) tautolgica.

4. Comutativa: p q q p.

As tabelas-verdade das proposies p q e q q so idnticas, ou seja, a bicondicional p q q p


tautolgica:

Tabela 47

p q pq qp pqqp
V V V V V
V F F F V
F V F F V
F F F F V

4.1.2 Propriedades da disjuno

Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples, cujos valores
lgicos respectivos so V (verdadeiro) e F (falso) (ALENCAR FILHO, 2002).

1. Idempotente: p p p.

As tabelas-verdade das proposies p p e p so idnticas, ou seja, a bicondicional p p p


tautolgica.
59
Unidade II

Tabela 48
p pp ppp
V V V
F F V

3. Identidade: p t t e p c p.

As tabelas-verdade das proposies p t e t, p c e c so idnticas respectivamente, ou seja, as


bicondicionais p t t e p c p so tautolgicas:

Tabela 49
p t c pt pc ptt pcp
V V F V V V V
F V F V F V V

3. Associativa: (p q) r p (q r).

As tabelas-verdade das proposies (p q) r e p (q r) so idnticas. Logo, a bicondicional


(p q) p (q r) tautolgica.

Tabela 50
p q r pq (p q) r qr p (q r)
V V V V V V V
V V F V V V V
V F V V V V V
V F F V V F V
F V V V V V V
F V F V V V V
F F V F V V V
F F F F F F F

4. Comutativa: p q q p.

As tabelas-verdade das proposies p q e q p so idnticas, ou seja, a bicondicional p q q p


tautolgica:

Tabela 51
p q pq qq pqqp
V V V V V
V F V V V
F V V V V
F F F F V

60
Lgica

4.1.3 Propriedades da conjuno e da disjuno

Sejam p, q e r proposies simples quaisquer.

1. Distributivas:

a. p (q r) (p q) (p r);

b. p (q r) (p q) (p r);

As tabelas-verdade das proposies p (q r) e (p q) (p r) so idnticas:

Tabela 52

p q r qr p (q r) pq pr (p q) (p r)
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F F V F F
F F V F F F V F
F F F F F F F F

Logo, a bicondicional p (q r) (p q) (p r) tautolgica.

Analogamente, so idnticas as tabelas-verdade das proposies p (q r) e (p q) (p r):

Tabela 53

p q r qr p (q r) pq pr (p q) (p r)
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F F V F F
F F V F F F V F
F F F F F F F F

Logo, a bicondicional p (q r) (p q) (p r) tautolgica.

61
Unidade II

2. Absoro:

p (p q) p e p (p q) p.

As tabelas-verdade das proposies p (p q) e p so respectivamente idnticas, ou seja, a


bicondicional p (p q) p tautolgica:

Tabela 54

p q pq p (p q) p (p q) p
V V V V V
V F V V V
F V V F V
F F F F V

Analogamente, so idnticas as tabelas-verdade das proposies p (p q) e p, ou seja, a bicondicional


p (p q) p tautolgica:

Tabela 55

p q pq p (p q) p (p q) p
V V V V V
V F F V V
F V F F V
F F F F V

3. Regras de De Morgan:

Essas propriedades so muito utilizadas nos mais diversos ramos da computao, logo, so muito
importantes.

a. ~ (p q) ~ p ~q;

b. ~(p q) ~ p ~q.

As tabelas-verdade das proposies ~ (p q) e ~p ~ q so idnticas:

Tabela 56

p q pq ~(p q) ~p ~q ~ p ~q
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V

62
Lgica

Logo, a bicondicional ~(p q) ~ p ~q tautolgica.

Analogamente, so idnticas as tabelas-verdade das proposies ~(p q) e ~ p ~ q:

Tabela 57

p q pq ~(p q) ~p ~q ~p ~ q
V V V F F F F
V F V F F V F
F V V F V F F
F F F V F V V

Logo, a bicondicional ~(p q) ~p ~q tautolgica.

As regras de De Morgan mostram como possvel definir a disjuno a partir da conjuno e da


negao, ou a conjuno a partir da disjuno e da negao:

p q ~ (~ p ~ q);

p q ~ (~ p ~ q).

4.1.4 Negao da condicional

Como p q ~ p q, negando-se a condicional, tem-se:

~(p q ) ~ (~p q ) ~~p ~q p ~q

O pode ser verificado pela tabela-verdade das proposies ~(p q) e p ~q, que so idnticas:

Tabela 58

p q pq ~(p q) ~q p ~q
V V V F F F
V F F V V V
F V V F F F
F F V F V F

4.1.5 Negao da bicondicional

Sabendo-se que pq (pq) (qp) e pq (~p q) (~q p), que foram examinados nos tpicos
anteriores, e aplicando-se a negao da condicional, obtm-se de forma anloga a negao da condicional:

~(p q) ~(~p q) ~ (~ q p)

~(p q) (~~p ~q) (~~ q ~ p)


63
Unidade II

Portanto:

~ (p q) (p ~q) (~ p q)

A bicondicional p q no possui a propriedade idempotente, pois imediato que no so idnticas


as tabelas-verdade das proposies p p e p, mas possui as propriedades comutativa e associativa
(ALENCAR FILHO, 2002).

4.2 Mtodo dedutivo

As implicaes e equivalncias foram demonstradas usando-se as tabelas-verdade. Essa abordagem


perfeitamente vlida, porm, quando as sentenas lgicas tornam-se mais complexas, seu uso tornase
invivel. Neste tpico, as demonstraes das implicaes e equivalncias sero realizadas por um
mtodo mais eficiente, denominado mtodo dedutivo. Nele, usar-se- com frequncia as propriedades
das proposies estudas anteriormente (ALENCAR FILHO, 2002).

Para auxlio nas demonstraes, sero realizadas as seguintes suposies: sero dadas as proposies
simples p, q, r, a proposio t sempre verdadeira e a proposio c sempre falsa. Elas sero substitudas,
respectivamente, por proposies compostas P, Q, R, T (tautologia) e C (contradio) quando for o
caso.

Exemplos (ALENCAR FILHO, 2002):

1. Demonstrar as implicaes:

a. c p

b. p t

onde p uma proposio qualquer, c e t so proposies cujos valores lgicos respectivos so F e V.

Demonstrao:

Sabe-se, do exposto no tpico sobre implicaes, que p q e ~p q so proposies equivalentes,


e que uma implicao verdadeira se a condicional tautolgica, logo, se provamos que a condicional
referente implicao tautolgica, provamos ento que a proposio vlida.

Da equivalncia p q ~p q e do fato que V(c) = F e V(t)=V, seguem-se:

a. c p ~c p t p t;

b. p t ~p t t .

As tabelas-verdade de c p e p t mostram que essas condicionais so tautolgicas:


64
Lgica

Tabela 59

p c t cp pt
V F V V V
F F V V V

Porm, a meta aqui no usar o artifcio da tabela-verdade para demonstrar a proposio.

2. Demonstrar a implicao: p q p (simplificao):

Demonstrao:

Parte-se da equivalncia p q ~p q, depois, usa-se a propriedade de De Morgan que afirma


que a negao de uma conjuno a disjuno das negaes e, por fim, pela comutao da disjuno,
prova-se a tautologia T.

p q p ~(p q) p (~p ~q) p (~p p) ~ q T ~q T

3. Demonstrar a implicao: p p q (adio).

Demonstrao:

Se a condicional for tautolgica, prova-se a implicao. Para isso, usa-se a equivalncia


p q ~p q aplicada proposio que se deseja demonstrar, a partir da qual se chega
a uma expresso com duas disjunes, sobre as quais se aplica a propriedade distributiva, de
onde obtm-se a tautologia.

p p q ~ p (p q) (~ p p) p T q T

4. Demonstrar a implicao (p q) p q (modus ponens).

Demonstrao:

(p q) p p (~ p q) (p ~p) (p q) C (p q) p q q

5. Demonstrar a implicao (p q) ~ q ~p (modus tollens).

Demonstrao:

(p q) ~q (~p q) ~q (~p ~q) (q ~q)


(~ p ~q) C ~p ~q ~p

6. Demonstrar a implicao (p q) ~p q (silogismo disjuntivo).

65
Unidade II

Demonstrao:

(p q) ~ p (p ~p) (q ~ p) C (q ~p) q ~ p q

7. Demonstrar a implicao p q p q.

Demonstrao:

p q p q ~ (p q) (p q) (~p ~q) (p q) (~p p) (~q q) T T T

8. Demonstrar a implicao p q p.

Demonstrao:

p (q p) ~p (q p) ~p (~q p) (~q p) (~p p) ~q T ~q T

9. Demonstrar a implicao p ~p q.

Demonstrao:

p (~p q) ~p (~p q) ~ p (~~p q) ~p (p q) (~p p) q T q T

10. Demonstrar a implicao: p q p r q.

Demonstrao:

(p q) (p r q) (p q) (p r q)

~(~p q) (~)p r) q)
(~~p ~q) ((~p ~r) q)
(p ~q) ~(p ~q)) ~r
T ~r T

4.3 Reduo do nmero de conectivos

So cinco conectivos fundamentais (~, , , , ). Ver-se- que possvel que trs deles podem
ser expressos em termos de apenas dois dos seguintes pares:

1. ~ e

2. ~ e

3. ~ e

66
Lgica

Demonstrao:

1. , e pode ser escrito em funo de ~ e :

p q ~~ p ~~ q ~ (~ p ~ q)

p q ~p q

p q (p q) (q p) ~(~ p q) ~( ~q q))

2. , e pode ser escrito em funo de ~ e :

p q ~~p ~~q ~(~p ~ q)

p q ~p q ~(p ~q)

p q (p q) (q p) ~(p ~q) ~(~p q)

3. , e pode ser escrito em funo de ~e :

p q ~(~ p ~q) ~(p ~q)

p q ~ ~p q ~p q

p q (p q) (q p) ~((p q) ~(q p))

4.4 Forma normal das proposies

Uma proposio est na forma normal (FN) se e somente se a proposio contm apenas os conectivos
~, e .

Exemplos:

As proposies a seguir esto na FN:

a. ~p ~q

b. ~(~ p ~q)

c. (p q) (~q r)

Observao: Toda proposio pode ser levada para uma FN equivalente pela eliminao dos conectivos
e , se existirem, isto , pela substituio de p q por ~p q e de p q por (~ p q) (p ~q).

67
Unidade II

4.5 Princpio de dualidade

Seja P uma proposio que s contm os conectivos ~, e . A proposio que


resulta de P trocando cada smbolo por e cada smbolo por chama-se
dual de P. Assim, por exemplo, a dual de ~((p q) ~r) ~((p q) ~ r).

Princpio de dualidade: se P e Q so proposies equivalentes que s contm


os conectivos ~, e V, ento as suas duais respectivas P1 e Q1 tambm so
equivalentes.

Assim, por exemplo, da equivalncia p (p q) p deduz-se, pelo princpio


de dualidade, a equivalncia p (p q) p.

Analogamente, a partir de (p ~p) q q deduz-se, pelo princpio de


dualidade: (p ~ p) q q (ALENCAR FILHO, 2002).

Tabela 60

Tipos de tringulos

equiltero issceles escaleno


Tringulo (3 lados iguais) (2 lados iguais) (todos os lados diferentes)

Acutngulo

ngulos internos < 90o

Retngulo

1 ngulo = 90o

Obtusngulo

1 ngulo > 90o

Resumo

Nesta unidade, foram apresentados aspectos mais avanados da lgica


proposicional, entre eles, o que uma equivalncia. Alm disso, verificou-se o

68
Lgica

que recproca, contrria e contrapositiva, e a relao entre tautologia e


implicao.

Finalmente, demonstrou-se o mtodo dedutivo e verificou-se


que o uso das propriedades das proposies fundamental nesse
mtodo.

Exerccios

Questo 1. (ICMS, 1997, adaptado) Se Rodrigo mentiu, ento ele culpado. Logo:

A) Rodrigo culpado.
B) Se Rodrigo no mentiu ento ele no culpado.
C) Rodrigo mentiu.
D Se Rodrigo no culpado, ento ele no mentiu.
E) Se Rodrigo culpado, ento ele mentiu.

Resposta correta: alternativa D.

Anlise das alternativas

Se Rodrigo mentiu, ento ele culpado:

Se p ento q ou p q.

Onde o p antecedente e condio suficiente para que ocorra q.

Onde o q consequente e condio necessria para que ocorra p.

Dado que p q, posso afirmar que ~p ~q.

Analisando as alternativas, tome cuidado com a alternativa B, pois ao negar o antecedente (negando
a condio suficiente) nada sei sobre o consequente (nada posso afirmar quanto condio necessria).
J a alternativa D, a verificao lgica, pois ao negar a condio necessria (o consequente) eu nego
a condio suficiente (o antecedente).

H a possibilidade de engano com a alternativa E, ou seja, se Rodrigo culpado ento ele mentiu.
Veja que esta afirmao pode ser representada por q p. Na tabelaverdade possvel comprovar que
(Se Rodrigo mentiu, ento ele culpado: p q) e (Se Rodrigo culpado, ento ele mentiu: q p) no
so equivalentes lgicas. Observe:

69
Unidade II

p q pq qp
V V V V
V F F V
F V V F
F F V V

Observe que as proposies p q e q p no apresentam os mesmos valores lgicos, ou seja,


afirmar uma no quer dizer afirmar a outra. Sendo assim:

A) Alternativa incorreta.
Justificativa: no condiz com a anlise inicial e nem com a tabelaverdade construda.

B) Alternativa incorreta.
Justificativa: no condiz com a anlise inicial e nem com a tabelaverdade construda.

C) Alternativa incorreta.
Justificativa: no condiz com a anlise inicial e nem com a tabelaverdade construda.

D) Alternativa correta.
Justificativa: Condiz com a anlise inicial

E) Alternativa incorreta.
Justificativa: no condiz com a anlise inicial e nem com a tabelaverdade construda.

Questo 2. (SAE-PE/2008) Leonardo disse a Fernanda: - Eu jogo futebol ou voc no joga golfe.
Fernanda retrucou: - isso no verdade.

Sabendo que Fernanda falou a verdade, correto afirmar que:

A) Leonardo joga futebol e Fernanda joga golfe.


B) Leonardo joga futebol e Fernanda no joga golfe.
C) Leonardo no joga futebol e Fernanda joga golfe.
D) Leonardo no joga futebol e Fernanda no joga golfe.
E) Leonardo no joga futebol ou Fernanda joga golfe.

Resoluo desta questo na Plataforma.

70
Lgica

Unidade III
Objetivos

Neste tpico, apresentar-se- o tema mais importante da lgica tradicional, ou seja, o argumento.
Estudar-se- que, para a lgica clssica, o principal objetivo no estudo dos argumentos a verificao
da validade da sua forma, entendendo-se por forma, aqui, a forma de raciocnio.

5 PRINCPIOS DA ARGUMENTAO

5.1 Argumentos

5.1.1 Introduo

Intuitivamente, todos temos uma ideia do que seja argumento bem prxima ao que de fato
no entanto, preciso dar-se uma definio formal e todo o simbolismo matemtico para um trabalho
preciso.

Lembrete

Argumento: 1. Raciocnio de no qual se tira uma concluso. 2. Prova,


demonstrao. 3. Resultado de uma obra; sumrio.

Observao

Um argumento um conjunto de duas os mais proposies, no qual


uma das proposies denominada concluso, e as demais so chamadas
de premissas. A concluso consequncia das premissas.

A forma como, por meio das premissas, chega-se a uma concluso denominada de inferncia
lgica. Ela pode ser dita como forma de raciocnio.

Exemplo:

Minha av alta, minha me alta, eu sou alta, logo minha filha ser alta.

Esse argumento composto de quatro proposies: as trs primeiras so as premissas e a ltima a


concluso, justificada com base nas outras trs.
71
Unidade III

Note-se que, em um argumento, nem sempre a ltima proposio a concluso. Esta pode estar em
qualquer lugar no argumento, pode ser a primeira proposio ou alguma intermediria. Na maioria dos
casos aqui estudados, entretanto, manter-se- a concluso por ltimo.

Geralmente, classificam-se os argumentos em dedutivos ou indutivos.

Os argumentos dedutivos so aqueles em que a concluso uma consequncia lgica das premissas.

Exemplos:

Todos os peixes vivem na gua.

Piranha um peixe
Logo, a piranha vive na gua.

No argumento exemplificado, h trs proposies, sendo a ltima a concluso, que uma


consequncia lgica das premissas. Diz-se que um argumento dedutivo bem construdo quando
impossvel obter-se uma concluso falsa se as premissas forem verdadeiras; para este caso, diz-se que
o argumento vlido, por outro lado, tendo-se premissas verdadeiras e concluso falsa, diz-se que o
argumento invlido.

Os argumentos indutivos so aqueles em que a concluso apresenta informaes que no esto


presentes nas premissas. Esses argumentos, contudo, no faro parte de nossos estudos neste livro-texto.

Exemplo:

O Corinthians nunca foi campeo da Taa Libertadores.

No prximo ano, participar da Taa Libertadores.


Logo, o Corinthians no ser campeo.

Nesse argumento, no h de fato como afirmar categoricamente que o Corinthians no ser campeo,
porm provvel que no o seja em virtude de seu passado na competio. Fica claro que, nesse tipo de
argumento, h uma deduo do que poder ocorrer, mas no uma certeza absoluta.

5.1.2 Definio simblica de argumento

De acordo com Alencar Filho (2002), sejam P1, P2,..., Pn (n 1) e Q proposies quaisquer, simples ou
compostas.

Denomina-se argumento toda afirmao em que uma dada sequncia finita P1, P2,..., Pn (n 1) de
proposies tem como consequncia uma proposio Q.

72
Lgica

As proposies P1, P2,..., Pn dizem-se as premissas do argumento, e a proposio final Q diz-se a


concluso do argumento.

Notao

Um argumento de premissas P1, P2,..., Pn e de concluso Q denotado por:

1. Na primeira forma, as premissas vm separadas por vrgulas, seguidas em sequncia pelo smbolo
e finalizadas pela concluso Q.

P1, P2,..., Pn Q

2. Na segunda forma, tem-se uma estrutura de uma coluna com vrias linhas, sendo a ltima a
relativa concluso, a qual separada das demais por um trao.

P1
P2
...
Pn
Q

O argumento que consiste em duas premissas e uma concluso chama-se silogismo.

Diz-se antecedente o conjunto das premissas e o consequente a concluso.

5.2 Validade de um argumento

No tocante a um argumento (dedutivo), diz-se que vlido ou invlido; no podemos dizer se


verdadeiro ou falso, j que as designaes de verdadeiro ou falso aplicam-se s premissas.

Simbolicamente:

Um argumento P1, P2,..., Pn Q dito vlido se, e somente se, a concluso Q verdadeira em todas
as vezes que as premissas P1, P2,..., Pn so verdadeiras.

Chama-se de sofisma (ou falcia) um argumento no vlido.

Lembrete

Sofisma: 1. Raciocnio capcioso, feito com a inteno de enganar. 2.


Argumento ou raciocnio falso, com alguma aparncia de verdade.

Falcia: 1. Engano, burla. 2. Palavra ou ato enganoso.


73
Unidade III

Todo o argumento tem um valor lgico, V se for vlido (correto, legtimo) ou F se um sofisma
(incorreto, ilegtimo).

As premissas dos argumentos so verdadeiras ou pelo menos admitidas como


tal. Alis, a lgica s se preocupa com a validade dos argumentos e no com
a verdade ou a falsidade das premissas e das concluses. O importante para
a lgica a forma do raciocnio.

A validade de um argumento depende exclusivamente da relao existente


entre as premissas e a concluso. Portanto, afirmar que um dado argumento
vlido significa afirmar que as premissas esto de tal modo relacionadas
com a concluso que no possvel ter a concluso falsa se as premissas so
verdadeiras (ALENCAR FILHO, 2002).

Exemplos:

Todo carro azul.

O fusca um carro.
Logo, o fusca azul.

Esse um argumento vlido, pois se admite em princpio que as premissas so verdadeiras, logo, se
elas fossem verdadeiras, a concluso tambm seria. Esse argumento do tipo

Todo x y

zx
logo, z y

Podem-se substituir as variveis x, y e z por quaisquer palavras, se as premissas forem verdadeiras, a


concluso tambm ser. Por isso, esse um argumento vlido.

1. Nenhum macaco banana.

Nenhuma banana tem rabo.


Logo, nenhum macaco tem rabo.

2. Alguns professores so matemticos.

Alguns matemticos so altos.


Logo, alguns professores so altos.

74
Lgica

Esses so exemplos de argumentos invlidos, pois mesmo nos casos em que as premissas e a concluso
sejam aparentemente verdadeiras, a forma de raciocnio incorreta. Logo, para a lgica, o importante
a forma do argumento e no o valor lgico das proposies componentes do argumento.

5.2.1 Critrio de validade de um argumento

Um argumento P1, P2,..., Pn Q vlido se e somente se a condicional:

(P1 P2 ... Pn) Q tautolgica.

Exemplo:

O argumento vlido p p q (pois sempre que p for vlida, a disjuno tambm o ser), assim, os
argumentos a seguir tambm so vlidos, pois possuem a mesma forma:

a. (~p r) (~ p r) (~ s r)
b. (p r s) (p r s) (~r s)

Observao

A validade ou no validade de um argumento depende apenas da sua


forma, e no de seu contedo ou da verdade e falsidade das proposies
que o integram.

Logo, diversos argumentos podem ter a mesma forma, e como a forma que determina a validade,
todos os argumentos sero vlidos se a forma em questo for vlida.

5.2.2 Lista de argumentos vlidos fundamentais e/ou regras de inferncia

Os argumentos a seguir so considerados argumentos vlidos fundamentais; por conseguinte,


so usados para validar outros argumentos. Os argumentos fundamentais so utilizados para fazer
inferncias, ou seja, demonstraes.

A vantagem do uso das regras de inferncia em relao tabela-verdade que, quando se tem um
nmero elevado de premissas, as tabelas-verdade tornam-se de um tamanho invivel, da o uso dos
argumentos fundamentais para demonstrar a validade de argumentos mais complexos.

Junto s regras, colocam-se as abreviaes costumeiramente adotadas.

1. Adio (AD)

a. p p q;

75
Unidade III

b. p q p.

2. Simplificao (SIMP)

a. p q p;
b. p q q.

3. Conjuno (CONJ)

a. p, q p q;
b. p, q q p.

4. Absoro (ABS)

p q p (p q)

5. Modus ponens (MP, tambm conhecida como regra da separao)

p q, p q

6. Modus tollens (MT)

p q, p ~p

7. Silogismo disjuntivo (SD)

a. p q, ~p q;
b. p q, ~q p.

8. Silogismo hipottico (SH)

p q, q r p r.

9. Dilema construtivo (DC)

p q, r s, p r q s

10. Dilema destrutivo (DD)

p q, r s, ~q ~s ~ p ~r.

76
Lgica

11. Simplificao disjuntiva (SIMPD)

p q, p ~q p

12. Disjuno exclusiva (DE)

p q, q ~q

13. Eliminao bicondicional (EB)

a. p q, p q;
b. p q, q p;
c. p q, ~p ~q;
d. p q, ~q ~p.

5.2.3 Exemplos do uso das regras de inferncia

1. Regra da adio sendo uma proposio p verdadeira, conclui-se que a sua disjuno com
qualquer outra proposio verdadeira.

p
a.
p ~ q
Se p for verdadeira, ento p ~ q ser verdadeira.

pq
b.
(p q) r
Se p q for verdadeira, ento (p q) r ser verdadeira.
x4
c.
x 4 x 1
Se x 4 for verdadeira, ento x 4 x 1 ser verdadeira.

2. Regra da simplificao se a conjuno p q uma proposio verdadeira, pode-se inferir que


cada uma das proposies componentes verdadeira.

(p q) r
a.
pq
Se a proposio (p q) r for verdadeira, ento (p q) ser verdadeira e r tambm. Logo, pode-se
concluir tanto p q como r.

77
Unidade III

x A x B
c.
x A

Se a proposio x A x B for verdadeira, ento x A ser verdadeira e x B tambm.

3. Regra da conjuno sendo duas proposies p e q verdadeiras, tidas como premissas, a conjuno
delas tambm o ser.

p
q
a.
p q

Sendo verdadeiras tanto a proposio p como a proposio q, a conjuno entre elas tambm o ser.
x>7
x>4
b.
x > 4x > 7

Sendo verdadeiras tanto a proposio x > 7 como a proposio x > 4, a conjuno entre elas tambm
o ser.

4. Regra da absoro sendo verdadeira a proposio pq, conclui-se que a proposio p(p q)
tambm o ser.

Se hoje sexta-feira, ento irei sair (pq).

Hoje sexta feira, ento hoje e sexta-feira eu irei sair (p(p q)).

Tm-se as proposies p e q abaixo com os seguintes significados:

p = hoje sexta feira

q = irei sair

5. Regra modus ponens sendo verdadeira a proposio pq, conclui-se que a proposio p tambm
o ser.

Se hoje sexta-feira, ento amanh irei ao cinema (pq).

Ora, hoje sexta-feira.


Logo, amanh irei ao cinema.

Tm-se as proposies p e q abaixo com os seguintes significados:


78
Lgica

p = hoje sexta-feira

q = amanh irei ao cinema

6. Regra modus tollens sendo verdadeiras as proposies pq e ~q, conclui-se que a proposio
~p tambm o ser.

p ~ q
~~ q
a.
~p

b. Se hoje for domingo, ento irei ao cinema.

Ora, no irei ao cinema.

Logo, hoje no domingo.

7. Regra do silogismo disjuntivo sendo verdadeiras as proposies p q e ~p, conclui-se que a


proposio q tambm o ser.

x = 3 x = 6
x6
a.
x=3

b. Joo professor ou engenheiro.

Ora, Joo no professor.

Logo, Joo engenheiro.

8. Regra do silogismo hipottico sendo verdadeiras as proposies p q e q r, conclui-se que


a proposio p r tambm o ser.
~p ~q
~q ~r
a.
~p ~r
b. Se almoo bem, ento vou ao cinema.

Se vou ao cinema, ento como pipoca.


Se almoo bem, ento como pipoca.

79
Unidade III

9. Regra do dilema construtivo essa regra trata de duas proposies condicionais mais
uma proposio formada pelos disjuno dos antecedentes, o que leva a inferir a disjuno dos
consequentes.

x<yx=3
xyx>5
x<y xy
a.
x =3 x>5
b. Se o Corinthians vencer, ento irei ao cinema.

Se o Palmeiras perder, ento ficarei em casa.

Ora, ou o Palmeiras perdeu ou o Corinthians venceu.


Logo, irei ao cinema ou irei ficar em casa.

10. Regra do dilema essa regra trata-se de duas proposies condicionais mais uma proposio
formada pela disjuno da negao dos consequentes, o que leva a inferir a disjuno da negao dos
antecedentes
x y = 3 x = 2
y+x =5x =3
x2 x3
a.
xy 3 y+x5
b. Se Joo professor, ento Maria professora.

Se Pedro mdico, ento Marta mdica.

Ora, ou Maria no professora ou Marta no mdica.


Logo, Joo no professor ou Pedro no mdico.

6 TCNICAS PARA VALIDAO DE ARGUMENTOS

6.1 Validao atravs de tabelas-verdade

Introduo

Relembramos aqui que, para a lgica tradicional, o tema de maior interesse so os argumentos, e o
mais importante neles a sua forma, isto , a forma de raciocnio construda nos argumentos.

As tabelas-verdade so um dos instrumentos que podem ser usados para demonstrar a


validade de qualquer argumento. A desvantagem desse mtodo est na dificuldade de lidar

80
Lgica

com um nmero de premissas grande; porm, para uma quantidade pequena de proposies,
excelente.

Para construir-se uma tabela-verdade para validar um argumento procede-se de maneira


semelhante aos passos normais, isto , inicialmente, colocam-se as colunas referentes s proposies
simples, em seguida, vm as proposies relativas s premissas e, por fim, a coluna relativa
concluso.

Note que no necessrio que a coluna da concluso seja aquela mais direita, ela pode ser uma
coluna intermediria na tabela ou at mesmo a primeira.

Aps a construo da tabela-verdade para se verificar se o argumento vlido, deve-se procurar


pelas linhas em que todas as premissas possuem valor lgico verdadeiro. Se em algumas dessas linhas
o valor lgico da concluso for falso (invlido), ento o argumento ser invlido; porm, se em todas as
linhas em que as premissas possuem valor lgico verdadeiro e a concluso tambm possuir valor lgico
verdadeiro, ento o argumento ser vlido.

Colocando-se em forma simblica o que foi dito, temos:

Dado um argumento:

P1, P2,..., Pn Q

Deve-se verificar se ou no possvel ter V (Q) = F quando V (P1) = V (P2) = V (Pn) = V.

O procedimento prtico consiste em construir uma tabela-verdade, identificando inicialmente as


proposies simples que ocuparo as primeiras colunas; em seguida, uma coluna para cada premissa Pi
e, por fim, uma coluna para a concluso.

O procedimento de validao consiste em identificar linhas em que os valores lgicos das premissas P1,
P2,..., Pn so todos V. Nessas linhas, o valor lgico da concluso Q deve ser tambm V para que o argumento
dado seja vlido. Se, em pelo menos uma dessas linhas o valor lgico da concluso Q for F, ento o
argumento dado no vlido, ou seja, um sofisma (falcia).

Alternativamente, demonstrar a validade do argumento dado consiste em construir a tabela-verdade


da condicional associada ao argumento:

Como j visto, dado o argumento P1, P2,..., Pn Q, a condicional associada (P1 P2 ... Pn) Q.

Se, nessa tabela-verdade relativa condicional associada, verifica-se que essa condicional uma
tautologia, isto , para a coluna referente proposio Q todos os valores lgicos so verdadeiros, ento
o argumento dado vlido. Caso contrrio, invlido, ou seja, um sofisma.

81
Unidade III

Exemplos adaptados de Alencar Filho (2002):

1. Verificar a validade dos argumentos dados a seguir:

Do-se como exemplo dois argumentos aparentemente distintos, porm, observando-se com detalhe,
nota-se que possuem a mesma forma de raciocnio.

a. Se a = 3 e b = c, ento b > 2
b2
Portanto, b c
b. Se Joo tem 2 m de altura e Maria tem a altura de Pedro, ento Maria tem 1,8 m de altura.

A altura do Pedro menor que 1,8 m.

Portanto, Maria e Pedro no tm a mesma altura.

Soluo:

Inicialmente, identificam-se as proposies simples envolvidas em todas as proposies do argumento


dado.

No caso do item A, identificam-se trs proposies simples:

a = 3; b = c; b > 2

Representando-as respectivamente por p, q e r, pode-se ento escrever o argumento do item A da


seguinte forma simblica:

p q r, ~r ~q

No caso do item B, identificam-se trs proposies simples:

Joo tem 2 m de altura.

Maria tem a altura de Pedro.

Maria tem 1,8 m de altura.

Analogamente, como no item A, representando essas proposies respectivamente por p, q e r,


podese ento escrever o argumento da seguinte forma simblica:

p q r, ~r ~q

82
Lgica

Para verificar os argumentos dos itens A e B, construir-se- a tabela-verdade referente a ambos.


Para isso, inicialmente colocam-se as colunas referentes s proposies simples componentes; depois
inserese uma coluna auxiliar com a conjuno de p e q; na sequncia, colocam-se as premissas e a
concluso, respectivamente.

Tabela 61

Premissa 1 Premissa 2 Concluso


p q r pq pqr ~r ~q
V V V V V F F
V V F V F V V
V F V F V F F
V F F F V V V 4
F V V F V F F
F V F F V V F 6
F F V F V F F
F F F F V V V 8

As premissas do argumento dado esto nas colunas 5 e 6, e a concluso na coluna 7.

As premissas so verdadeiras (V) nas linhas 4, 6 e 8. Nas linhas 4 e 8, a concluso tambm verdadeira
(V), porm, na linha 6, a concluso falsa (F), isto , essa linha est afirmando que a falsidade da
concluso compatvel com a verdade das premissas. Logo, o argumento dado no vlido, ou seja,
um sofisma ou falcia.

Observao

Para se demonstrar que um argumento invlido, basta encontrar um


argumento da mesma forma com premissas verdadeiras e concluso falsa.
Essa maneira de demonstrar a no validade de um argumento chama-se
mtodo do contraexemplo.

Por exemplo (ALENCAR FILHO, 2002), baseado no argumento do item A, tem-se o seguinte argumento,
que possui a mesma forma de raciocnio daquele:

Se 3 = 8 e 2 = 2, ento 2 > 3
23
Portanto, 2 2

A primeira premissa verdadeira (V) porque o seu antecedente falso (lembre-se da tabela-verdade
da condicional), e a segunda premissa claramente verdadeira (V), mas a concluso irrefutavelmente

83
Unidade III

falsa (F). Logo, esse argumento um contraexemplo que prova que o argumento dado no vlido, ou
seja, um sofisma.

2. Verificar se vlido o argumento : p q, ~p ~q.

Tabela 62

Premissa 1 Premissa 2 Concluso


p q pq ~p ~q
V V V F F
V F F F V
F V V V F 3
F F V V V 4

Note-se que as primeiras colunas foram destinadas s proposies simples componentes de todas
as proposies envolvidas no argumento. As premissas do argumento esto nas colunas 3 e 4, e a
concluso na coluna 5. As premissas so ambas verdadeiras (V) nas linhas 3 e 4. Na linha 4 a concluso
tambm verdadeira (V), mas na linha 3 a concluso falsa (F). Logo, o argumento dado no vlido,
ou seja, um sofisma.

Observao

Essa forma de argumento no vlido apresenta certa semelhana com


a forma de argumento vlido modus tollens. Tem o nome de sofisma de
negar o antecedente.

3. Verificar se vlido o argumento: p q, q p.

Tabela 63

Concluso Premissa 2 Premissa 1


p q pq
V V V 1
V F F
F V V 3
F F V

As premissas do argumento dado esto nas colunas 2 e 3, e a concluso na coluna 1. As premissas


so ambas verdadeiras (V) nas linhas 1 e 3. Na linha 1, a concluso tambm verdadeira (V), mas na linha
3 a concluso falsa (F). Logo, o argumento dado no vlido, um sofisma.

84
Lgica

Observao

Essa forma de argumento no vlido apresenta certa semelhana com


a forma de argumento vlido modus ponens. Tem o nome de sofisma de
afirmar o consequente.

4. Verificar a validade do argumento: p q, ~q, p r r.

Tabela 64

P1 P2 Q P3
p q r pq ~q ~q p r
V V V V F F V
V V F V F F F
V F V V V V V 3
V F F V V V F
F V V V F F V
F V F V F F V
F F V F V V V
F F F F V V V

As premissas do argumento dado esto nas colunas 4, 5 e 6, e a concluso na coluna 3. As trs


premissas so verdadeiras (V) somente na linha 3, e nesta linha a concluso tambm verdadeira
(V), isto , no possvel ter as premissas verdadeiras e a concluso falsa. Logo, o argumento dado
vlido.

5. Verificar a validade do argumento : p q, q p.

Tabela 65

Concluso Premissa 2 Premissa 1


p q pq
V V V
V F F
F V F
F F V

As premissas do argumento dado esto nas colunas 2 e 3, e a concluso na coluna 1. As premissas


so ambas verdadeiras (V) somente na linha 1, e nesta linha, a concluso tambm verdadeira
(V), isto , no possvel ter premissas verdadeiras e concluso falsa. Logo, o argumento dado
vlido.

85
Unidade III

6. Verificar se vlido o argumento : p q p q r.

Neste item, ser verificada a validade ou no do argumento utilizando-se o recurso da condicional


associada ao argumento sob anlise, logo, para este caso, a condicional associada ao argumento objeto
de anlise :

(p q) (p q r)

Tabela 66

P1 Q Condicional Associada
p q r pq qr pqr (p q) ( p q r)
V V V V V V V 1
V V F V V V V 2
V F V F V V V 3
V F F F F F V
F V V V V V V 5
F V F V V V V 6
F F V V V V V 7
F F F V F V V 8

Na ltima coluna dessa tabela-verdade, a referente condicional associada, encontra-se somente a letra
V (verdade). Logo, a condicional associada tautolgica e, por conseguinte, o argumento dado vlido.

Observando-se as linhas 1, 2, 5, 6, 7, 8, nota-se, como era de se esperar, que, para premissas verdadeiras,
a concluso sempre verdadeira, o que torna o argumento vlido. A linha 3 em destaque sinaliza que,
de uma premissa falsa, obteve-se uma concluso verdadeira, mas isso no invalida o argumento, pois de
uma premissa falsa pode-se chegar a uma concluso verdadeira.

7. Verificar a validade do argumento:

Se correr, ento Vinicius fica suado.


Vinicius no ficou suado.
_____________________
Logo, Vinicius no correu.

Escreva-se ento o argumento na forma simblica, em que as proposies sero representadas pelos
seguintes significados: p = correr, q = Vinicius fica suado.

p q, ~q ~ p

Visto que esse argumento est na forma modus tollens, pode-se concluir, pela regra de inferncia,
imediatamente que se trata de um argumento vlido. Porm, segue-se a tabela-verdade, que corrobora
essa concluso.
86
Lgica

Tabela 67

Q P2 P1
p q ~p ~q pq
V V F F V 1
V F F V F
F V V F V 3
F F V V V 4

As premissas do argumento dado esto nas colunas 4 e 5, e concluso na coluna 3. As premissas


so ambas verdadeiras (V) somente na linha 4, e nessa linha concluso tambm verdadeira (V). Logo,
o argumento vlido.

8. Verificar a validade do argumento:

Se 9 no mpar, ento 7 no primo.


Mas 9 mpar.
______________
Logo, 7 primo.

Primeiramente, passa-se o argumento dado para a forma simblica. Representando por p a proposio
9 impar e por q a proposio 7 primo, tem-se:

~p ~q, p q

Tabela 68

P2 Q P1
p q ~p ~q ~ p ~q
V V F F V 1
V F F V V 2
F V V F F
F F V V V

As premissas do argumento dado esto nas colunas 1 e 5, e a concluso na coluna 2.

As premissas verdadeiras (V) esto nas linhas 1 e 2, mas na linha 2 a concluso falsa (F). Logo, o
argumento dado um sofisma, embora tenha premissas e concluso verdadeiras na outra linha.

9. Verificar se vlido o argumento: ~ p q, p ~q.

Neste item, ser verificada a validade ou no do argumento utilizando-se o recurso da condicional


associada ao argumento sob anlise. Logo, para este caso, a condicional associada ao argumento objeto
de anlise :
87
Unidade III

((~p q) p) ~q

Tabela 69

P2 Q P1 Condicional associada
p q ~p ~p q (~p q) p ((~p q) p) ~q
V V F V V F 1
V F F V V V
F V V V F V
F F V F F V

Na ltima coluna desta tabela-verdade relativa condicional associada, tm-se as letras V e F. Logo,
a condicional associada no tautolgica e, por conseguinte, o argumento dado no vlido, ou seja,
um sofisma ou falcia.

Da mesma forma, pode-se observar na segunda linha que h premissas verdadeiras e uma concluso
falsa, ou seja, a verdade das premissas incompatvel com a falsidade da concluso, o que corrobora a
no validade do argumento.

10. Verificar se vlido o argumento:

Se 5 primo, ento 5 no divide 15.


5 divide 15.
_________________
Logo, 5 no primo.

Convertendo-se as proposies para sua frmula simblica, representar-se- por p a proposio 5


primo e por q a proposio 5 divide 15, assim escreve-se:

p ~q, q ~ p

Tabela 70

P2 Q P1
p q ~p ~q p ~q
V V F F F 1
V F F V V
F V V F V 3
F F V V V

As premissas do argumento dado esto nas colunas 2 e 5, e a concluso na coluna 3. As premissas


so ambas verdadeiras (V) somente na linha 3, e nesta linha a concluso tambm verdadeira (V). Logo,
o argumento vlido.
88
Lgica

Observe-se neste exemplo que se sabe que nosso argumento em questo no cai no caso de
premissas verdadeiras e concluso verdadeira. O argumento visualizado na linha 1 da tabela, onde
se tem a primeira premissa falsa, a segunda premissa verdadeira e uma concluso obviamente falsa,
contudo, para essa forma de raciocnio apresentada no argumento em questo, quando as premissas
forem ambas verdadeiras, a concluso tambm o ser.

11. Verificar se vlido o argumento:

Se um homem baixo, ele complexado.


Se um homem complexado, fica doente.
__________________________________
Logo, os homens baixos ficam doentes.

Escreva-se ento o argumento na forma simblica, em que as proposies sero representadas pelos
seguintes significados: p = Ele baixo, q = Ele complexado e r = Ele fica doente.

p q, q r p r

De imediato, pode-se concluir que um argumento vlido, pois tem a forma de um silogismo
hipottico.

Tabela 71

P1 P2 Q
p q r pq qr pr
V V V V V V 1
V V F V F F
V F V F V V
V F F F V F
F V V V V V 5
F V F V F V
F F V V V V 7
F F F V V V 8

As premissas do argumento dado esto nas colunas 4 e 5, e a concluso na coluna 6. As premissas


so ambas verdadeiras (V) somente nas linhas 1, 5, 7, 8, e nessas linhas a concluso tambm verdadeira
(V). Logo, o argumento vlido.

12. Verificar a validade do argumento.

Se 13 menor que 8, ento 13 no primo.


13 no menor que 8.
Logo, 13 primo.

89
Unidade III

Convertam-se as proposies do argumento a sua forma simblica. Para tanto, faa-se p igual
proposio 13 menor que 8 e q proposio 13 primo. Do que se escreve a seguinte expresso:

p ~q, ~p q

Tabela 72

Q P1 P2
p q ~q p~q ~p
V V F F F
V F V V F
F V F V V 3
F F V V V 4

As premissas do argumento dado esto nas colunas 4 e 5, e a concluso na coluna 2. As premissas


so ambas verdadeiras (V) nas linhas 3 e 4, mas na linha 4 a concluso falsa (F). Logo, o argumento
dado um sofisma, embora tenha premissas e concluso verdadeiras, pois existe pelo menos um caso
invlido.

6.2 Validade mediante regras de inferncia

A seguir, apresenta-se um quadro resumido dos argumentos fundamentais usados para a inferncia
da validade ou no dos argumentos. esquerda, colocou-se o smbolo principal da regra, para auxiliar
a encontrar a regra mais adequada deduo do argumento.

Tabela 73

Tabela resumida das regras de inferncia


Smbolo Nome da regra Regra
Adio (AD) a) p p q; b) p p q
V Silogismo disjuntivo (SD) a) p q, ~p q; b) p q, ~q p
Simplificao disjuntiva (SIMPD) p q, p ~q p
Simplificao (SIMP) a) p q p; b) p q q

Conjuno (CONJ) a) p, q p q; b) p, q q p
Absoro (ABS) p q p (p q)
Modus ponens (MP) p q, p q
Modus tollens (MT) p q, p ~p

Silogismo hipottico (SH) p q, q r p r
Dilema construtivo (DC) p q, r s, p r q s
Dilema destrutivo (DD) p q, r s, ~q ~s ~ p ~r
v Disjuno exclusiva (DE) p q, q ~q

Eliminao bicondicional (EB) a) p q, p q; b) p q, q p


c) p q, ~p ~q; d) p q, ~q ~p

90
Lgica

O mtodo das tabelas-verdade permite demonstrar a validade de qualquer


argumento, porm sua utilizao torna-se mais trabalhosa medida que
aumenta o nmero de proposies simples componentes dos argumentos.
Para testar, por exemplo, a validade de um argumento com seis proposies
simples componentes, necessrio construir uma tabela-verdade com 26 =
64 linhas, o que consumiria muito tempo e facilmente est sujeita a erros
(ALENCAR FILHO, 2002).

Um mtodo mais eficiente para demonstrar a validade de um dado argumento P1, P2,..., Pn Q o
uso das regras de inferncia, ou seja, dos argumentos fundamentais.

O mtodo consiste em dispor verticalmente as premissas e numer-las linha a linha. Essa


numerao ser usada para referenci-las durante o processo de inferncia. Aps a ltima
premissa, como de costume, passa-se o trao horizontal separando as premissas das regras de
inferncia que se seguiro ao trao. Abaixo do trao, inicia-se o processo sucessivo de inferir
de cada premissa elementos que nos conduzam concluso. Presume-se que as premissas so
sempre verdadeiras se for possvel obter o valor lgico da concluso igual verdade, ento o
argumento ser vlido.

Colocando em passos:

1. Disponha as premissas uma em cada linha.

2. Numere as linhas.

3. Identifique os principais conectivos de cada premissa.

4. Sempre presuma que as premissas so verdadeiras.

5. Comece com as premissas que tenham uma frmula mais simples.

6. Infira de cada premissa os valores lgicos de suas proposies componentes.

7. A cada valor lgico encontrado substitua-o nas premissas mais complexas.

8. Obtenha todos os valores lgicos possveis.

9. No final, voc deve ser capaz de afirmar que o valor lgico da concluso verdadeiro para que o
argumento seja vlido; do contrrio o argumento ser invlido.

Exemplos (ALENCAR FILHO, 2002):

1. Verificar a validade do argumento : p q, p r q.

91
Unidade III

Soluo:

Aplicar-se- os passos bsicos para a construo.

a. Na linha (1), coloca-se a condicional e na (2) a conjuno.

b. Na linha (2), a conjuno parece ser mais simples que a condicional.

c. Na linha (2), tem-se a conjuno da proposio p e r.

d. Olhando na tabela de regras de inferncia pelo smbolo , v-se que dessa proposio pode-
se concluir p ou r, isto , tanto p como r devem ser verdadeiros para que a proposio seja
verdadeira. Como p aparece tambm na linha (1) e r no, logo, da segunda conclui-se p,
por isso na linha (3) aparece p, que foi concludo atravs da linha (2) usando a regra da
simplificao.

e. Agora, presumindo-se p = V na linha (1), onde se tem uma condicional que deve ser verdadeira,
percorre-se a tabela de inferncia e nota-se que a modus ponens a regra, de onde concluo q,
que a concluso a qual se deve atingir. Assim, da linha (1) e linha (3), junto com a modus ponens,
conclui-se que q verdadeiro quando (1) e (2) so verdadeiros. Se no se conseguisse afirmar
o valor, ento o argumento seria invlido, pois a concluso poderia assumir qualquer um dos
valores lgicos V ou F.

(1)p q
(2)p r
(3) p 2 SIMP
(4 ) q 1, 3 MP

2. Verificar que vlido o argumento: p q, p r s p s

Soluo:

a. Colocam-se as premissas em linhas separadas e numeradas.

b. Na linha (1), coloca-se a conjuno e na (2) uma disjuno e uma condicional.

c. Na linha (1), a conjuno parece ser mais simples que a da linha (2).

d. Na linha (1), tem-se a conjuno da proposio p e q.

e. Olhando-se a tabela de regras de inferncia pelo smbolo , v-se que dessa proposio pode-
se concluir p ou q, isto , tanto p como q devem ser verdadeiros para que a proposio seja
verdadeira. Como p aparece tambm na linha (2) e q no, logo, da primeira linha conclui-se p
92
Lgica

pela regra da simplificao, por isso, na linha (3) aparece p, que foi concludo atravs da linha (1)
usando a regra da simplificao.

f. Agora, presumindo-se p = V na linha (2), onde se tem uma condicional e a disjuno. A proposio
p interfere na disjuno, ento, pela regra da adio, pode-se inferir que a disjuno ser vlida.
Logo, da linha (3) pode-se concluir que a disjuno da linha (2) ser sempre verdadeira.

g. Na linha (2), a disjuno verdadeira, logo, para que a condicional seja verdadeira, necessariamente
s tem que ser verdadeiro pela regra modus pollens, assim, das linhas (2) e (4) pode-se concluir que
s verdadeiro.

h. Sobre a concluso, pode-se afirmar, ento, com base na regra da conjuno e das linhas (3)
e (5), que ela ser verdadeira. Logo, como possvel fazer essa afirmao, sem dvidas, nosso
argumento vlido.

1. p q

2. p r s

3. p 1 SIMP

4. p r 3 AD

5. s 2,4 MP

6. p s 3,5 CONJ

3. Verificar a validade do argumento:

p (q r), p q, p r

Soluo:

a. Colocam-se as premissas em linhas separadas e numeradas.

b. Na linha (1), coloca-se a condicional, na (2), outra condicional e na (3) a proposio p.

c. Obviamente, a linha (3) a mais simples, e dela conclui-se que p verdadeiro.

d. Da linha (3), pode-se concluir com base na regra modus pollens que a condicional q r
verdadeira, para que toda a proposio tambm seja. Como a concluso apenas baseada na
proposio r e somente q tem relao direta com r, se for encontrado o valor lgico de q, se
poder realizar a afirmao relativa a r.

93
Unidade III

e. Da linha (3) e da regra modus pollens, com base na linha (2), pode-se concluir que a proposio q
verdadeira.

f. Logo, da linha (4), que afirma que q r verdadeira, e da linha (5), onde se tem que q verdadeiro
usando-se novamente a modus pollens, pode-se concluir que r ser forosamente verdadeiro, por
isso o argumento vlido.

1. p (q r)

2. p q

3. p

4. q r 1,3 MP

5. q 2,3 MP

6. r 4,5 MP

5. Verificar a validade do argumento:

p q, ~q ~p

a. Colocam-se as premissas em linhas separadas e numeradas.

b. Na linha (1), coloca-se a condicional, na (2) a negao.

c. Da linha (2), verifica-se que q deve ser falsa para a premissa ser verdadeira, porm, se q falso, no
h como tornar a premissa (1) verdadeira, pois em uma condicional, se o antecedente for falso, o
consequente ser verdadeiro necessariamente, e se o antecedente for verdadeiro, o consequente
deve ser verdadeiro para que a proposio se torne verdadeira, porm, no o caso. Logo, cai-se
em contradio, o que leva concluso de que o argumento invlido.

Soluo:

1. p q

2. ~q

3. Invlido, pois as proposies esto se contradizendo, por isso, no foi possvel entrar uma regra de
inferncia.

94
Lgica

lgebra de Boole

Em meados do sculo XIX, George Boole (1815-1864), em seus livros A anlise matemtica da lgica
(1847) e Uma investigao das leis do pensamento (1854), desenvolveu a ideia de que as proposies
lgicas poderiam ser tratadas por ferramentas matemticas. Segundo Boole, essas proposies podem
ser representadas por smbolos e a teoria para trabalhar com esses smbolos, suas entradas (variveis) e
sadas (respostas) a lgica simblica desenvolvida por ele.

J no sculo XX, a lgebra booleana foi de grande importncia prtica, relevncia que continua at
hoje, na era da informao digital (por isso falamos da lgica digital). Graas a ela, Shannon (1930) foi
capaz de formular sua teoria da codificao e John Von Neumann, de articular o modelo de arquitetura
que define a estrutura interna de computadores da primeira gerao.

Resumo

Nesta unidade, foi examinado o que se conhece em lgica por


argumentao, assim como as operaes sobre ela. Foram vistas as regras
de inferncia e os argumentos fundamentais. Alm disso, apresentaram-se
algumas das formas de validao dos argumentos.

Exerccios

Questo 1. (RESUMOS-CONCURSOS/2008) Ou lgica fcil, ou Artur no gosta de lgica. Por outro


lado, se geografia no difcil, ento lgica difcil. Da segue-se que, se Artur gosta de lgica, ento:

A) Se geografia difcil, ento lgica difcil.


B) Lgica fcil e geografia difcil.
C) Lgica fcil e geografia fcil.
D) Lgica difcil e geografia difcil.
E) Lgica difcil ou geografia fcil.

Resposta correta: alternativa B.

Anlise das alternativas

Esta questo trata da argumentao estudada em lgica. O argumento uma sequncia finita de
proposies lgicas iniciais (premissas) e uma proposio final (concluso). A validade de um argumento
independe se a premissa verdadeira ou falsa. Observe a seguir:

Todo cavalo tem quatro patas [premissa 1 (P1)].


95
Unidade III

Todo animal de quatro patas tem asas [premissa 2 (P2)].

Logo, todo cavalo tem asas [concluso (C)].

Observe que h um argumento com duas premissas, P1 (verdadeira) e P2 (falsa) e uma concluso (C).

Veja que este argumento vlido, pois se as premissas se verificarem, a concluso tambm se
verifica:

(P1) Todo cavalo tem quatro patas.

Indica que se cavalo, ento tem quatro patas, ou seja, posso afirmar que o conjunto dos cavalos
um subconjunto do conjunto de animais de quatro patas.

C 4p

(P2) Todo animal de quatro patas tem asas.

Indica que se tem quatro patas, ento o animal tem asas, ou seja, posso afirmar que o conjunto dos
animais de quatro patas um subconjunto do conjunto de animais que tem asas.

A
4p

(C) Todo cavalo tem asas.

Indica que se cavalo, ento tem asas, ou seja, posso afirmar que o conjunto de cavalos um
subconjunto de animais que tem asas.

C A

Observe que ao unir as premissas, a concluso sempre se verifica. Toda vez que fizermos as premissas
serem verdadeiras, a concluso tambm for verdadeira, estaremos diante de um argumento vlido.

Observe:
C 4p A

96
Lgica

Desse modo, o conjunto de cavalos subconjunto do conjunto de 4 patas e este, por sua vez,
subconjunto dos animais que tem asas. Dessa forma, a concluso se verifica, ou seja, todo cavalo tem
asas.

Nesta questo temos duas premissas e a concluso um das alternativas, logo temos um argumento.
O que se pergunta qual das concluses possveis sempre ser verdadeira, dadas as premissas sendo
verdadeiras, ou seja, qual a concluso que torna o argumento vlido.

Vejamos:

Ou lgica fcil, ou Artur no gosta de lgica (P1).

Se geografia no difcil, ento lgica difcil (P2).

Artur gosta de lgica (P3).

Observe que devemos fazer as trs premissas serem verdadeiras. Inicie sua anlise pela premissa mais
fcil, ou seja, aquela que j vai lhe informar algo que deseja. Observe a terceira premissa (P3), veja que
para ela ser verdadeira, Artur gosta de Lgica.

Com esta informao vamos at a primeira premissa (P1), na qual temos a presena do ou exclusivo
um ou especial que no aceita ao mesmo tempo que as duas premissas sejam verdadeiras ou falsas.

Observe a tabelaverdade do ou exclusivo abaixo:

p q pq
V V F
V F V
F V V
F F F

Sendo as proposies:

p: Lgica fcil.

q: Artur no gosta de lgica.

p q: Ou lgica fcil, ou Artur no gosta de lgica (P1).

Observe que s nos interessa os resultados que possam tornar a premissa verdadeira, ou seja, as
linhas 2 e 3 da tabelaverdade. Mas j sabemos que Artur gosta de lgica, ou seja, a premissa q falsa,
s nos restando a linha 2. Quer dizer que para P1 ser verdadeira, p tambm ser verdadeira, ou seja,
lgica fcil.

97
Unidade III

Sabendo-se que lgica fcil, vamos para a P2. Temos um se ento:

Se geografia no difcil, ento lgica difcil.

Do se ento j sabemos que:

Geografia no difcil o antecedente do se ento

Lgica difcil o consequente do se ento

Chamando:

r: geografia difcil
~r: geografia no difcil (ou geografia fcil).
p: Lgica fcil
(no p) ~p: Lgica difcil

~r ~p (l-se: se no r ento no p) sempre que se verificar o se ento tem-se tambm que a


negao do consequente gera a negao do antecedente, ou seja:

~(~p) ~(~r), ou seja, p r ou se lgica fcil ento geografia difcil.

De todo o encadeamento lgico (dadas as premissas verdadeiras) sabemos que:

Artur gosta de Lgica.

Lgica fcil.

Geografia difcil.

Vamos agora analisar as alternativas, ou seja, em qual delas a concluso verdadeira:

A) Alternativa incorreta.
Justificativa: se geografia difcil, ento lgica difcil (V F=F) a regra do se ento s ser
falsa se o antecedente for verdadeiro e o consequente for falso. Nas demais possibilidades, ela
ser verdadeira.

B) Alternativa correta.
Justificativa: lgica fcil e geografia difcil. (V V = V) a regra do e s ser verdadeira se as
proposies que a formarem forem verdadeiras.

98
Lgica

C) Alternativa incorreta.
Justificativa: lgica fcil e geografia fcil. (V F = F).

D) Alternativa incorreta.
Justificativa: lgica difcil e geografia difcil. (F V = F).

E) Alternativa incorreta.
Justificativa: lgica difcil ou geografia fcil. (F F = F) a regra do ou s falsa quando as
proposies que a formarem forem falsas.

Questo 2. (SAE-PE/2008) Considere as situaes abaixo:

I. Em uma estrada com duas pistas, v-se a placa:

Caminhes pista da direita

Como voc est dirigindo um automvel, voc conclui que deve trafegar pela pista da esquerda.

II. Voc mora em Recife e telefona para sua me em Braslia. Entre outras coisas, voc diz que Se
domingo prximo fazer sol, eu irei praia.
No final do domingo, sua me viu pela televiso que choveu em Recife todo o dia. Ento, ela
concluiu que voc no foi praia.

III. Imagine o seguinte dilogo entre dois polticos que discutem calorosamente certo assunto:

- A: Aqui na Cmara t cheio de ladro.


- B: Ocorre que eu no sou ladro.
- A: Voc safado, t me chamando de ladro.

Em cada situao h, no final, uma concluso. Examinando a lgica na argumentao:

A) So verdadeiras as concluses das situaes I e II, apenas.


B) So verdadeiras as concluses das situaes II e III, apenas.
C) So verdadeiras as concluses das situaes I e III, apenas.
D) As concluses I, II e III so verdadeiras.
E) As concluses I, II e III so falsas.

Resoluo desta questo na Plataforma.

99
Unidade IV

Unidade IV
Objetivos

Estudar tcnicas adicionais para aplicabilidade em casos nos quais a Lgica proposicional no se
aplica. O estudo da teoria dos conjuntos apresentado, como ferramenta auxiliar para o entendimento
da lgica dos predicados.

7 EMBASAMENTO PARA A LGICA DOS PREDICADOS

7.1 Sentenas abertas

Note-se a seguinte sentena, em que x uma varivel:

x menor que 8

Para essa sentena, no possvel atribuir um valor lgico de verdadeiro ou falso, pois no se tem
conhecimento do valor de x, por isso, essa sentena no uma proposio. Porm, se for atribudo um
valor a x, por exemplo, 45, a sentena ser 45 menor que 8, pode ser dita como falsa, logo, chamada
de proposio. As sentenas desse tipo que possuem uma ou mais variveis e que no podem ser
avaliadas como verdadeiras ou falsas so denominadas de sentenas abertas.

As sentenas abertas no so apenas aquelas que envolvem variveis numricas, elas podem
representar outros tipos de valores, por exemplo, pessoas ou cidades. Diga-se y a capital de So Paulo.
Se a y atribuir-se o contedo So Paulo, a sentena ser verdadeira, caso contrrio, ser falsa.

As sentenas abertas podem possuir uma quantidade de variveis qualquer. Outra maneira de
uslas quando utilizam-se frases fora de um contexto, Por exemplo: Ele foi jogador do Corinthians.
Obviamente, no se pode afirmar se a sentena verdadeira ou falsa, pois no se sabe quem ele,
porm, em um contexto determinado: Rivelino foi um craque. Ele foi jogador do Corinthians, sabe-se
que o Ele se refere a Rivelino, logo, no caso, pode-se afirmar que a frase verdadeira.

7.2 Reviso de teoria dos conjuntos

Definio de conjunto: uma coleo de zero ou mais objetos distintos, chamados elementos do
conjunto, os quais no possuem qualquer ordem associada. Em outras palavras, uma coleo no
ordenada de objetos.

Exemplo:

A = {branco, azul, amarelo}.


100
Lgica

Em um conjunto, a ordem dos elementos no importa e cada elemento deve ser listado apenas uma vez.

Pode-se definir um conjunto de diferentes formas:

Denotao por extenso: os elementos so listados exaustivamente.

Exemplo:

Vogais = {a, e, i, o, u}

Denotao por compreenso: definio de um conjunto por propriedades comuns aos objetos. De
forma geral, escreve-se {x | P(x)}, onde P(x) representa a propriedade.

Exemplo:

Pares = {n | n par}, que representa o conjunto de todos os elementos n, tal que n um nmero par.

Ainda podemos especificar um conjunto omitindo alguns elementos que esto implcitos na notao
adotada. Veja exemplos:

Dgitos = {0, 1, 2, 3,..., 9}.

Pares = {0, 2, 4, 6,...}.

Relao de pertinncia

Se a elemento de um conjunto A, ento podemos escrever: a A e diz-se que a pertence ao


conjunto A.

Se a no elemento de um conjunto A, ento podemos escrever: a A e diz-se que a no


pertence ao conjunto A.

Exemplos:

Considerando o conjunto Vogais = {a, e, i, o, u}, pode-se dizer que:

- e Vogais;
- m Vogais.

Considerando o conjunto B = {x | x brasileiro}, temos que:

- Pel B.
- Bill Gates B.

101
Unidade IV

Alguns conjuntos importantes

O conjunto vazio um conjunto que no possui elementos e pode ser denotado por ou { }.

Ainda temos:

- N, que representa o conjunto dos nmeros naturais;


- Z, que representa o conjunto dos nmeros inteiros;
- Q, que representa o conjunto dos nmeros racionais;
- I, que representa o conjunto dos nmeros irracionais;
- R, que representa o conjunto dos nmeros reais;
- C, que representa o conjunto dos nmeros complexos.

Definio de alfabeto: um alfabeto um conjunto finito, ou seja, um conjunto que pode ser denotado
por extenso. Os elementos de um alfabeto so chamados de smbolos ou caracteres.

Definio de palavra: uma palavra sobre um alfabeto uma sequncia finita de smbolos do alfabeto,
justapostos.

Exemplos:

- um alfabeto;
- {a, b, c, d} um alfabeto;
- N no um alfabeto;
- e uma palavra sobre {a, b, c].

Relao de incluso

Se todos os elementos de um conjunto A so tambm elementos de um conjunto B, ento dizemos que:

A B A est contido em B,

ou que

B A B contm A.

Neste caso, podemos dizer que A um subconjunto de B.

Por outro lado, se A B e A B, ou seja, existe b B tal que b A, ento diz-se que:

A B A est contido propriamente em B,

ou que

102
Lgica

B A B contm propriamente A.

Neste caso, dizemos que A um subconjunto prprio de B.

Exemplos:

- {1, 2, 3} {3, 2, 1};


- {1, 2} {1, 2, 3};
- {1, 2} {1, 2, 3}.

Definio de conjunto universo: denotado por U, o conjunto que contm todos os conjuntos que
esto sendo considerados, ou seja, define o contexto de discusso. Dessa forma, U no um conjunto
fixo e, para qualquer conjunto A, temos que A U.

Igualdade de conjuntos

Dois conjuntos A e B so ditos iguais se, e somente se, possuem os mesmos elementos, ou seja:

A = B, ou seja, (A B B A).

Exemplos:

- {0, 1, 2} = {x N | x 0 x < 3},


- N = {x Z x 0},
- {a, b, c} = {a, b, b, c, c, c}.

Pertinncia x Incluso

Os elementos de um conjunto podem ser conjuntos.

Exemplos:

Considere o conjunto S = {a, b, c, d, , {0}, {1, 2}}. Ento:

- {a} S;
- {a} S;
- S;
- S;
- {0} S;
- {1, 2} S;

103
Unidade IV

- {a, b, c, d} S;
- {a, b, c, d} S;

Podem-se representar conjuntos e suas operaes atravs de figuras geomtricas, como elipses e
retngulos, denominados diagramas de Venn.

Usualmente, os retngulos so utilizados para representar o conjunto universo e as elipses para


representar os demais conjuntos.

Conjunto A = {a, b, c, d, e}.

a
b
c
d
e

Figura 12

Conjunto A B.

B A

a
b
c
d
e

Figura 13

Conjunto A U.

U
A

a
b
c
d
e

Figura 14

104
Lgica

7.3 Sentena aberta

D-se o nome de sentena aberta de uma varivel em um conjunto A ou apenas


sentena aberta em A a uma expresso p(x) tal que p(a) falsa (F) ou verdadeira
(V) para todo a A. Isto , p(x) uma sentena aberta em A se e somente se p(x)
torna-se uma proposio (falsa ou verdadeira) todas as vezes que se substitui a
varivel x por qualquer elemento a do conjunto A(a A) (ALENCAR FILHO, 2002).

O conjunto A recebe o nome de conjunto universo ou domnio da varivel x. Aos elementos a A


d-se o nome de valor da varivel x.

Se a A tal que p(a) uma proposio verdadeira (V), diz-se que a satisfaz ou verifica p(x).

D-se o nome de funo proposicional a uma sentena aberta com uma varivel cujos valores
possveis esto em um conjunto A (ALENCAR FILHO, 2002).

Exemplos

a. y + 4 > 10;

b. x divisor de 50;

c. z no primo;

d. k mltiplo de 7;

e. u capital da Argentina;

f. Ele presidente da Guatemala.

7.3.1 Conjunto-verdade de uma sentena aberta com uma varivel

D-se o nome de conjunto verdade de uma sentena aberta p(x) em um conjunto A ao conjunto
de todos os elementos a A tais que p(a) uma proposio verdadeira (V). Obviamente, o conjunto
verdade um subconjunto do conjunto A.

Esse conjunto representa-se por Vp.

Em smbolos:

Vp = {x | x A p (x) V}

ou seja:

Vp = {x | x A p(x)} ou Vp = {x A I p(x)}
105
Unidade IV

O conjunto-verdade Vp de uma sentena aberta p(x) em A sempre um subconjunto do conjunto


A(Vp A).

Exemplos:

Nos exemplos a seguir, N conjunto dos nmeros naturais, ou seja, {0,1,2,...}.

1. Seja a sentena aberta x + 4 > 7 em N. O conjunto verdade :

Vp = {x | x N x + 4 > 7 } = {4, 5, 6,...} N

Neste caso, tem-se como conjunto-verdade um subconjunto de N com infinitos valores.

2. Para a sentena aberta x + 10 < 3 em N, o conjuntoverdade :

Vp ={x | x N x + 7 < 3} = {-8, -9, -10,...} = N

Neste caso, tem-se como conjunto-verdade o conjunto vazio, e pela definio de conjunto vazio, ele
est contido em qualquer conjunto.

3. O conjunto verdade em N da sentena aberta x + 2 > 1 :

Vp {x | x N x + 4 > 3} ={0, 1,...} = N N

Neste exemplo, o conjunto-verdade coincidiu com o domnio da varivel e, logo, com infinitos
valores.

4. Para a sentena aberta x divisor de 4 em N, temos:

Vp {x | x N x divisor de 4} = {1, 2, 4} N

Neste caso, tem-se como conjunto-verdade um subconjunto de N, com uma quantidade finita de
valores.

Se p(x) uma sentena aberta em um conjunto A, trs casos podem ocorrer:

a) Se p(x) verdadeira para todo x A, isto , o conjuntoverdade Vp coincide


com o universo A da varivel x, ou seja, Vp = A, ento p(x) uma condio
universal ou uma propriedade universal no conjunto A.

b) Se p(x) verdadeira somente para alguns x A, isto , o


conjuntoverdade Vp um subconjunto prprio do universo A da
varivel x, ou seja, Vp A, ento p(x) uma condio possvel ou uma
propriedade possvel no conjunto A.
106
Lgica

c) Se p(x) falso para todo x A, isto , o conjuntoverdade Vp vazio, ou


seja, Vp = , ento p(x) uma condio impossvel ou uma propriedade
impossvel no conjunto A (ALENCAR FILHO, 2002).

7.3.2 Sentenas abertas com duas variveis

Sejam A e B dois conjuntos, uma sentena aberta com duas variveis em A x B (A cartesiano B) uma
expresso p(x, y) tal que p(a, b) falsa ou verdadeira para todo o par ordenado (a, b) A x B.

O conjunto A x B recebe o nome de conjunto universo ou domnio das variveis x e y, e qualquer


elemento (a, b) de A x B denominado um par de valores das variveis x e y.

Se (a, b) A x B tal que p(a, b) uma proposio verdadeira, ento diz-se que (a, b) satisfaz ou
verifica p(x, y).

Uma sentena aberta com duas variveis em A x B tambm se chama funo proposicional com duas
variveis em A x B ou, simplesmente, funo proposicional em A x B.

Exemplos adaptados de Alencar Filho (2002):

Sejam os conjuntos A {1, 2, 3} e B = {5, 6} e as seguintes sentenas abertas a seguir.

a. x menor que y;

b. y o dobro de x.

O par ordenado (3, 5) A x B, por exemplo, satisfaz (a), pois 3 < 5, e o par ordenado (3, 6) A x B
satisfaz (b). O par (3,5) no satizfaz b.

7.3.3 Conjunto-verdade de uma sentena aberta com duas variveis

O conjunto-verdade de uma sentena aberta p(x, y) em A x B o conjunto de todos os elementos


(a, b) A x B tais que p(a, b) uma proposio verdadeira (ALENCAR FILHO, 2002). Este conjunto
representa-se por Vp.

Em smbolos:

Vp = {(x,y)| x A y B (x,y)}

ou, simplesmente:

Vp {(x,y) A x B | p(x,y)}

O conjunto-verdade Vp de uma sentena aberta p(x, y) em A x B sempre um subconjunto do


conjunto A x B, ou seja, Vp A x B (ALENCAR FILHO, 2002).

107
Unidade IV

Exemplos:

1. Qual o conjunto-verdade da sentena aberta x y em A x B quando A e B so A = {1,2,3,4,5}


e B {1,2,3}.

Vp = {(x, y) | x A y B x y} = {(1,1),(1,2),(1,3),(2,2),(2,3),(3,3)} A x B

2. O conjunto-verdade da sentena aberta x + y 0 em N x N, sendo N o conjunto dos nmeros


naturais, :

Vp {(x,y) | x,y N x + y 0} = NxN N x N

Esse exemplo resultou em um conjunto infinito de valores, e ainda esse conjunto o prprio
universo.

2. O conjunto-verdade da sentena aberta x + y < 0 em N x N, sendo N o conjunto dos nmeros


naturais, :

Vp {(x, y) I x,y N x + y < 0} = N x N

Esse exemplo resultou em um conjunto vazio, pois obviamente no possvel obter-se um nmero
menor que zero para a expresso usando-se apenas os nmeros naturais.

7.3.4 Sentenas abertas com n variveis

Generalizando-se as sentenas abertas para uma quantidade n qualquer de variveis e uma


quantidade n de domnios, segue-se:

Considere-se os n conjuntos A1, A2,..., An e o respectivo produto cartesiano entre eles, ou seja,
A1 x A2 x,...,x An.

Uma sentena aberta com n variveis em A1 x A2 x,...,x An uma expresso p(x1, x2,...,xn) tal que
p(a1, a2,...,an) falsa ou verdadeira para toda n-upla (a1, a2,...,an) A1 x A2 x,...,x An.

O conjunto A 1 x A 2 x,...,x A n recebe o nome de conjunto universo ou domnio das variveis


x 1, x 2,...,x n, e qualquer elemento (a1, a2,...,an) A1 x A2 x,...,x An chama-se de uma n-upla de valores
das variveis (x1, x2,...,xn).

Se (a1, a2,...,an) A1 x A2 x,..., x An tal que p(a1, a2,...,a) uma proposio verdadeira, diz-se que (a1, a2 an)
satisfaz ou verifica p(x1, x2,...,xn).

Uma sentena aberta com n variveis em A1 x A2 x,...,x An tambm se chama funo proposicional
com n variveis em A1 x A2 x,...,x An.

108
Lgica

Exemplo:

A expresso 2x + 2y + 2k +2z > 10 uma sentena aberta em N x N x N x N, sendo N o conjunto


dos nmeros naturais.

A quadra ordenada (2, 2, 2, 2) N x N x N x N, por exemplo, satisfaz essa sentena aberta, j que
2.2 + 2.2 +2.2 + 2.2 > 10.

7.3.5 Conjunto-verdade de uma sentena aberta com n variveis

O conjunto-verdade de uma sentena aberta p(x1, x2,...,xn) em A1 x A2, x,...,x An o conjunto de todas
as n-uplas (a1, a2,...,an) A1 x A2 x,...,x An, tais que p(a1, a2,...,an) uma proposio verdadeira.

Em smbolos:

Vp = {(x1,x2,...,xn) | x1 A1 x2 A2 ... xn An p(x1, x2,...,xn)}

ou seja,

Vp = {(x1,x2,...,xn) A1 x A2 x,...,x An I p(x1, x2,...,xn)}

Observao

Em matemtica, as equaes e as inequaes so sentenas abertas que


definem uma relao de igualdade e desigualdade, respectivamente, entre
duas ou mais expresses com uma ou vrias variveis. Mas, o conceito de
sentena aberta muito mais amplo que o de equao ou inequao; assim,
x divide y, x jogador do time y, x mecnico de y, etc., so sentenas
abertas, sem serem equaes nem inequaes (ALENCAR FILHO, 2002).

7.4 Operaes lgicas sobre as sentenas abertas

As operaes lgicas sobre as sentenas abertas tem o comportamento idntico s operaes lgicas
sobre as proposies, por conseguinte, o desenrolar das explicaes ser abreviado.

7.4.1 Negao

Considere-se como conjunto universo o conjunto dos nmeros naturais N para a seguinte sentena
aberta adaptado de Alencar Filho (2002):

x > 12

109
Unidade IV

Antepondo a essa sentena aberta o conectivo ~ (que se l no verdade que), obtm-se uma
nova sentena aberta em N:

~x > 12

que natural chamar negao da primeira, pois verdadeira quando x no satisfaz a proposio
original.

A negao de x > 12 logicamente equivalente seguinte sentena aberta em H:

x = 12 x < 12, melhor representada por x 12.

Segue outro exemplo adaptado de Alencar Filho (2002):

No universo N (conjunto dos nmeros naturais):

~ x par x mpar.

Isto , x no par se e somente se x mpar.

Dada uma sentena p(x) aberta em um conjunto A, e seja o elemento a A, este satisfaz a sentena
aberta ~p(x) em A se a proposio ~p(a) verdadeira e, consequentemente, a proposio p(a) falsa,
isto , se e somente se a A no satisfaz a sentena aberta p(x) em A. Portanto, o conjuntoverdade
V~p da sentena aberta p(x) em A o complemento em relao a A do conjuntoverdade Vp da sentena
aberta p(x) em A (ALENCAR FILHO, 2002).

Em smbolos:

V~p = CAVp = CA {x A I p(x)}

Ou seja, o conjunto complementar de Vp em A formado por todos os elementos que esto em A


mas no esto em Vp. Disso tem-se que a interseco de Vp com V~p vazia.

Exemplo adaptado de Alencar Filho (2002):

Seja A o conjunto dos nmeros naturais mltiplos de 3, isto , A = {3k |k N} = {3, 6, 9, 12,...}.

p(x): x mltiplo de 3

temos:

V~p = CA {x A | x mltiplo de 3} = {x A | x no divisvel por 3}.

110
Lgica

7.4.2 Conjuno

Sejam as seguintes sentenas abertas adaptadas de Alencar Filho (2002):

x carpinteiro, x piloto de avio.

O conjunto universo da varivel x para cada uma das proposies pode ser considerado como sendo
o conjunto H dos seres humanos.

Unindo essas duas sentenas abertas pelo conectivo , obtm-se uma nova sentena aberta em
H:

x carpinteiro x piloto de avio.

que ser verdadeira para todos os indivduos que satisfazem ao mesmo tempo as duas condies
dadas, e s por esses indivduos.

Diz-se que a nova sentena aberta obtida a conjuno das proposies.

Analogamente, a conjuno das sentenas abertas em R (conjunto dos nmeros reais):

x > 5, x < 10 ,

a sentena aberta em x > 5 x < 10

A conjuno x > 5 x < 10 costuma ser escrita da seguinte forma 5 < x < 10.

Generalizando-se para dois nmeros reais quaisquer a e b, tem-se:

a<x<bx>ax<b

ou

]a, b[ x > a x < b.

Observe-se que os colchetes esto de tal forma que indicam intervalo aberto; para se indicar um
intervalo fechado, usar-se-ia a seguinte notao.

[a, b] x a x b.

Como outro exemplo de sentena aberta, pode-se citar o seguinte sistema de equaes lineares.

Presumindo-se que o conjunto universo R (conjunto dos nmeros reais):

111
Unidade IV

2x + 2y = 6 x = 1

2x 3y = 4 y = 2

o qual pode ser escrito de uma forma mais sinttica:

2x + 2y = 6 2x - 3y = -4 x = 1 y = 2

Generalizando-se, sejam as proposies P1(x), P2(x),...,Pn(x) sentenas abertas em um conjunto A


qualquer. Para satizfazer a conjuno de P1(x) P2(x) ... Pn(x), o elemento a A deve satisfazer cada
sentena aberta P1(x), P2(x),..., Pn(x) em A para que a proposio P1(x) P2(x) ... Pn(x) seja verdadeira.

Portanto, o conjunto verdade VP1P2...Pn da sentena aberta P1(x) P2(x) ... Pn(x) em A a
interseco dos conjuntos-verdade Vp1,Vp2,..., Vpn (ALENCAR FILHO, 2002).

Em smbolos:

VP1P2...Pn = VP1 VP2... VPn = {x A I P1(x) } {x A I P2(x)} ... {x A I Pn(x)}.

Exemplo:

A) Sejam as sentenas abertas em Z (conjunto dos nmeros inteiros):

p(x) : x - 3 = 0;

q(x) : x2 - 9 = 0.

Temos:

Vpq = {x Z I x-3 = 0} {x Z I x2 9 = 0}

= {3}) {-3, 3} ={3}

Vpq = {x Z I X = 3}

7.4.3 Disjuno

Sejam as seguintes sentenas abertas adaptadas de Alencar Filho (2002):

x carpinteiro, x piloto de avio.

O conjunto universo da varivel x para cada uma das proposies pode ser considerado como sendo
o conjunto H dos seres humanos.

112
Lgica

Unindo essas duas sentenas abertas pelo conectivo , obtm-se uma nova sentena aberta em
H:

x carpinteiro x piloto de avio.

que ser verdadeira para todos os indivduos que satisfazem pelo menos uma das duas condies
dadas.

Diz-se que a nova sentena aberta obtida a disjuno das proposies.

Analogamente, a conjuno das sentenas abertas em R (conjunto dos nmeros reais):

x > 5, x < 10

a sentena aberta em x > 5 x < 10.

Obviamente, qualquer nmero real satisfaz essa proposio, logo, o conjuntoverdade


seria o prprio R, sendo que, em alguns casos, ele pode satizfazer simultaneamente as duas
proposies.

Vpq = R

Para as seguintes proposies:

x < 5, x > 10,

a sentena aberta em x < 5 x > 10 tem uma diferena no conjunto-verdade, que j no mais
R, mas, sim, R menos a regio entre 5 e 10.

Vpq= R - {x R | 5 x 10}

Generalizando-se, sejam as proposies P1(x), P2(x),..., Pn(x) sentenas abertas em um conjunto A


qualquer. Para satisfazer a conjuno de P1(x) P2(x) ... Pn(x), o elemento a A deve satisfazer
cada sentena aberta P1(x), P2(x),..., Pn(x) em A para que a proposio P1(x) P2(x) ... Pn(x) seja
verdadeira.

Portanto, o conjunto-verdade VP1P2...Pn da sentena aberta P1(x) P2(x) ... Pn(x) em A a unio
dos conjuntos verdade Vp1,Vp2,..., Vpn (ALENCAR FILHO, 2002).

Em smbolos:

VP1P2...Pn = VP1 VP2 ... VPn = {x A I P1(x) } {x A I P2(x)} ... {x A I Pn(x)}.

113
Unidade IV

Exemplo:

A) Sejam as sentenas abertas em Z (conjunto dos nmeros inteiros):

p(x) : x - 3 = 0

q(x) : x2 - 9 = 0

Temos:

Vpq = {x Z | x-3 = 0} {x Z | x2 9 = 0}

= {3} {-3,3} = {-3,3}

Vpq = {x Z | X = -3 X = 3 }

7.4.4 Condicional

Dadas duas proposies p(x) e q(x) que sejam sentenas abertas em um


mesmo conjunto A. Se essas duas sentenas abertas forem unidas pelo
conectivo , obter-se- uma nova sentena aberta em A: p(x) q(x),
que verdadeira para todo elemento a A tal que a condicional p (a)
q(a) verdadeira.

Para encontrar-se o conjunto-verdade da condicional, ser considerada


a seguinte expresso p(x) q(x) ~p(x) q(x), e da segue-se que o
conjunto-verdade Vp q da sentena aberta p(x) q(x) em A coincide
com o conjunto-verdade da sentena aberta ~p(x) q(x) em A e, portanto,
a unio dos conjuntos-verdade e V~p e Vq das sentenas abertas ~p (x) e
q(x) em A (ALENCAR FILHO, 2002).

Em smbolos:

Vp q = V~p U Vq = CAVp U Vq

Ou seja:

Vp q = CA { x A | p(x) } U { x A | q (x)}

Exemplo adaptado de Alencar Filho (2002):

Dadas as sentenas abertas em N (conjunto dos nmeros naturais):

p(x) : x < 13, q(x) : x > 9


114
Lgica

Escreve-se:

V pq = CN {x N |x < 13} U {x N |x > 9}

= {x N |x < 13} U {x N |x > 9}

= {x N |x > 9}

7.4.5 Bicondicional

Dadas duas proposies p(x) e q(x) que sejam sentenas abertas em um mesmo
conjunto A. Se essas duas sentenas abertas forem unidas pelo conectivo
obter-se- uma nova sentena aberta em A: p(x) q(x), que verdadeira
para todo elemento a A tal que a bicondicional p(a) q(a) verdadeira
(ALENCAR FILHO, 2002).

Para determinar-se o conjunto-verdade da bicondicional, ser considerada a seguinte expresso:


p(x) q(x) (p(x) q(x)) (q(x) p(x)), e da segue-se que o conjunto-verdade Vp q da sentena
aberta p(x) q(x) em A coincide com o conjunto-verdade da sentena aberta em A:

(p(x) q(x)) (q(x) p(x))

que a interseo dos conjuntos-verdade das condicionais p(x) q(x) e q(x) p(x) em A, ou seja, Vp q
intersero Vq p das sentenas abertas em A:

Em smbolos:

Vp q = Vp q Vq p = (V~p U Vq) (V~q U Vp) = (CAVp U Vq) (CAVq U Vp)

Exemplo adaptado de Alencar Filho (2002):

Dadas as sentenas abertas em N (conjunto dos nmeros naturais):

p(x): x > 16, q(x): x < 5

Tem-se:

CNVp U Vq = CN {x > 16} U {x < 5} = {x 16} U {x < 5 } = {x 16}

CNVq U Vp = CN { x < 5} U {x > 16} = {x 5} U { x > 16} = {x 5}

finalmente: Vp q = {x 16} {x 5} = { 5 x 16}

Note-se nesse exemplo que o conjunto-verdade torna a proposio verdadeira, porm, observe que
no caso em questo a proposio verdadeira porque ambos os lados so falsos, ou seja, F F.

115
Unidade IV

7.4.6 Propriedades das sentenas abertas

No tocante s propriedades das sentenas abertas, isto , as propriedades da distribuio, associao


etc., tem-se exatamente o mesmo comportamento das proposies normais.

7.5 Quantificadores

7.5.1 Quantificador universal

Encontramos em Alencar Filho (2002) que, dada uma sentena aberta p(x) em um conjunto no
vazio A(A ), onde Vp o conjunto-verdade. Em smbolos: Vp ={x|x A p(x)}.

Quando Vp = A, isto , todos os elementos do conjunto A satisfazem a sentena aberta p(x), pode-se
escrever de alguma destas maneiras a seguir:

1. Para todo elemento x em A, p(x) verdadeira.

2. Qualquer que seja o elemento x de A, p(x) verdadeira.

Em smbolos:

x A, p(x)

Simplificadamente, por exemplo:

x, p(x)

pois vale a equivalncia:

( x A)(p(x)) Vp = A

Observao

Nota-se que p(x) uma sentena aberta e, por isso, no tem valor lgico
V ou F; contudo, a sentena aberta p(x) com o smbolo antes dela, isto ,
( x A) (p(x)), torna-se uma proposio e, portanto, tem um valor lgico,
que verdadeiro se Vp = A e falso se Vp A (ALENCAR FILHO, 2002).

A essa operao lgica d-se o nome de quantificao universal e ao respectivo smbolo (que
um A invertido), o de quantificador universal.

Em particular, seja A um conjunto finito com n elementos a1, a2,..., an, isto , A = {a1, a2,..., an}, bvio
que a proposio ( x A)(p(x)) equivalente conjuno das n proposies p(a1), p(a2),..., p(an),

116
Lgica

ou seja,

( x A)(p(x)) (p(a1) p(a2) ... p(an)).

Quado o conjunto universo finito, o quantificador universal equivale a conjunes sucessivas.

Exemplos adaptados de Alencar Filho (2002):

1. No universo finito A = {2, 4, 6} e sendo p(x) a sentena aberta x par, tem-se:

( x A) (x par) (2 par 4 par 6 par).

No caso, pode-se dizer qualquer que seja o elemente x pertencente a A, ele ser par.

2. ( x) (x mortal)

L-se Qualquer que seja x, x mortal; uma proposio verdadeira no universo A dos animais.

Analogamente, as expresses:

( x) (3x > x): Qualquer que seja x, 3x > x

Essa expresso O triplo de um nmero sempre maior que esse nmero, o que verdadeiro
quando em N, mas falso em Z.

Exemplo:

Tem-se em R:

x2 y2 = (x + y )(x - y), x, y

7.5.2 Quantificador existencial

Dada uma sentena aberta p(x) em um conjunto no vazio A(A ) e seja Vp o seu conjunto-
verdade:

Vp = {xIx A p(x)}.

Quando Vp, no vazio (Vp ), ento pelo menos um elemento do conjunto A satisfaz a sentena
aberta p(x), da pode-se dizer que:

1. Existe pelo menos um x A tal que p(x) verdadeira;

2. Para algum x A, p(x) verdadeira.


117
Unidade IV

Em smbolos:

x A, p(x)

Simplificadamente, por exemplo:

x, p(x)

pois, vale a equivalncia:

( x A)(p(x)) Vp

Observao

A essa operao lgica d-se o nome de quantificao existencial e ao


respectivo smbolo (que um E invertido), o de quantificador existencial
(ALENCAR FILHO, 2002)..

Seja A um conjunto finito com n elementos a1, a2, e seja a, isto , A = {a1, a2,..., an}, a proposio
( x A)(p(x)) equivalente disjuno das n proposies p(a1), p(a2),..., p(a), ou seja:

( x A) (p(x)) (p (a1) p(a2) ... p(an))

Lembrete

Em um universo finito, o quantificador existencial equivale a disjunes


sucessivas.

Exemplo adaptado de Alencar Filho (2002):

Seja o seguinte conjunto universo finito A = {3, 4, 5} e sendo p(x) a sentena aberta x par,
temos:

( x A) (p(x)) = (3 par 4 par 5 par)

7.5.3 Quantificador da unicidade

Temos em Alencar Filho (2002) uma sentena aberta p(x) em um conjunto no vazio A(A ) e
seja Vp o seu conjunto-verdade composto por apenas um elemento, e somente um elemento. Usa-se a
seguinte simbologia:

118
Lgica

! ou |, isto , existe um e somente um.

Exemplo adaptado de Alencar Filho (2002):

Seja a sentena: x - 3 = 0, em que o conjunto universo o dos numeros naturais N

(! x N)(x 3 = 0)

Ou seja, existe um e somente um x em N tal que x 3 = 0 seja verificada.

7.5.4 Negao de um quantificador

Evidentemente, pode-se negar qualquer expresso na qual se use o quantificador universal ou o


quantificador existencial.

a. ~ ou

b. ~

Em a. se est negando o quantificador universal todos; isso quer dizer que h pelo menos um, ou
seja, existe ao menos um que no satisfaz a condio proposta. No caso b. se est negando a existncia
de pelo menos um, e nesse caso quer dizer que no existe nenhum elemento que satisfaa a condio
proposta. No caso b. tambm usa-se o smbolo do E invertido cortado por uma barra inclinada, ou seja,
~ equivale a / , que quer dizer que no existe nenhum elemento.

Exemplos:

1. Todos os carros so bonitos; neste caso, pode-se usar como o conjunto universo o conjunto de
carros produzidos por uma montadora qualquer.

Negar essa frase significa dizer:

Nem todos os carros so bonitos.

2. Pelo menos um aluno tirou nota dez em lgica; neste caso, o conjunto universo pode ser o
conjunto de todos os alunos de uma turma em particular.

Negar essa proposio quer dizer:

Nenhum alunos tirou dez em lgica.

7.5.5 Quantificao com vrias variveis

A quantificao de sentenas abertas com vrias variveis possui algumas particularidades que
devem ser exploradas.

119
Unidade IV

7.5.6 Quantificao parcial

A quantificao parcial aparece quando apenas uma das variveis da sentena aberta
quantificada:

Exemplo:

( x A) (5x - 3y = 12)

onde o conjunto universo das variveis x e y A = {1,2,3,4,5}

Visto que no se sabe o valor de y, no se pode afirmar se existe o valor de x para que se tenha uma
proposio falsa ou verdadeira.

Neste caso, a varivel y denominada de varivel livre.

7.5.7 Quantificao mltipla

Quando uma sentena aberta possui um quantificador para cada varivel, pode-se ento dizer que
a sentena em questo uma proposio, pois poder-se- verificar se ela uma declarao falsa ou
verdadeira.

Note-se que os quantificadores podem ser diferentes para cada varivel.

Exemplos (ALENCAR FILHO, 2002):

a. ( x A)( y B)(p(x,y))

b. ( x A)( y B)(p(x,y))

c. (/ x A)( y B)(p(x,y))

d. (/ x A)(! y B)(p(x,y))

e. ( x A)( y B)(p(x,y))

8 noes sobre silogismos categricos

8.1 Proposies categricas

Seja o seguinte argumento:

Todos os bandidos so pessoas de mau carter.


Alguns polticos so bandidos.
Logo, alguns polticos so pessoas de mau carter.

120
Lgica

Observe que a relao que existe entre as proposies simples do argumento decorre da estrutura
interna das prprias proposies, particularmente em razo da presena dos quantificadores todos e
alguns.

As proposies desse argumento apresentam a seguinte estrutura:

Quantificador + termo sujeito + verbo ser + termo predicado.

As proposies com tal estrutura so conhecidas como proposies categricas.

As proposies categricas so classificadas da seguinte forma, em que S o termo sujeito e P, o


termo predicado.

1. Proposio universal afirmativa: Todo S P.


Exemplo: Todos os polticos so ricos.

2. Proposio universal negativa: Nenhum S P.


Exemplo: Nenhum poltico rico.

3. Proposio particular afirmativa: Algum S P.


Exemplo: Alguns polticos so ricos.

4. Proposio particular negativa: Algum S no P.


Exemplo: Alguns polticos no so ricos.

As proposies categricas sempre so escritas com o verbo ser, fazendo-se as alteraes necessrias
para manter o do sentido original.

Por exemplo, a proposio Alguns rpteis vivem na gua ficaria assim: Alguns rpteis so seres
que vivem na gua.

O quantificador algum apresenta o sentido de pelo menos um. Esse sentido se mantm quando se
emprega o plural: alguns. Ou seja, considera-se, por conveno, que algum e alguns tm o mesmo
significado.

Diagramas de Euler

As relaes anteriores podem ser representadas pelos diagramas de Euler adaptados de Alencar Filho
(2002):

1. Todos os polticos so ricos.

121
Unidade IV

ricos
polticos

Figura 15

Esse diagrama mostra que o conjunto dos polticos est contido no conjunto de ricos.

Apenas a partir dessa proposio, no temos elementos para afirmar que alguns polticos no so
polticos (isto , no podemos garantir que haja elementos no conjunto ricos fora do conjunto polticos).
Do mesmo modo, tambm no podemos concluir que todos os ricos so polticos, isto , no podemos
afirmar que os conjuntos ricos e polticos so iguais. Sabe-se apenas que essas duas possibilidades
existem; por isso, para melhor visualizao, podemos imaginar as seguintes representaes:

1 representao 2 representao
ricos ricos = polticos

polticos

Ricos no polticos
Figura 16 Figura 17

O que essas duas representaes tm em comum o fato de, em ambas, o conjunto polticos estar
contido no conjunto ricos, pois esse precisamente o contedo da proposio Todos os polticos so
ricos. Assim, qualquer concluso, para poder ser inferida a partir dessa proposio, deve ser coerente
com as duas representaes anteriores.

Em outras palavras, ambos os diagramas tornam verdadeira a proposio Todos os polticos so


ricos. Na verdade, a segunda representao nada mais do que um caso particular da primeira, em que
no h elementos na regio correspondente aos ricos no polticos.

2. Nenhum poltico rico.

Polticos Ricos

Figura 18

122
Lgica

O diagrama nos mostra que o conjunto dos polticos e o conjunto dos ricos no possuem nenhum
elemento em comum.

3. Alguns polticos so ricos.


Polticos Ricos

Figura 19

A interseco entre o conjunto dos polticos e o dos ricos nos fornece o conjunto dos polticos
ricos.

O que esse diagrama nos mostra que a interseco dos conjuntos ricos e polticos possui
elementos, ou seja, existem polticos ricos.

Entretanto, no podemos concluir que existem polticos no ricos, nem que no existem. Nada nos
afirmado a esse respeito. Por vezes, para deixar mais claras essas possibilidades, podemos considerar
as duas representaes a seguir:

1 representao
Polticos Ricos

Polticos no ricos Polticos ricos

Figura 20

2 representao
Ricos

Polticos

Polticos ricos

Figura 21

123
Unidade IV

A primeira representao admite a possibilidade de haver polticos no ricos, j a segunda nos diz,
efetivamente, que todos os polticos so ricos.

Observe que a segunda no passa de um caso particular da primeira, em que a regio que representa
os polticos no ricos vazia.

Admitindo-se a existncia de polticos (hiptese existencial), se for verdade que todos os polticos
so ricos, tambm ser verdade que alguns polticos so ricos.

Em termos gerais, se a proposio todo S P verdadeira, ento a proposio algum S P tambm


. O fato de a proposio algum S P ser verdadeira no garante que a proposio todo S P seja
verdadeira.

4. Alguns polticos so ricos.


Poltico Ricos

Polticos no ricos Polticos ricos

Figura 22

A regio sombreada representa o conjunto dos polticos no ricos.

Ao dizer que alguns polticos no so ricos, no se est afirmando que haja polticos ricos, nem
tampouco que no haja.

Assim, admitindo-se que existem polticos (hiptese existencial), se verdade que nenhum poltico
rico, claro que tambm verdade que alguns polticos no so ricos.

Genericamente, se a proposio Nenhum, S P verdadeira, ento a proposio Algum S no


P tambm verdadeira, assim a verdade da proposio Algum S no P no garante a verdade da
proposio Nenhum S P.

8.2 Proposies contraditrias

Duas proposies so contraditrias quando uma a negao da outra, isto , sendo uma verdadeira,
a outra falsa, e vice versa.

Seguem algumas maneiras de escrever a negao das proposies categricas em sua forma tpica:

124
Lgica

1. Negao de Todo S P

H vrias formas de expressar a negao dessa proposio, todas com o mesmo significado:

a. Nem todo S P.
b. Existe pelo menos um S que no P.
c. Algum S no P.

Essa ltima a mais usada.

Exemplo:

A negao de Todos os polticos so ricos pode ser escrita, na forma tpica, como: Alguns polticos
no so ricos.

2. Negao de Nenhum S P

A negao dessa proposio pode ser assim expressa:

a. No verdade que nenhum S P.


b. Existe pelo menos um S que P.
c. Algum S P.

Exemplo:

A negao de Nenhum poltico rico Alguns polticos so ricos.

3. Negao de Algum S P

a. No verdade que algum S P.


b. No existe nenhum S que seja P.
c. Nenhum S P.

Exemplo:

A negao de Alguns polticos so ricos Nenhum poltico rico.

4. Negao de Algum S P

a. No verdade que algum S P.

125
Unidade IV

b. Todo S P.

Exemplo:

A negao de Alguns polticos no so ricos Todos os polticos so ricos.

Por fim, considerem-se as quatro proposies contraditrias:

Todo S P e Alguns S no so P

Nenhum S P e Alguns S so P

As proposies Todos os polticos so ricos e nenhum poltico rico no so contraditrias,


pois, embora no seja possvel que ambas sejam verdadeiras, possvel que sejam ambas falsas; tais
proposies so denominadas contrrias.

As proposies Alguns polticos so ricos e Alguns polticos no so ricos tambm no so


contraditrias, pois, apesar de no poderem ser ambas falsas, pode ocorrer que ambas sejam verdadeiras;
essas proposies so denominadas subcontrrias.

8.3 Silogismos categricos

O silogismo um argumento constitudo de exatamente trs proposies, sendo duas premissas e


uma concluso. Os silogismos constitudos por proposies categricas so denominados por silogismos
categricos.

Os diagramas de Euler so teis para nos auxiliar na anlise da validade desses tipos de argumentos.
Para isso, basta desenhar o diagrama das premissas e analisar se a concluso no ficou automaticamente
desenhada.

Se a concluso ficar automaticamente desenhada para todos os desenhos possveis das premissas,
ento o argumento vlido; caso contrrio, se a concluso no for automaticamente desenhada para
alguma forma de desenho possvel, o argumento ser invlido.

Exemplo:

Todos os mamferos voam.

Todos os gatos so mamferos.


Logo, os gatos voam.

Usando o diagrama de Euler, v-se que o argumento vlido, apesar da concluso no ser verdadeira.
Lembre-se que, em lgica, o que importa a forma do argumento.

126
Lgica

Animais que voam

Animais que so mamferos

Gatos

Figura 23

Lembrete

Origem da filosofia

A filosofia ocidental surgiu na Grcia, incentivada por um contexto


poltico grave difcil de suportar.

Um grupo de elite de eruditos de vrios campos reunia-se para discutir


e compreender os acontecimentos.

A partir do sculo VI a.C at o sculo II, comea na Grcia o


movimento filosfico que influenciou e ainda continua a influenciar a
nossa cultura.

Os filsofos antes de Scrates (sculo IV a.C.), chamado pr-socrticos,


integram o grupo chamado cosmolgico, frequentemente agrupados em
escolas, como a jnica, de Mileto, Pitgoras etc.

Os mais importantes foram Tales (sculo. VI a.C.), Anaximandro (sculo


VI a.C.), Anaxmenes (sculo VI a.C.), Herclito (sculo V AC), Parmnides
(sculo V a.C.), Pitgoras (sculo V a.C.), Empdocles (sculo IV. a.C.),
Anaxgoras (sculo IV. a.C.) e Demcrito (sculo IV a.C.).

Resumo

Nesta ltima unidade, foi realizada uma breve introduo lgica


dos predicados. Para isso, fundamentaram-se os conceitos de sentenas
abertas e quantificadores. Entre os quantificadores, foram abordados os
quantificadores universais e de existncia, bem como suas variantes e a
negao de quantificadores. Finalizou-se com os conceitos de silogismos
categricos.

127
Unidade IV

Exerccios

Questo 1. (SAE-PE/2008) Na figura abaixo, cada quadrinho possui um nmero oculto.

Em cada uma das situaes a seguir, o nmero que aparece embaixo de cada figura a soma dos
nmeros que esto nos quadrinhos sombreados.

26 29 22 23 24

O nmero do quadrinho central :

A) 5
B) 6
C) 7
D) 8
E) 9

Resposta correta: alternativa C.

Anlise das alternativas

Considerando-se X, Y, W, Z e T os nmeros nos quadrinhos de forma que estejam assim


dispostos:

X est no quadrinho superior, Y est no da esquerda, W est no central, Z est no da direita e T no


inferior. Utilizando-se esta notao, partindo-se das cinco figuras podemos escrever:

Primeira figura: X+Y+W+Z=26.


Segunda figura: X+Y+W+T=29.
Terceira figura: Y+W+Z+T=22.

128
Lgica

Quarta figura: X+W+T+Z=23.


Quinta figura: X+Y+Z+T=24.

Deseja-se obter o valor de W. Logo:

Somando-se algebricamente membro a membro as cinco expresses acima, encontramos:

4 (X+Y+W+Z+T) = 124

Ento:

X+Y+W+Z+T = 31

Substituindo-se a expresso obtida pela expresso obtida a partir da quinta figura, temos: W+24=31

Logo, W=7.

Sendo assim, o nmero do quadrinho central 7. Ento:

A) Alternativa incorreta.
Justificativa: de acordo com os clculos.

B) Alternativa incorreta.
Justificativa: de acordo com os clculos.

C) Alternativa correta.
Justificativa: de acordo com os clculos.

D) Alternativa incorreta:
Justificativa: de acordo com os clculos.

E) Alternativa incorreta:
Justificativa: de acordo com os clculos.

Questo 2. (SAE-PE/2008) Observe as figuras abaixo:

1 1 5 10 3 15 5 x
1 2 2 10 5 6 6 y

Os nmeros que existem dentro de cada uma das figuras possuem uma regra lgica que os une.
Ento, a diferena x-y igual a:
129
Unidade IV

A) 20

B) 18

C) 16

D) 12

E) 10

Resoluo desta questo na Plataforma.

130
Referncias

Textuais

ALENCAR FILHO, E. de. Iniciao lgica matemtica. So Paulo: Nobel, 2002.

DAGLIAN, J., Lgica e lgebra de Boole 4. Ed. So Paulo: Atlas, 1995.

DOttaviano, . M. L., FEITOSA, H. A., Sobre a histria da lgica, a lgica clssica e o surgimento das
lgicas no-clssicas. V Seminrio Nacional de Histria da Matemtica. Rio Claro. Abr. de 2003.
Disponvel em: <ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/ArtGT.pdf>. Acesso em: 22 Fev. 2011.

MAOR, E. A histria de um nmero. Rio de Janeiro: Record, 2003.

TAHAN, M. O homem que calculava. Rio de Janeiro: Record, 2001.

Exerccios

Unidade I Questo 1: ESCOLA DE ADMINISTRAO FAZENDRIA (ESAF). Concurso pblico 2002:


Analista de Finanas e Controle. Questo 2. Disponvel em: < http://raciociniologico.50webs.com/
AFC2002/AFC2002.html >. Acesso em: 21 mai. 2011.

Unidade I Questo 2: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista em
Gesto Administrativa - PE. Questo 22. Disponvel em: < http://200.198.188.123/download/provas/
sadpe_prova_objetiva_analista_gestao_administrativa_02.pdf >. Acesso em: 21 mai. 2011.

Unidade II Questo 1: Disponvel em:< http://www.jusdecisum.com.br/sistema/turma/arquivos/APOS


TILA%20DE%20RACIOCINIO%20LOGICO%202011.pdf> Acesso em: 23 mai. 2011.

Unidade II Questo 2: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista em
Gesto Administrativa PE, caderno 1. Questo 34. Disponvel em: < http://200.198.188.123/
download/provas/sadpe_prova_objetiva_analista_gestao_administrativa_01.pdf>. Acesso em: 21 mai.
2011.

Unidade III Questo 1: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista em
Gesto Administrativa - PE. Questo 1. Disponvel em: < http://200.198.188.123/download/provas/
sadpe_prova_objetiva_analista_gestao_administrativa_02.pdf >. Acesso em: 21 mai. 2011.

Unidade III Questo 2: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista
em Gesto Administrativa PE, caderno 1. Questo 26. Disponvel em: < http://200.198.188.123/
download/provas/sadpe_prova_objetiva_analista_gestao_administrativa_01.pdf>. Acesso em: 21 mai.
2011.

131
Unidade IV Questo 1: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista
em Gesto Administrativa PE, caderno 1. Questo 21. Disponvel em: < http://200.198.188.123/
download/provas/sadpe_prova_objetiva_analista_gestao_administrativa_01.pdf>. Acesso em: 21 mai.
2011.

Unidade IV Questo 2: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista
em Gesto Administrativa PE, caderno 1. Questo 23. Disponvel em: < http://200.198.188.123/
download/provas/sadpe_prova_objetiva_analista_gestao_administrativa_01.pdf>. Acesso em: 21 mai.
2011.

132
133
134
135
136
Informaes:
www.sepi.unip.br ou 0800 010 9000