APOSTILA DE LGICA

Mdulo 1 Introduo
Introduo
Histria da Lgica
O pensamento lgico teve forte presena no cerne da Civilizao Grega.
Aristteles (384-322 a.C.) tido como o primeiro sistematizador do
conhecimento lgico da poca. Presume-se que a partir de uma anlise das
discusses, que eram comuns no seu tempo, o filsofo teria procurado
caracterizar um instrumento de que se serviria a razo, na busca da
verdade.
Aristteles teve seu trabalho registrado por seus discpulos e obra de
Lgica,
intitulada o Orgamon, serviu de fundamentao para a Lgica Simblica.
Aristteles classificou as proposies em quatro grupos, dois de
consideraes
quantitativas. Segundo a quantidade, tem-se proposies afirmativas ou
negativas e, segundo a qualidade, em universais e particulares. Assim que
na
lgica de Aristteles aparecem expresses como todo, nenhum, algum, etc.;
e
frases do tipo Todo homem mortal (universal afirmativa) e Alguns
homens
no so sbios (universal negativa).
Aristteles
Ainda na Grcia Antiga, surgiu a escola estico-megrica que estudava
a lgica das proposies, desenvolvendo aspectos no encontrados na
Lgica
Aristotlica.
Depois do perodo dos esticos-megricos, inicia-se um perodo
obscuro, quase virgem de pesquisa. Segundo os elementos histricos
existentes, no houve nenhuma contribuio original Lgica, por mais de
1000 anos. Houve apenas o trabalho de transmisso deconhecimentos
antigos
para a Idade Mdia. Destaca-se Bocio (470-524) com a traduo latina de
parte da obra aristotlica.
Foi um longo perodo pobre de contribuies para esses ramos do
conhecimento cientfico. Durante os sculos XVII e XVIII e incio do sculo
XIX
o grande interesse era pela retrica e pelas questes psicolgicas.
Escapa dessa influncia Leibniz (1646-1716), cujas idias originrias e
inovadoras ficaram isoladas no sculo XVII e s viriam a ser apreciadas e
conhecidas no fim do sculo XIX. Assim que o uso de diagramas para
estudos de lgica, atribudo a Euler, j tinha sido utilizada por Leibniz. No
entanto, foi John Venn (1834-1923) quem aperfeioou os diagramas no

estudo
da Lgica.
Gottfried Wilhelm Leibniz
Leibniz foi o precursor da Lgica Moderna. Ele sugeriu uma espcie de
lgebra Universal, uma linguagem de smbolos que pudesse se entendida
por
todos quaisquer que fosse a lngua utilizada. Estava assim criado o
ambiente
adequado para o surgimento da Lgica Simblica (tambm chamada de
Lgica
Matemtica ou Lgica Formal) w cujo objetivo era dar um tratamento
rigoroso,
estrutural ao conhecimento lgico tradicional.
O perodo contemporneo da lgica em suas razes nos trabalhos de
George Boole (1815-1864) que deu novos rumos na matria. A obra
fundamental de Boole Investigations of the Laws of Thought, publicada
em
1854, compara a leis do pensamento s leis da lgebra. Paralelamente, de
Morgan(1806-1871) tambm contribuiu para o desenvolvimento da lgebra
da
Lgica. Com os trabalhos de Boole e de Morgan, a Lgica clssica torna-se
autnoma, separando-se de Filosofia para tornar-se a Lgica Matemtica.
Os alemes Frege (1848-1925) e Cantor (1845-1918) deram impulsos
Lgica Simblica. A tentativa de Frege de transformar a Matemtica em
ramo
da Lgica levou a paradoxos depois estudados por Bertrand Russel e
Whithead, autores do Principia Mathematica, uma das obras fundamentais
deste sculo. Como conseqncia os lgicos e matemticos entraram em
divergncia, a partir da segunda metade do sculo XIX, dando lugar ao
surgimento de pelo menos trs correntes de pensamento bem distintas: o
logicismo (de Russell), o intuicionismo (de Brouwer) e o formalismo (de
Hilbert).
Classificao da Lgica e definies bsicas
Como visto anteriormente, a Lgica pode ser dividida em trs correntes
principais:
A corrente logicista (trabalhada por Russell), pretender reduzir a Matemtica
Lgica, e ser pensamento at bem delineado na obra Principia
Mathematica e suas
origens certamente em Leibniz.
Frege criou um sistema lgico prprio e, posteriormente, tentou explicar
toda a
Aritmtica usando seu sistema. O objetivo de seus estudos era mostrar que
a

Aritmtica pura lgica (Silva, 2007, p.128). E como a Lgica que atesta
ou
contesta o sistema de verdades matemticas, quando conseguisse escrever
a
Aritmtica conforme seusistema lgico, ele teria uma Aritmtica livre de
contradies,
ou seja, verdadeira.
Bertrand Russell deu continuidade ao projeto de Frege com algumas
alteraes
no que diz respeito ao sistema lgico. Porm, nem Russell e nem Frege
foram bem
sucedidos na tentativa de reduzir a Matemtica Lgica. O Logicismo
fracassou
porque nem todos os axiomas puderam ser escritos na forma de
proposies lgicas.
Segundo Machado (1991, p.27), para alcanar seu objetivo, os logicistas
deveriam
mostrar concretamente que todas as proposies matemticas podem ser
expressas
na terminologia lgica e, que todas as proposies matemticas verdadeiras
so as
expresses verdadeiras para a Lgica.
Na Lgica tradicional, um axioma ou postulado uma sentena ou
proposio
que no provada ou demonstrada e considerada como bvia ou como
um
consenso inicial necessrio para a construo a aceitao de uma teoria. Por
essa
razo, aceito como verdade e serve como ponto inicial para deduo e
inferncias
de outras verdades (dependentes de teoria).
O que conseguiram, segundo Silva (2007, p. 134), foi uma diviso entre os
matemticos. Uns seguiram o projeto de Frege. Outros entendiam que a
Cincia
Matemtica havia se tornado excessivamente formal e que era necessrio
coloc-la
novamente em bases seguras, partindo de verdades manifestadas nas
intuies
imediatas. Apesar de o movimento logicista no conseguir executar seu
objetivo inicial,reescrever toda a Matemtica em um sistema lgico e livre
de contradies,
eliminando as idias intuitivas presentes nela, ele foi muito importante para
essa
Cincia. O logicismo foi o ponto de partida para o desenvolvimento da
Lgica
Matemtica Moderna e para a formao de um segundo grupo de

