Logica

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
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
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
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
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.
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.
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
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
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.
C) Alternativa incorreta.
D) Alternativa incorreta.
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).
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,...)
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).
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
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.
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.
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:
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.
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.
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
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

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

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

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

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
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.
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
p (q r), p q, p r
Soluo:
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
p q, ~q ~p
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.
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:
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
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.
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.
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)}
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
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)
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.
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.
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.
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.
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.
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:
Justificativa: de acordo com os clculos.
C) Alternativa correta.
D) Alternativa incorreta:
E) Alternativa incorreta:
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
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/
2011.
131
Unidade IV Questo 1: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista
2011.
Unidade IV Questo 2: FUNDAO GETLIO VARGAS (FGV). Concurso pblico 2008: Analista
2011.
132
133
134
135
136
Informaes:
www.sepi.unip.br ou 0800 010 9000

Logica

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Logica

Загружено:

Авторское право:

Доступные форматы

Lgica

Autores: Prof. Angel Antonio Gonzales Martinez

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

Dados Internacionais de Catalogao na Publicao (CIP)

M385 Martinez, Angel Antonio Gonzales

Lgica. / Angel Antonio Gonzales Martinez; kio Nogueira

Nota: este volume est publicado nos Cadernos de Estudos

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

Prof. Fbio Romeu de Carvalho

Profa. Melnia Dalla Torre

Prof. Dr. Yugo Okida

Profa. Dra. Marlia Ancona-Lopez

Unip Interativa EaD

Profa. Elisabete Brihy

Material Didtico EaD

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

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

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

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

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

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

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

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

1 FUNDAMENTOS SOBRE PROPOSIES

1.1 Proposies e conectivos

1.1.1 Conceito de proposio

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

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

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

a. Madrid a capital da Espanha.

b. Aracaju capital de Sergipe.

f. Cervantes escreveu os Sertes.

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

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

1.1.2 Valores lgicos das proposies

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

a. O chumbo mais pesado que a gua.

b. O sol gira em torno de Marte.

1.1.3 Proposies simples e proposies compostas

As proposies podem ser classificadas em simples ou compostas.

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

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 proposies compostas so habitualmente designadas pelas letras latinas maisculas P, Q, R, S

P: Joo careca e Alice estudante.

Q: Alice bonita ou Viviane estudante.

R: Se Joo careca, ento infeliz.

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

As proposies componentes de uma proposio composta podem ser,

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

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

A seguir, tem-se a representao tabular.

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

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

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

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

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

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

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

1.2 Operaes lgicas sobre proposies

1.2.1 Negao (~)

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

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

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