matemticos que,
contrariamente aos logicistas, procuraram sistematizar a Matemtica,
partindo sempre
da intuio. Esse grupo constituiu o movimento intuicionista.
A escola intuicionista, cujo maior representante foi matemtico holands
Brouwer, reduz a lgica a um mtodo que se desenvolve paralelamente
Matemtica.
Para os seus seguidores, todos os conhecimentos existem por intuio, ou
seja, sem
auxlio do raciocnio. Rejeitam o princpio do terceiro excludo, sendo,
portanto,
possvel para eles a construo de enunciados que no verdadeiros ou
falsos.
Segundo Snapper (1984, p.88.), no intuicionismo havia a concepo de que
entidades abstratas, como a Matemtica, eram elaboraes humanas e no
objetos
ideais platnicos. Diferentemente dos logicistas, os intuicionistas
consideravam a
Matemtica Clssica falvel em alguns pontos. Os paradoxos relativos
teoria dos
conjuntos, por exemplo, no intuicionismo eram erros da Matemtica e no
dos
matemticos como pensavam os logicistas.
Os intuicionistas consideravam o ser humano dotado de uma intuio
primeira
sobre os nmeros naturais. Por isso defendiam uma re-elaborao da
Matemtica
desdeseus fundamentos. Partindo sempre da intuio, os axiomas, os
teoremas,
enfim, toda a Matemtica deveria ser reconstruda. O que fundamentava o
movimento
intuicionista era a considerao de que as entidades abstratas existiam
somente
quando eram construdas pela mente humana. Desse modo, o que no
partisse da
intuio no era Matemtica.
O movimento intuicionista no foi bem sucedido quanto aos seus objetivos.
Muitos matemticos clssicos se posicionaram contra a concepo
intuicionista.
Inmeros teoremas, vistos como inteis e sem sentido pelos intuicionistas,
eram
considerados belos na Matemtica Clssica, gerando assim um conflito. Os
intuicionistas defendiam a existncia de objetos matemticos somente
quando esses
pudessem ser dados por construo, ou seja, um objeto existe se e,
somente se, for
possvel constru-lo. Alm disso, algumas teorias falsas para os

intuicionistas eram
consideradas verdadeiras pelos matemticos clssicos. Um exemplo so os
nmeros
complexos. Todos esses conflitos acabaram com desprezo e rejeio dos
matemticos clssicos em relao corrente intuicionista.
Com a criao da Teoria dos Conjuntos e, conseqentemente, com a
verificao dos paradoxos que ela apresentava, sentiu-se a necessidade, no
incio do
sculo XX, de livrar a Matemtica de paradoxos. A maneira encontrada para
isso foi a
axiomatizao da Matemtica, por meio de axiomas claros, de tal modo a
no gerar
paradoxos.
Acorrente formalista cujas razes esto no filsofo alemo Kant, foi
liderada
por Hilbert. Amplia a atuao da Lgica caracterizando-a como mtodo de
obter
inferncias legtimas. Uma teoria para ser formalizada deve conter conceitos
primitivos, axiomas e teoremas e ser consistente. Ser consistente numa
tria formal
significa que se ela contm determinada proposio, no pode conter a sua
negao.
O objetivo principal do formalismo provar que as idias matemticas so
isentas de contradies. Caso os formalistas alcanassem seu objetivo, a
Matemtica
se tornaria livre de paradoxos e contradies e, quando ela pudesse ser
reescrita com
demonstraes rigorosas em um sistema formal, se estabeleceria como
verdade.
Segundo Silva (2007, p.195), para Hilbert a verdade era o que garantia e
assegurava
os mtodos e as teorias tradicionais da Matemtica. A filosofia base para o
formalismo
o nominalismo, segundo o qual as entidades da Matemtica no existem,
nem como
objetos reais e nem como objetos mentais. No formalismo as dedues so
cadeias
de transformaes de expresses simblicas segundo regras explcitas de
manipulao de smbolos (SILVA, 2007, p. 184). As dedues e as
transformaes da
Matemtica, ao mesmo tempo em que eram passveis de interpretao por
quem as
manipulava, tinham um significado explicitado em um sistema formal que
estava se
constituindo.
Silva (2007, p.284) cita o seguinte exemplo: imaginemos a adio dedois

nmeros grandes em notao decimal. Transform-los em unidades, para

depois
adicion-las, levaria muito tempo e em qualquer parte do processo
poderamos
cometer erros. Se usarmos o algoritmo da adio, com suas regras j
estabelecidas
em um sistema formal, operamos o algoritmo mecanicamente. No entanto,
sabemos o
que estamos fazendo e h significado na manipulao simblica que
realizamos na
resoluo do algoritmo. O formalismo traz para a Matemtica um conjunto
de regras e
smbolos que nos permitem operar mecanicamente. Graas a esse conjunto
de regras,
hoje podemos usar calculadoras e programas de computador para executar
diversos
clculos. Dos matemticos que tentaram formalizar a Matemtica podemos
destacar
Hilbert. Entre suas contribuies, est a axiomatizao da Geometria
Euclidiana. Os
elementos de Euclides eram fundamentados na visualizao cotidiana e,
portanto, na
intuio. Hilbert reescreveu toda a Geometria Euclidiana, com a
complementao de
suas propriedades, axiomas e teoremas.
O que Hilbert pretendia para a Matemtica era estabelecer uma linguagem
formal, com demonstraes verificveis passo-a-passo e livr-la de
contradies. Em
uma conferncia proferida em 1900, no II Congresso Internacional de
Matemtica,
realizado em Paris, props 23 problemas aos matemticos da poca. Um
deles era a
demonstrao da compatibilidade dos axiomas da Aritmtica. Em 1930,
Gdel provou
a impossibilidade de demonstrara compatibilidade dos axiomas da
Aritmtica dentro
de um sistema que inclua a Aritmtica. Com isso, provou tambm que o
projeto de
Hilbert no poderia ser bem sucedido, porque no possvel provar a
consistncia da
Matemtica dentro da prpria Matemtica.
O intuicionismo, o logicismo e o formalismo so as correntes filosficas
que apresentam vises distintas sobre o que a Matemtica. H entre elas
incompatibilidade em alguns pontos. Mas haver incompatibilidade no
significa

que uma exclui a outra. Segundo Silva (2007, p.235-236), o intuicionismo,

fundamentado no construtivismo, mostrou quais conhecimentos
matemticos
podem e quais no podem ser construdos partindo de idias intuitivas. O
logicismo mostra as interseces da Matemtica com a Lgica. E o
formalismo
estabelece a Matemtica como a Cincia dos sistemas formais.
A Matemtica atual fruto de todo esse processo de elaborao e
reelaborao de si mesma e no decorrer desses modos de pensar,
principalmente do formalismo, que a lgebra Abstrata ou Moderna emerge
no
contexto da Cincia Matemtica. Justificamos dessa maneira, a importncia
de
realizarmos esse estudo para o desenvolvimento de nossa pesquisa.
Atualmente, a Lgica no est, como esteve at por volta de 1930,
dividida nas trs correntes acima. Hoje, inmeras correntes surgem e as trs
antigas se aproximam. Os estudos ganharam um ritmo acelerado, as
especialidades se multiplicam e os problemasse abrem.
Mdulo 2 Sistemas dicotmicos
Introduo
O estudo da Lgica baseia-se basicamente em trs princpios:
Princpio da Identidade
Esse princpio determina que tudo igual a si prprio.
Ex: (B=B) / um cachorro um cachorro
Princpio da no Contradio
Nenhuma proposio pode ser verdadeira e falsa ao mesmo tempo.
Ex: "o sol amarelo; o sol no amarelo"
- "o sol amarelo no amarelo" (Essa frase no est correta segundo os
princpios da no contradio).
Princpio do Terceiro Excludo
Segundo esse princpio uma proposio s pode ser verdadeira ou falsa,
sem a
possibilidade de terceira opo ou meio termo.
Ex: Estudar fcil. (o contrrio seria: Estudar difcil. No existe meio
termo,
ou estudar fcil ou estudar difcil).
Interruptores
Chamamos interruptor ao dispositivo ligado a um ponto de um circuito
eltrico, que pode assumir dois estados: fechado (1) ou aberto (0). Quando
fechado o interruptor permite que a corrente passe atravs do ponto,
enquanto
aberto nenhuma corrente pode passar pelo ponto.
Um interruptor aberto quando a est fechado e fechado quando a est
aberto chama-se complemento (inverso ou negao) de a, e denota-se por

a.
Sejam a e b dois interruptores ligados em paralelo. Numa ligao em
paralelo, s passar corrente se pelo menos um dos interruptores estiver
fechado. Denotaremos a ligao de dois interruptores a e b em paralelo por
a+
b.
Sejam a e b doisinterruptores ligados em srie. Numa ligao deste
tipo, s passar corrente se ambos os interruptores estiverem fechado, isto
,
se a = b = 1. Denotaremos a ligao de dois interruptores a e b em srie
por a *
b, ou simplesmente ab. Ento:
Assim, considerando os estados possveis de serem assumidos pelos
interruptores nas ligaes em srie e em paralelo, podemos notar que:
0+0=0
0*0=0
0+1=1
0*1=0
1+0=1
1*0=0
1+1=1
1*1=1
a+b=b+a
a*b=b*a
a + a = 1
a * a = 0
a+0=a
a*0=0
a+1=1

a*1=a
Todas estas equaes podem ser verificadas desenhando-se o circuito
apropriado. As ligaes de:
So a * (b + c) e (a * b) + (a * c), respectivamente. Os circuitos esto
ambos abertos se a = 0 ou b = c = 0, e esto ambos fechados se a = 1 e (b
=1
ou c = 1); logo suas ligaes so iguais. Ento: a * (b + c) = (a * b) + (a * c).
As ligaes de:
So a + (c * c) e (a + b) * (a + c), respectivamente. Os circuitos esto
ambos abertos se a = 0 e (b = 0 ou c = 0), e ambos fechados se a = 1 ou b
=c
= 1; logo, suas ligaes so iguais. Ento: a + (b * c) = (a + b) * (a + c).
Conjuntos
A noo de conjunto uma das noes primitivas da Matemtica
Moderna, isto , um dos conceitos adaptados como ponto de partida e que
servem de base para a definio dos outros conceitos introduzidos no
desenvolvimento da teoria. Intuitivamente, um conjunto encarado como
uma
coleo de objetos de natureza qualquer, osquais se dizem elementos do
conjunto.
Representa-se simbolicamente por x X a proposio x um elemento
do conjunto X que tambm se l x pertence a X. A negao desta
proposio
escreve-se x X. Assim, so verdadeiras as proposies:
2 N, 2 N, N.
Para designar o conjunto que tem a, b e c por nicos elementos usa-se
correntemente o smbolo {a, b, c}. Da mesma forma, o conjunto dos
nmeros
naturais menores do que 5 pode ser designado por {1, 2, 3, 4}, etc.
Freqentemente, um conjunto definido por uma certa condio, p(x): os
elementos do conjunto so ento precisamente os objetos que convertem
p(x)
numa proposio verdadeira. Em tal hiptese, recorre-se, para designar o
conjunto, ao smbolo {x: p(x)}, que pode ler-se conjunto dos x que
verificam a
condio p(x) ou conjunto dos x tais que p(x). Assim, o conjunto dos
naturais
menores do que 5 poderia tambm ser designado de qualquer das formas
seguintes:
{x: x N ^ x < 5}, {x : x = 1 V x = 2 V x = 3 V x = 4}.
Sendo A e B dois conjuntos, diz-se que A est contido em B ou que A

uma parte ou um subconjunto de B se todos os elementos de A pertencem

tambm a B, isto , se
x(x A x B).
Para afirmar que A est contido em B escreve-se A B e para neg-lo,
A B. Nestas condies a proposio A 6_ B equivalente a
x (x A ^ x B).
Nota. Em vez de x(x A ^ x B) pode tambm escrever-se x(x A x
B) (existe um x pertencente a A que nopertence a B); analogamente, a
expresso x(x A x B), pode abreviar-se para x A x B (todo o x
pertencente a A pertence a B). Esta simplificao de notaes, que
usaremos
na seqncia em casos anlogos , por vezes, de grande comodidade.
Com o mesmo significado de A B tambm usual escrever-se B A,
e dizer-se que B contem A ou um sobre conjunto de A. Convm notar que
o
fato de se verificar a relao A B no exclui a possibilidade de se ter
tambm
B A; quando estas duas relaes so conjuntamente verificadas os
conjuntos
A e B tm precisamente os mesmos elementos e diz-se ento que so iguais
(ou que so o mesmo conjunto), podendo escrever-se:
A = B.
Quando se tem A B, mas no A = B, diz-se que A uma parte estrita
ou uma parte prpria de B.
Chama-se conjunto singular a qualquer conjunto com um s elemento; o
conjunto singular que tem a por nico elemento habitualmente
representado
por {a}. Convm notar que neste caso, seria incorreto escrever a = {a}: um
objeto e o conjunto que o tem por nico elemento no so, de forma
alguma, o
mesmo objeto. Assim, por exemplo, enquanto a proposio 1 {1}
obviamente verdadeira, as proposies:
{1} 1, {1} {1}
So ambas falsas. Uma condio impossvel isto , que no seja
verificada por nenhum objeto define tambm um conjunto, que se chama
conjunto vazio e se designa usualmente por . Trata-se, evidentemente, de
um conjunto sem elemento algum.Tem-se assim, por exemplo:
; = {x : x x}.
Dados dois conjuntos, A e B, a interseco de A com B, designada por
A B, o conjunto formado pelos elementos comuns a A e a B; a reunio de
A com B o conjunto A B, formado por todos os elementos que pertencem
a

um, pelo menos, dos conjuntos A e B. Simbolicamente:

A B = {x : x A ^ x B},
A B = {x : x A v x B}.
Se AB = , isto , se A e B no tm elementos comuns, diz-se que
so conjuntos disjuntos.
Chama-se diferena dos conjuntos A e B, ou complementar de B em A,
ao conjunto A \ B formado pelos elementos de A que no pertencem a B:
A \ B = {x : x A ^ x B}.
evidente que se tem A \ B = se A B. No estudo de diversas
questes sucede, por vezes, poder fixar-se de incio um conjunto , tal que
todos os conjuntos que interessa considerar no desenvolvimento da teoria
so
subconjuntos de . Quando est assim fixado um conjunto universal, usual
chamar apenas complementar de um dado conjunto A (tal que A
evidentemente!) ao conjunto \A, que ento se designa de preferncia pelo
smbolo C(A). Pode tambm escrever-se, nessa hiptese (e s nessa):
C(A) = {x : x A}.
Preposies
O conceito mais elementar no estudo da lgica o de Proposio.
Proposio vem de propor que significa submeter apreciao; requerer
um
juzo. Trata-se de uma sentena declarativa algo que ser declarado por
meio de termos, palavras ou smbolos e cujo contedo poderser
considerado verdadeiro ou falso.
Ento, se eu afirmar a Terra maior que a Lua, estarei diante de uma
proposio cujo valor lgico verdadeiro.
Fica claro que quando falarmos em valor lgico estaremos nos referindo a
um
dos dois possveis juzos que atribuiremos a uma proposio: verdadeiro (V)
ou falso (F).
E se algum disser: Feliz ano novo!, ser que isso uma proposio
verdadeira ou falsa? Nenhuma, pois no se trata de uma sentena para a
qual
se possa atribuir um valor lgico.
Conclumos, pois, que...
Sentenas exclamativas: Caramba!; Feliz aniversrio!
Sentenas interrogativas: como o seu nome?; o jogo foi de quanto?
Sentenas imperativas: Estude mais.; Leia aquele livro.
... no sero estudadas. Somente aquelas primeiras sentenas
declarativas
que podem ser imediatamente reconhecidas como verdadeiras ou falsas.
Normalmente, as proposies so representadas por letras minsculas (p, q,
r,
s, etc). So outros exemplos de proposies:

p: Pedro mdico.
q: 5 > 8
r: Luza foi ao cinema ontem noite.
Na linguagem do raciocnio lgico, ao afirmarmos que verdade que
Pedro mdico (proposio p acima), representaremos isso apenas com:
VL(p)=V, ou seja, o valor lgico de p verdadeiro. No caso da proposio q,
que falsa, diremos VL(q)=F. Haver alguma proposio que possa, ao
mesmo tempo, ser verdadeira e falsa? No! Jamais! E por que no? Porque o
Raciocnio Lgico,como um todo, est sedimentado sobre alguns princpios,
muito fceis de entender, e que tero que ser sempre obedecidos. So os
seguintes:
Uma proposio verdadeira verdadeira; uma proposio falsa falsa.
(Princpio da identidade);
Nenhuma proposio poder ser verdadeira e falsa ao mesmo tempo.
(Princpio da No-Contradio);
Uma proposio ou ser verdadeira, ou ser falsa: no h outra
possibilidade. (Princpio do Terceiro Excludo).
Proposies podem ser ditas simples ou compostas. Sero proposies
simples aquelas que vm sozinhas, desacompanhadas de outras
proposies.
Nada mais fcil de ser entendido. Exemplos:
Todo homem mortal.
O novo papa argentino.
Todavia, se duas (ou mais) proposies vm conectadas entre si,
formando uma s sentena, estaremos diante de uma proposio composta.
Exemplos:
Joo mdico e Pedro dentista.
Maria vai ao cinema ou Paulo vai ao circo.
Ou Lus baiano, ou paulista.
Se chover amanh de manh, ento no irei praia.
Comprarei uma manso se e somente se eu ganhar na loteria.
Nas sentenas acima, vimos em destaque os vrios tipos de conectivos
ditos conectivos lgicos que podero estar presentes em uma proposio
composta. Conectivos Lgicos so expresses que servem para unir duas ou
mais proposies. Estudaremos cada um deles a seguir, uma vez que de
nosso interesse conhecer o valor lgico das proposies compostas.
Veremos que, para determinamos se umaproposio composta
verdadeira ou falsa, dependeremos de duas coisas: 1) do valor lgico das
proposies componentes; e 2) do tipo de conectivo que as une.
Mdulo 3 Operaes Lgicas sobre Proposies
Conjuno
Proposies compostas em que est presente o conectivo e so ditas
CONJUNES. Simbolicamente, esse conectivo pode ser representado por
. Ento, se temos a sentena:
Marcos mdico e Maria estudante

... poderemos represent-la apenas por: pq. onde: p = Marcos mdico e

q=
Maria estudante.
Como se revela o valor lgico de uma proposio conjuntiva? Da
seguinte forma: uma conjuno s ser verdadeira, se ambas as
proposies componentes forem tambm verdadeiras.
Ento, diante da sentena Marcos mdico e Maria estudante, s
poderemos concluir que esta proposio composta verdadeira se for
verdade, ao mesmo tempo, que Marcos mdico e que Maria estudante.
Pensando pelo caminho inverso, teremos que basta que uma das
proposies componentes seja falsa, e a conjuno ser toda ela
falsa. Obviamente que o resultado falso tambm ocorrer quando ambas
as proposies componentes forem falsas.
Essas concluses podem ser resumidas em uma pequena tabela. Tratase da
tabela-verdade, de fcil construo e de fcil entendimento.
Retomemos as nossas premissas:
p = Marcos mdico e q = Maria estudante.
Se tivermos que ambas so verdadeiras, a conjuno formada por elas
(Marcos mdico eMaria estudante) ser tambm verdadeira. Teremos:
Marcos mdico
Maria estudante
p
V
q
V
Marcos mdico e
Maria estudante
pq
V
Se for verdade apenas que Marcos mdico, mas falso que Maria
estudante, teremos:
Marcos mdico
Maria estudante
p
V
q
F
Marcos mdico e

Maria estudante
pq
F
Por outro lado, se for verdadeiro que Maria estudante, e falso que
Marcos mdico, teremos:
Marcos mdico
Maria estudante
p
F
q
V
Marcos mdico e
Maria estudante
pq
F
Enfim, se ambas as sentenas simples forem falsas, teremos que:
Marcos mdico
Maria estudante
p
F
q
F
Marcos mdico e
Maria estudante
pq
F
Ora, as quatro situaes acima esgotam todas as possibilidades para
uma conjuno. Fora disso no h outras! Criamos, portanto, a tabelaverdade
que representa uma conjuno, ou seja, a tabela-verdade para uma
proposio composta com a presena do conectivo e. Teremos:
p
V
V
F

F
p q
V
F
F
F
q
V
F
V
F
preciso que a informao constante da terceira coluna (em destaque)
fique guardada em nossa memria: uma conjuno s ser verdadeira,
quando ambas as partes que a compem tambm forem verdadeiras. E
falsa nos demais casos.
Uma maneira de assimilar bem essa informao seria pensarmos nas
sentenas simples como promessas de um pai a um filho: eu te darei uma
bola E te darei uma bicicleta. Ora, perguntea qualquer criana! Ela vai
entender que a promessa para os dois presentes. Caso o pai no d
nenhum
presente, ou d apenas um deles, a promessa no ter sido cumprida. Ter
sido falsa! No entanto, a promessa ser verdadeira se as duas partes forem
tambm verdadeiras!
Na hora de formar uma tabela-verdade para duas proposies
componentes (p e q), saberemos, de antemo, que essa tabela ter quatro
linhas. Comearemos, ento, fazendo a seguinte estrutura:
p
q
Da, a coluna da primeira proposio ter sempre a seguinte disposio:
dois (V) vs seguidos de dois (F) efes. Assim:
p
V
V
F
F
q
Enquanto a variao das letras (V e F) para a premissa p ocorre de duas
em duas linhas, para a premissa q diferente: vs (V) e efes (F) se
alternando a cada linha, comeando com um V. Assim:

p
V
V
F
F
q
V
F
V
F
Essa estrutura inicial sempre assim, para tabelas-verdade de duas
proposies p e q. A terceira coluna depender do conectivo que as une, e
que est sendo analisado. No caso do conectivo e, ou seja, no caso da
conjuno, j aprendemos a completar a nossa tabela verdade:
p
V
V
F
F
q
V
F
V
F
p q
V
F
F
F
Se as proposies p e q forem representadas como conjuntos, por meio
de um diagrama, a conjuno p e q corresponder interseo do
conjunto
p com o conjunto q. Teremos:
Disjuno
Recebe o nome de DISJUNO toda proposio composta em que as
partes estejamunidas pelo conectivo ou. Simbolicamente, representaremos
esse conectivo por . Portanto, se temos a sentena:
Marcos mdico ou Maria estudante
... ento a representaremos por: pq. Seremos capazes de criar uma
tabelaverdade para uma proposio disjuntiva? Claro! Basta nos

lembrarmos da tal
promessa do pai para seu filho! Vejamos: eu te darei uma bola OU te darei
uma bicicleta. Neste caso, a criana j sabe, de antemo, que a promessa

por apenas um dos presentes! Bola ou bicicleta! Ganhando de presente

apenas um deles, a promessa do pai j valeu! J foi verdadeira! E se o pai
for
abastado e resolver dar os dois presentes? Pense na cara do menino! Feliz
ou
triste? Felicssimo! A promessa foi mais do que cumprida. S haver um
caso,
todavia, em que a bendita promessa no se cumprir: se o pai esquecer o
presente, e no der nem a bola e nem a bicicleta. Ter sido falsa toda a
disjuno. Da, conclumos: uma disjuno ser falsa quando as duas
partes que a compem forem ambas falsas! E nos demais casos, a
disjuno ser verdadeira! Teremos as possveis situaes:
Te darei uma bola
Te darei uma bicicleta
p
V
q
V
Te darei uma bola
Te darei uma bicicleta
p
F
q
V
Te darei uma bola
Te darei uma bicicleta
p
V
q
F

Te darei uma bola ou te

darei uma bicicleta
pvq
V
Ou:
Te darei uma bola ou te
darei uma bicicleta
pvq
V
Ou:
Te darei uma bola ou te
darei uma bicicleta
pvqV
Ou, finalmente:
Te darei uma bola
Te darei uma bicicleta
p
F
q
F
Juntando tudo, teremos:
Te darei uma bola ou te
darei uma bicicleta
pvq
F
p
V
V
F
F
q
V
F
V
F
Pvq

V
V
V
F
promessa inteira s falsa se as duas partes forem descumpridas!
Observem que as duas primeiras colunas da tabela-verdade acima as
colunas do p e do q so exatamente iguais s da tabela-verdade da
conjuno (p E q). Muda apenas a terceira coluna, que agora representa um
ou, a disjuno.
Se as proposies p e q forem representadas como conjuntos por meio
de um diagrama, a disjuno p ou q corresponder unio do conjunto p
com o conjunto q,
Disjuno Exclusiva
H um terceiro tipo de proposio composta, bem parecido com a
disjuno que acabamos de ver, mas com uma pequena diferena.
Comparemos as duas sentenas abaixo:
Te darei uma bola OU te darei uma bicicleta
OU te darei uma bola OU te darei uma bicicleta
A diferena sutil, mas importante. Reparemos que na primeira
sentena v-se facilmente que se a primeira parte for verdade (te darei uma
bola), isso no impedir que a segunda parte (te darei uma bicicleta)
tambm o
seja. J na segunda proposio, se for verdade que te darei uma bola,
ento
teremos que no ser dada a bicicleta. E vice-versa, ou seja, se for verdade
que te darei uma bicicleta, ento teremos que no ser dada a bola.
Em outras palavras, a segunda estruturaapresenta duas situaes
mutuamente excludentes, de sorte que apenas uma delas pode ser
verdadeira, e a restante ser necessariamente falsa. Ambas nunca podero
ser, ao mesmo tempo, verdadeiras; ambas nunca podero ser, ao mesmo
tempo, falsas.
Na segunda sentena acima, este tipo de construo uma
DISJUNO EXCLUSIVA, pela presena dos dois conectivos ou, que
determina que uma sentena necessariamente verdadeira, e a outra,
necessariamente falsa.
E como fica a sua tabela-verdade? Ora, uma disjuno exclusiva s ser
verdadeira se obedecer mtua excluso das sentenas. Falando mais fcil:
s ser verdadeira se houver uma das sentenas verdadeira e a outra
falsa. Nos demais casos, a disjuno exclusiva ser falsa.
O smbolo que designa a disjuno exclusiva o V. E a tabela-verdade
ser, pois, a seguinte:
p
V
V

F
F
q
V
F
V
F
pvq
F
V
V
F
Condicional
Estamos agora falando de proposies como as que se seguem:
o Se Pedro mdico, ento Maria dentista.
o Se amanhecer chovendo, ento no irei praia.
Muita gente tem dificuldade em entender o funcionamento desse tipo de
proposio. Convm, para facilitar nosso entendimento, que trabalhemos
com
a seguinte sentena.
o Se nasci em So Paulo, ento sou paulista.
Cada um de vocs pode adaptar essa frase acima sua realidade:
troque Fortaleza pelo nome da sua cidade natal, e troque cearense pelo
nome
que se d a quem nasce no seu Estado. Porexemplo:
o Se nasci em Curitiba, ento sou paranaense.
o Se nasci em Porto Alegre, ento sou gaucho.
E assim por diante. Pronto?
Agora me responda: qual a nica maneira dessa proposio estar
incorreta? Ora, s h um jeito desta frase ser falsa: se a primeira parte for
verdadeira, e a segunda for falsa. Ou seja, se verdade que eu nasci em
Apodi, ento necessariamente verdade que eu sou potiguar. Se algum
disser que verdadeiro que eu nasci em Apodi, e que falso que eu sou
potiguar, ento este conjunto estar todo falso.
importante salientar que o exemplo trabalhado acima (Se nasci em
Russas ento sou cearense) foi escolhido exclusivamente para fins didticos.
Na realidade, no preciso que exista qualquer conexo de sentido entre o
contedo das proposies componentes da condicional. Por exemplo,
poderamos ter a seguinte sentena:
Se a baleia um mamfero ento o papa argentino
O que interessa apenas uma coisa: a primeira parte da condicional
uma condio suficiente para obteno de um resultado necessrio.
Percebam, pois, que se algum disser que: Pedro ser rico condio

suficiente para Maria ser mdica, ento ns podemos reescrever essa

sentena, usando o formato da condicional. Teremos:
o Pedro ser rico condio suficiente para Maria ser mdica igual a:
o Se Pedro for rico, ento Maria mdica
Por outro lado, se ocorrer de algum dizer que: Maria ser mdica
condio necessriapara que Pedro seja rico, tambm poderemos traduzir
isso de outra forma:
o Maria ser mdica condio necessria para que Pedro seja rico igual
a:
o Se Pedro for rico, ento Maria mdica
No podemos, pois esquecer disso:
o Uma condio suficiente gera um resultado necessrio.
Pois bem! Como ficar nossa tabela-verdade, no caso da proposio
condicional? Pensaremos aqui pela via de exceo: s ser falsa esta
estrutura quando houver a condio suficiente, mas o resultado
necessrio no se confirmar. Ou seja, quando a primeira parte for
verdadeira, e a segunda for falsa. Nos demais casos, a condicional ser
verdadeira.
A sentena condicional Se p, ento q ser representada por uma seta:
p q.
Na proposio Se p, ento q, a proposio p denominada de
antecedente,
enquanto a proposio q dita conseqente. Teremos:
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
Se as proposies p e q forem representadas como conjuntos, por meio
de um diagrama, a proposio condicional Se p ento q corresponder
incluso do conjunto p no conjunto q (p est contido em q):
Bicondicional
A estrutura dita bicondicional apresenta o conectivo se e somente se,

separando as duas sentenas simples. Trata-se de uma proposio de fcil

entendimento. Se algum disser:
Eduardo fica alegre se e somente se Mariana sorri.
o mesmo que fazer a conjuno entre as duas proposies
condicionais:
o Eduardo fica alegresomente se Mariana sorri e Mariana sorri somente se
Eduardo fica alegre.
Ou ainda, dito de outra forma:
o Se Eduardo fica alegre, ento Mariana sorri e se Mariana sorri, ento
Eduardo fica alegre.
.
So construes de mesmo sentido!
A bicondicional uma conjuno entre duas condicionais. Haver
duas situaes em que a bicondicional ser verdadeira: quando
antecedente e conseqente forem ambos verdadeiros, ou quando forem
ambos falsos. Nos demais casos, a bicondicional ser falsa.
Sabendo que a frase p se e somente se q representada por p q,
ento nossa tabela-verdade ser a seguinte:
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
V
Se as proposies p e q forem representadas como conjuntos, por meio
de um diagrama, a proposio bicondicional p se e somente se q
corresponder igualdade dos conjuntos p e q.
Observao: Uma proposio bicondicional p se e somente se q
equivale proposio composta: se p ento q e se q ento p, ou seja,
p q a mesma coisa que (p q) e (q p)
Negao
Veremos algo de suma importncia: como negar uma proposio.
No caso de uma proposio simples, no poderia ser mais fcil: basta

pr a palavra no antes da sentena, e j a tornamos uma negativa.

Exemplos:
o Joo mdico. Negativa: Joo no mdico.
o Maria estudante. Negativa: Maria no estudante.
Reparemos que caso a sentena original j seja uma negativa (j traga a
palavra no), ento paranegar a negativa, teremos que excluir a palavra
no.
Assim:
o Joo no mdico. Negativa: Joo mdico.
o Maria no estudante. Negativa: Maria estudante.
Pronto! Em se tratando de fazer a negao de proposies simples, j
estamos craques!
O smbolo que representa a negao uma pequena cantoneira () ou
um sinal de til (~), antecedendo a frase. (Adotaremos o til).
A tabela-verdade da negao mais simplificada que as demais j
vistas. Teremos:
p
V
F
~p
F
V
Podem-se empregar, tambm, como equivalentes de "no A", as
seguintes expresses:
o No verdade que A.
o falso que A.
Da as seguintes frases so equivalentes:
o Lgica no fcil.
o No verdade que lgica fcil.
o falso que lgica fcil.
Negao de uma proposio composta
J sabemos negar uma proposio simples. Mas, e se for uma
proposio composta, como fica? A, depender de qual a estrutura em
que
se encontra essa proposio. Veremos, pois, uma a uma:
Negao de uma proposio conjuntiva: ~(p e q)
Para negar uma proposio no formato de conjuno (p e q), faremos o
seguinte:
1. Negaremos a primeira parte (~p);
2. Negaremos a segunda parte (~q);
3. Trocaremos e por ou.
E s!
Da, a questo dir: No verdade que Joo mdico e Pedro

dentista, e pedir que encontremos, entre as opes de resposta, aquela

frase
que seja logicamente equivalente a esta fornecida.
Analisemos: o comeo da sentena no verdadeque.... Ora, dizer
que no verdade que... nada mais nada menos que negar o que vem
em
seguida. E o que vem em seguida? Uma estrutura de conjuno!
Da, como negaremos que Joo mdico e Pedro dentista? Da
forma explicada acima:
1. Nega-se a primeira parte (~p) = Joo no mdico;
2. Nega-se a segunda parte (~q) = Pedro no dentista;
3. Troca-se E por OU, e o resultado final ser o seguinte:
JOO NO MDICO OU PEDRO NO DENTISTA.
Traduzindo para a linguagem da lgica, dizemos que:
~(p q) = ~p v ~q
Como fomos chegar essa concluso? Ora, por meio da comparao
entre as tabelas- verdade das duas proposies acima. Vejamos como foi
isso.
Primeiro, trabalhemos a tabela- verdade do ~(p q).
Tudo comea com aquele formato bsico, que j nosso conhecido:
p
V
V
F
F
q
V
F
V
F
Da, faremos a prxima coluna, que a da conjuno (e). Teremos:
p
V
V
F
F
p q
V
F
F
F

q
V
F
V
F
Por fim, construiremos a coluna que a negativa desta terceira. Ora, j
sabemos que com a negativa, o que verdadeiro vira falso, e o que falso
vira
verdadeiro. Logo, teremos:
p
V
V
F
F
p q ~(p q)
V
F
F
V
F
V
F
V
q
V
F
V
F
Guardemos, pois, essa ltima coluna (em destaque). Ela representa o
resultado lgico da estrutura ~(p q). Agora, construamos a tabela-verdade
da
estrutura ~p v ~q, e comparemos os resultados. No incio, teremos:
p
V
V
F
F
q
V
F
V
FFaremos agora as duas colunas das duas negativas, de p e de q. Para

isso, conforme j sabemos quem for V virar F, e vice-versa. Teremos:

p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
~q
F
V
F
V
Agora, passemos coluna final: ~p v ~q. Aqui nos lembraremos de
como funciona uma disjuno. A disjuno a estrutura do ou. Para ser
verdadeira basta que uma das sentenas tambm o seja. Da, teremos:
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
~q

F
V
F
V
~p v ~q
F
V
V
V
Finalmente, comparemos a coluna resultado (em destaque) desta
estrutura (~p ~q) com aquela que estava guardada da estrutura ~(p q).
Teremos:
~(p q)
F
V
V
V
~p v ~q
F
V
V
V
Resultados idnticos! Da, do ponto de vista lgico, para negar p e q,
negaremos p, negaremos q, e trocaremos e por ou.
J sabendo disso, no perderemos tempo na prova construindo
tabelaverdade para saber como se faz a negativa de uma conjuno! Esse
exerccio
que fizemos acima, de comparar as colunas-resultado das duas tabelas,
serviu
apenas para explicar a origem dessa equivalncia lgica.
Ou seja, para dizer se uma proposio , do ponto de vista lgico,
equivalente a outra, basta fazer uma comparao entre suas
tabelasverdade.
Negao de uma proposio disjuntiva
Para negar uma proposio no formato de disjuno (p ou q), faremos o
seguinte:
1. Negaremos a primeira parte (~p);
2. Negaremos a segunda parte (~q);
3. Trocaremos OU porE.
E s!
Se uma questo de prova disser: Marque a assertiva que logicamente
equivalente seguinte frase: No verdade que Pedro dentista ou Paulo

engenheiro.
Pensemos: a frase comea com um no verdade que..., ou seja, o
que se segue est sendo negado! E o que se segue uma estrutura em
forma
de disjuno. Da, obedecendo aos passos descritos acima, faremos:
1. Nega-se a primeira parte (~p) = Pedro no dentista;
2. Nega-se a segunda parte (~q) = Paulo no engenheiro;
3. Troca-se OU por E, e o resultado final ser o seguinte:
PEDRO NO DENTISTA E PAULO NO ENGENHEIRO.
Na linguagem apropriada, conclumos que:
~(p V q) = ~p ~q
Se formos curiosos, poderemos fazer a comprovao via tabelasverdade
desta concluso acima. Somos curiosos? Claro! Tomemos a
primeira parte: ~(p V q). Teremos, de incio:
p
V
V
F
F
q
V
F
V
F
Da, construindo a coluna da disjuno (p ou q). Teremos:
p
V
V
F
F
q
V
F
V
F
pvq
V
V
V
F

Finalizando, fazendo a negao da coluna da disjuno, teremos:

p
V
V
F
F
q
V
F
V
F
pvq
V
V
V
F
~(p v q)
F
F
F
V
Guardemos essa coluna resultado para o final. E passemos segunda
parte da anlise: a estrutura ~p ~q. Teremos, a princpio, o seguinte:
p
V
V
F
F
q
V
F
V
F
Construindo-se as colunas de negaes de p e q, teremos:
p
V
V
F
F

q
V
F
V
F
~p
F
F
V
V
~q
F
V
F
V
Finalizando,fazendo a conjuno ~p e ~q, teremos os seguintes
resultados:
p
V
V
F
F
q
V
F
V
F
~p
F
F
V
V
~q
F
V
F
V
~p ~q

F
F
F
V
Concluindo, comparemos a coluna resultado (em destaque) desta
estrutura (~p ~q) com aquela que estava guardada da estrutura ~(p q).
Teremos:
~(p V q)
F
F
F
V
~p ~q
F
F
F
V
Resultados idnticos! Da, do ponto de vista lgico, para negar p ou q,
negaremos p, negaremos q, e trocaremos ou por e.
Negao de uma proposio condicional
Como que se nega uma condicional? Da seguinte forma:
1) Mantm-se a primeira parte; e
2) Nega-se a segunda parte.
Por exemplo, como seria a negativa de Se chover, ento levarei o
guarda-chuva?
1) Mantendo a primeira parte: Chove E
2) Negando a segunda parte: eu no levo o guarda-chuva.
Resultado final: Chove e eu no levo o guarda-chuva.
Na linguagem apropriada, conclumos que:
~(p
q) = p ~q
Resumo de Operaes Lgicas
Na sequncia, apresento duas tabelas que trazem um resumo das relaes
vistas at o momento. Vejamos:
Estrutura Lgica
pq
pVq
p
q
pq

~p
verdade quando
p e q so, ambos, verdade
um dos dois for verdade
Nos demais casos
p e q tiverem valores
lgicos iguais
p falso
falso quando
um dos dois for falso
p e q, ambos, so falsos
p verdade e q falso
p e q tiverem valores
lgicos diferentes
p verdade
Negativa
Negativa
Negativa
q)
Negativa

das proposies compostas:

de (p e q)Negativa de (p ou q)
de (p
de (pq)

~p ou ~q
~p e ~q
p e ~q
[(p e ~q) ou (q e ~p)]
Mdulo 4 Construo da Tabela Verdade
Tautologias
Uma proposio composta formada por duas ou mais proposies p, q,
r, ser dita uma Tautologia se ela for sempre verdadeira,
independentemente
dos valores lgicos das proposies p, q, r, que a compem. Em palavras
mais
simples: para saber se uma proposio composta uma Tautologia,
construiremos a sua tabela-verdade! Da, se a ltima coluna da
tabelaverdade s apresentar verdadeiro (e nenhum falso), ento estaremos
diante de uma Tautologia. S isso!
Exemplo: A proposio (p q)
(p v q) uma tautologia, pois
sempre verdadeira, independentemente dos valores lgicos de p e de q,
como
se pode observar na tabela-verdade.
p
V

V
F
F
pq
V
F
F
F
q
V
F
V
F
pvq
V
V
V
F
(pq)
(p v q)
V
V
V
V
Observe que o valor lgico da proposio composta (pq) (pVq), que
aparece na ltima coluna, sempre verdadeiro. Passemos a outro exemplo
de
Tautologia: [(p V q) (p s)]
p. Construa a tabela-verdade e demonstre
que se trata de uma tautologia.
Contradies
Uma proposio composta formada por duas ou mais proposies p, q,
r, ... ser dita uma contradio se ela for sempre falsa, independentemente
dos valores lgicos das proposies p, q, r ... que a compem. Ou seja,
construindo a tabela-verdade de uma proposio composta, setodos os
resultados da ltima coluna forem FALSOS, ento estaremos diante de
uma contradio.
Exemplo: A proposio p ~p uma contradio, pois sempre
falsa independentemente do valor lgico de p, como possvel observar na
tabela-verdade abaixo:

p
V
F
~p
F
V
p ~p
F
F
Contingncias
Uma proposio composta ser dita uma contingncia sempre que no
for uma tautologia ou uma contradio. Somente isso! Voc pegar a
proposio composta e construir a sua tabela-verdade. Se voc verificar
que
aquela proposio nem uma tautologia (s resultados V), e nem uma
contradio (s resultados F), ento, pela via de exceo, ser dita uma
contingncia!
Exemplo: A proposio p (pq) uma contingncia. Por que essa
proposio uma contingncia? Porque nem uma tautologia e nem uma
contradio. S por isso! Vejamos sua tabela-verdade a seguir.
p
V
V
F
F
q
V
F
V
F
p q
V
F
F
F
p (pq)
V
F
V
V

Mdulo 5 Relaes de implicao e de Equivalncia

Relao de Equivalncia
Dizemos que uma proposio p logicamente equivalente ou,
simplesmente, equivalente a uma proposio composta Q se a bicondicional
P
Q tautolgica. Usamos a notao P
Q.
Observao:
Os smbolos e
so distintos!
Indica uma operao lgica
Estabelece que P Q tautolgica. No aparecem V(P) = V e V(Q)
= F e vice-versa.

Exemplos:
1) ~(~p)
p
2) Se P e Q so ambas tautolgicas, ou ambasas contradies ento P
Q.
3) ~(p v q)
~p ~q
4) ~(p q)
~p v ~q
5) p q
~p v q
6) p q
~q ~p
7) ~(p q)
p ~q
8) p q
(p q) (q p)
9) ~(p q)
(p ~q) v (q ~p)
10) p ~p
F
11) p v ~p
V
Todas as equivalncias exemplificadas podem ser demonstradas pela
construo das tabelas-verdades, ou utilizando o bom senso, em vrios
casos
anteriores.
Por serem muito utilizadas em Matemtica, destacamos as seguintes
equivalncias:

1) p q ~q ~p
A condicional e sua contraposio so equivalentes; nesta equivalncia se
baseia o mtodo de demonstrao por absurdo.
2) p q
(p
q) (q
p)
Relao de Implicao
Diz-se que uma proposio P(p,q,r,...) implica logicamente ou apenas
implica uma proposio Q(p,q,r,...) , se Q(p,q,r,......) verdadeira (V) todas
as
vezes que P(p,q,r,.....) verdadeira (V).
Regra de Inferncia
Adio
Simplificao
Modus Ponens
Modus Tollens
Silogismo Disjuntivo
Silogismo Hipottico
Eliminao
Prova por Casos
Frmulas
p pq
pqp
p ( p q) q
~ q ( p q) ~ p
( p q) ~ p q
( p q) (q r) p r
( p (q r)) ~ q p r
( p r) (q r) ( p q) r
Regra da Adio: p p q
p
V
V
F
F
q
V
F
V

F
pvq
V
V
V
F
ppq
p verdadeiro; conseqentemente a disjuno (p or q) verdadeira.
Regra da Simplificao: p q p
p
V
V
F
F
q
V
F
V
F
Pq
V
F
F
F
p e q so verdadeiros; conseqentemente p verdadeiro.
Modus Ponens
Se chover, ento fico em casa.
Chove.
Ento fico em casa.
p ( p q) q
Se p ento q;
p;
conseqentemente q
Modus Tollens
Se existe fogo aqui, ento aqui tambm h oxignio.
No h oxignio aqui.
Ento aqui no h fogo
~ q ( p q) ~ p
Se p ento q;

no q;
conseqentemente no p
Silogismo Disjuntivo
Ele tem mais que 16 anos ou ele criana.
Ele no tem mais que 16 anos.
Logo, ele criana
( p q) ~ p q
p ou q;
no p;
conseqentemente, q
Silogismo Hipottico
( p q) (q r) p r
Se eu no despertar, ento no posso ir ao trabalho.
Se eu no puder ir ao trabalho, ento eu no vou receber o salrio.
Portanto, se eu no despertar, ento eu no vou receber o salrio
Se p ento q;
se q ento r;
conseqentemente,
se p ento r
A partir da condicional p q podem ser obtidas as condicionais
que so equivalentes p q
(1) q p, denominada proposio recproca de p q;
(2) ~p ~q, denominada proposio contrria de p q; e
(3) ~q ~p, denominada proposio
~p ~q.
de p q ou recproca da proposio
p
V
V
F
q
V
F
V
~p
F
F
V

~q
F
V
F
pq
V
F
V
~q ~p
V
F
V
qp
V
V
F
~p ~q
V
V
F
F
F
V
V
V
V
V
V
Referncias Bibliogrficas
COSTA, D. J. G.. Disponvel em <
http://www.ebah.com.br/content/ABAAAAEHUAE/elemento-logicamatematicateoria-conjuntos?part=3>. Acessado em 23 de maro de2014.
Elementos de Lgica Matemtica e Teoria dos Conjuntos. Disponvel em <
http://math.tecnico.ulisboa.pt/textos/elmtc.pdf >. Acessado em 23 de maro

de
2014.
LIMA, C. S., Apostila de Lgica. Instituto Federal de Educao, Cincia e
Tecnologia
do
Rio
Grande
do
Norte.
Disponvel
em
<
http://docente.ifrn.edu.br/cleonelima/disciplinas/fundamentos-deprogramacao2.8401.1m/fundamentos-de-logica-e-algoritmos1.8401.1v/apostilaproposicoes-tabelas-verdade-conectivos-logicos >.
Acessado em 22 de maro
de 2014.
MACHADO, N. J. Matemtica e Realidade. 3 ed. So Paulo: Cortez, 1991.
103 p.
MONDINI, F.. O Logicismo, o Formalismo e o Intuicionismo e seus
Diferentes Modos de Pensar a Matemtica. Disponvel em <
file:///E:/Novo%20Backup/UNIP/L%C3%B3gica/287-1-A-gt2_mondini_ta.pdf >.
Acessado em 23 de maro de 2014.
OK Concursos.
Como estudar Raciocnio Lgico. Disponvel em <
http://www.okconcursos.com.br/apostilas/apostila-gratis/136raciociniologico/562-como-estudar-raciocinio-logico#.Uy3rpKhdWSo >.
Acessado em 22
de maro de 2014.
RIBEIRO,
R.D.,
Implicao
Lgica
.Disponvel
http://www.rafaeldiasribeiro.com.br/downloads/implicacaoLogica.pdf
Acessado em 23 de maro de 2014.
em
SILVA, J. J. Filosofias da matemtica. So Paulo: Ed. da UNESP, 2007.
239 p.
SNAPPER, E. As trs crises da Matemtica: o logicismo, o intuicionismo e o
formalismo. Revista Humanidades, volume II, n. 8, p. 85-93, jul-set. 1984.
<