Lógica

e Fundamentos
da Matemática
01
1. Introdução 4

2. Inferência e Argumento 7
Dedução e Indução 8
Validade de um Argumento 9
Verdade e Validade 9
Como Reconhecer Argumen-tos? 10
Demonstrações 11
Enunciados Categóricos 11
Representação dos Enunciados Categóricos
por Diagramas 12
Cálculo Proposicional 13
Operadores Lógicos 14
Valor Lógico de uma Proposição Composta 14
Tabela-verdade 15
Cálculo Proposicional 16
A negação: ~p 16
A conjunção: p∧ q 16
A disjunção: p∨ q 16
A condicional: p→q 17
A Bicondicional: P↔Q 18
Construção de Tabela-Verdade de Proposições
Compostas 18
Tautologia e Contradição 19
Parênteses e Precedência de Operadores Lógicos 21
Escrita Correta de Proposições 22
Implicações e Equivalências 22
Relação de Implicação 22
Relação de Equivalência 23
Propriedades das Operações 24

3. Referências Bibliográficas 27
03
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
1. Introdução
N ote que as palavras “lógica” e
“lógico” nos são análogas. Dis-
corremos frequentemente de com-
portamento lógico”, de elucidação
lógica” em contraste com procedi-
mento ilógico”, de elucidação ilógi-
ca”. Nestes episódios, a palavra lógi-
ca é usual no mesmo sentido de “ra-
zoável”. Um indivíduo com “espírito
lógico” é um indivíduo “razoável”.
Esses costumes podem ser estima-
dos como derivativos de um sentido
mais especialista do termo “lógico”
para distinguir os argumentos ra-
cionais.
Assim, veja que o estudo de
lógica é da matéria dos processos e
1 Retirado em http://inc.com
Fonte: INC1
princípios utilizados para diferen-
ciar o raciocínio correto do incorre-
to. Isto não significa que só se tem
raciocínio lógico quem estuda lógi-
ca. Entretanto um indivíduo que es-
tuda lógica tem maior perspectiva de
raciocinar corretamente.
Logo a lógica matemática é co-
nhecida ainda como Lógica Propo-
sicional ou Lógica Simbólica Clássi-
ca. Seu desígnio é a formulação de
critérios que consintam na análise
da legitimidade dos contextos utili-
zados na demonstração de algumas
afirmações. De tal modo, usando
contextos "legítimos", se conseguir-
mos despontar que uma afirmação
4
LÓGICA E FUNDAMENTOS DA MATEMÁTICA

segue de afirmações antecedentes já  Criança que tem brinquedo

estabelecidas, adviemos a conside- estrela é feliz.
rar essa afirmação como situada  A criança é feliz.
também.  A criança tem brinquedo es-
Isso dá o modelo universal de trela.
 Fonte:http://todamateria.co
uma teoria matemática por conta de
m
determinado assunto, onde aceita-
mos como verdadeiras certos núme- O primeiro argumento tem um
ros de afirmações primitivos (axio- erro de falsa dicotomia e o segundo
mas ou postulados) e nesse instante, induz a pensar que o antecedente
empregando argumentos logicame- segue do consequente, ou o con-
nte válidos, iniciamos por deduzir trário.
outras afirmações arquitetando a
teoria. (Isso fica esclarecido no de-
senvolvimento da geometria eucli-
diana, juntamente com a teoria dos
conjuntos, etc.).
Uma parte do estudo da lógica
versa no exame e na análise das me-
todologias incorretas do raciocínio,
isto é, as falácias. O estudo de lógica
não somente dá um espectro mais
profundo dos princípios do raciocí-
nio via de regra, como o conheci-
mento desses ardis ampara, além
disso a evitá-los.
Também, o estudo de lógica
apresenta, por meio da aplicação de
determinadas técnicas, alguma cor-
reção ou incorreção de todos os ra-
ciocínios.
Exemplos:
 Ou você é a favor do presi-
dente ou você é contra a ree-
leição.
 Você é contra a reeleição.
 Você não é a favor do presi-
dente.

5
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
2. Inferência e Argumento
A lógica zela pela correção do
procedimento do raciocínio,
uma vez completo. Sua interrogação
é consecutivamente essa: “a conclu-
são que se alcançou deriva das pre-
missas utilizadas ou pressupostas?”
Se as premissas aprovisionam base
ou boas provas para o remate, se a
asseveração da verdade das premis-
sas afiança a afirmação de que a
conclusão ainda é verdadeira, então
o raciocínio é adequado. No caso
contrário, é incorreto. A diferencia-
ção entre o raciocínio correto e o
incorreto é a problemática central de
que se incide sobre a lógica.
Apodamos de inferência ao
método pelo qual alcançamos a uma
2 Retirado em http://medium.com
Fonte: Medium2
conclusão. Digressão, associações de
ideias, imaginação são soluções váli-
das para o pensamento, nos quais os
resultados podem ser desde crença e
conceitos até sentenças científicas.
Para a lógica vela o argumento que
obedece à inferência. Isto é, após o
processo de descobrimento, qual-
quer que tenha constituído o cami-
nho percorrido, compete ao lógico
examinar o modo que a inferência a
fim de averiguar se é justificável che-
gar a alguma conclusão.
Para isso o Argumento é uma
sequência de proposições, cuja uma
das proposições é a conclusão e as
outras, denominadas premissas, de-
7
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
senvolvem as provas ou evidências
para a conclusão.
Exemplos:
Argumento 1: Como todo brasilei-
ro é sul-americano e todo paulista é
brasileiro, então todo paulista é sul-
americano.
Neste caso, “Todo brasileiro é
sul-americano” e “Todo paulista é
brasileiro” são as premissas e “Todo
paulista é sul-americano” é a con-
clusão desse argumento.
Argumento 2: Como todo mate-
mático é louco e eu sou matemático,
então eu sou louco.
Neste caso, a argumentação é
válida embora as premissas sejam
falsas. Fonte: UFV
Dedução e Indução
Note que os argumentos po-
dem ser rotulados em argumentos
dedutivos ou indutivos.
Fonte: http://pt.slideshared.net
Argumento dedutivo é um ar-
gumento na qual conclusão é inferi-
da fundamentalmente de suas pre-
missas. No argumento dedutivo,
tem uma ligação entre as premissas
e a terminação visto que a conclusão
se torna indispensável, isto é, tem
que ser esta e não outra.
Além do mais, o enunciado da
conclusão não extrapola o conteúdo
das premissas, ou seja, não se arti-
cula mais na conclusão do que foi
falado nas premissas.
Por sua vez, o Argumento in-
dutivo é um argumento no qual a
conclusão não é derivada funda-
mentalmente de suas premissas. A
indução é uma alegação cuja, a par-
tir de dados singulares satisfatória-
mente enumerados, inferimos uma
veridicidade universal.
Fonte: UFV
Variavelmente do argumento
dedutivo, em um argumento induti-
vo, o teor da conclusão extrapola o
das premissas. A conclusão da indu-
ção tem somente probabilidade de
ser correta.
Esta configuração de argu-
mento é responsável pelo embasa-
mento de grande parte de nossas in-
formações na vida diária e de grande
parte das ciências experimentais.
Além do mais, todas as previsões
8
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
que improvisamos para o futuro tem
apoio na indução.
Validade de um Argumento
Um argumento dedutivo é cor-
reto quando suas premissas, se ver-
dadeiras, aprovisionam provas plau-
síveis para sua conclusão, ou seja,
quando as premissas e a terminação
estão igualmente relacionadas que é
Todos os baianos gostam de
carnaval
Ora, eu gosto de carnaval
Logo, eu sou baiano
Toda baleia é mamífera A água provoca câncer pois todas as pessoas
que morreram de câncer bebiam água.
Nenhum mamífero é peixe.,
Logo, a baleia não é peixe
Note que nos exemplos supra-
citados, o primeiro e o último argu-
mento não serão corretos.
Verdade e Validade
Verdade(V) e falsidade(F) pos-
suem a possibilidade de serem pre-
dicados das proposições, jamais dos
argumentos, do mesmo modo com
as propriedades de validade ou in-
validade somente podem incumbir a
argumentos dedutivos, entretanto
jamais a proposições. Logo, deter-
minados argumentos válidos con-
têm tão-somente proposições verda-
deiras, a título de exemplo:
categoricamente impossível as
premissas significarem verdadeiras
se a conclusão também não for ver-
dadeira.
A legitimidade de um argu-
mento depende tão-somente de sua
forma, e não do seu teor ou da verda-
de ou falsidade dos expressos que
nele ocorrem. Assim, todo entendi-
mento (ou argumento) dedutivo é
válido ou inválido.
Todos os homens são xenófobos
Ora, eu sou homem,
Logo, eu sou xenófobo
Fonte: UFV
 Todas os macacos são mamí-
feros;
 Todos os mamíferos possuem
pulmão;
 Portanto, todas os macacos
possuem pulmão.
Contudo um argumento pode
conter tão-somente proposições fal-
sas e, apesar disso, ser válido. A tí-
tulo de exemplo:
 Todas os cachorros tem quatro
patas;
 Todos os seres de quatro patas
têm asas;
 Portanto, todos cachorros têm
asas.
9
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
Esse argumento é válido pois,
se suas premissas significassem ver-
dadeiras, sua conclusão além disso
seria correta, mesmo no caso em
que, deveras, fossem todas falsas.
Assim:
 Se eu possuísse todo petróleo
da Arábia saudita, eu seria
muito rico.
 Não possuo o petróleo da Ará-
bia saudita.
 Portanto, não sou muito rico.
Note que, embora as premis-
sas constituam ser verdadeiras, o
raciocínio não é apropriado.
De tal modo, pode-se lembrar
que têm argumentos válidos com
conclusões falsas, assim como argu-
mentos inválidos com fins verda-
deiros. Assim, a verdade ou falsida-
de da sua conclusão não motivam a
validade ou não validade de um
contexto. Existe raciocínios impeca-
velmente válidos que tem conclusão
falsa contudo, para que isso acon-
teça, necessitam ter pelo menos uma
premissa falsa. Os argumentos invá-
lidos ou aqueles válidos ou não que
possuem pelo menos uma premissa
Tudo que é predeterminado é
necessário.
Todo evento é predeterminado.
Logo, todo evento é necessário
falsa são denominados falácia ou so-
fisma.
Como Reconhecer Argumen-
tos?
Para se distinguir se um argu-
mento é válido ou inválido, neces-
sita-se em primeiro lugar saber co-
nhecer os argumentos, quando eles
acontecem, além de identificar as
suas premissas se conclusões. A con-
clusão de um circunstanciado não
precisa ser enunciada essencialmen-
te no seu final ou começo.
Fonte: UFV
Note que nenhuma proposição
é solitariamente uma premissa ou
conclusão. Só pode ser premissa
quando acontece como pressuposi-
ção num contexto ou raciocínio. Só é
conclusão quando advém de um
argumento em que se afiançar de-
correr das proposições pressupostas
nesse contexto.
Exemplos:
Todo evento causado por outros eventos é
predeterminado
Todo evento é causado por outros eventos
Logo, todo evento é predeterminado
Fonte: UFV
10
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
Veja que no primeiro contexto
a proposição “todo evento é prede-
terminado” é uma premissa, por ou-
tro lado no segundo argumento ela é
conclusiva.
Além do mais, nem tudo que é
falado ao longo de um argumento é
premissa ou conclusão desse contex-
to. Um trecho que possui um argu-
mento pode ainda possuir outro ma-
terial que tanto pode ser desprezível
quanto apresentar importantes ele-
mentos sobre os antecedentes do ar-
gumento. Por exemplo:
“Se o código penal proíbe o
suicídio, esta proibição é ridícula;
pois que penalidade pode assustar
um homem que não teme a própria
morte?” (UFV)
Note que a proposição “o có-
digo penal coíbe o suicídio” não é
premissa nem conclusivo, entretan-
to ajuda a se ter informação de que
proibição se acena o texto. Porquan-
to, pode-se escrever esse argumento
de outra forma:
“Como nenhuma penalidade
pode assustar um homem que não
teme a própria morte A proibição
suicídio do código penal é ridícula.”
(UFV).
Demonstrações
A matemática utiliza predomi-
nantemente métodos dedutivos de
raciocínio. A proposição matemática
é corroborada quando a deduzimos
de proposições prontamente admiti-
das como verdadeiras.
Uma confissão é a consignação
de uma verdade e é construída por
meio de uma sequência composta de
raciocínios lógicos, com começo e
fim determinados. Todo raciocínio,
particularmente, carece ter sua vera-
cidade afiançada e justificada. O
apoio para a construção de demons-
trações carece, fundamentalmente,
ser um contíguo de axiomas, isto é,
um conjunto de afirmações que si-
mulam fatos, reservados do mundo
real e para os quais não é indispen-
sável justificação.
Existe diferentes modos de se
realizar demonstrações. A título de
exemplo:
 Demonstração por contradi-
ção (ou redução ao absurdo);
 Demonstração por contraposi-
ção;
 Demonstração por implicação
direta.
Os detalhes e as altercações de
cada modo serão abordados oportu-
namente. Por agora, o basilar é en-
tender que uma afirmação apenas
pode ser respeitada como válida se
for comboiada de uma demonstra-
ção, ritual, de sua veracidade.
Enunciados Categóricos
Fora os argumentos falaciosos,
também tem o problema das frases
11
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
ambíguas. Assim, analisemos a de-
claração: Políticos são Corruptos:
[...] Do ponto de vista lógico, es-
ta declaração é imprecisa. Sur-
ge então a questão: como pode-
mos eliminar esta imprecisão?
Segundo o filósofo grego Aris-
tóteles (séc. IV a.C) isso somen-
te é possível se enunciarmos as
sentenças na forma categórica.
Acrescentando as expressões
"todos", "alguns", "nenhum" à
afirmação acima, obtemos
enunciados categóricos, ou se-
ja, enunciados precisos, no sen-
tido de que podemos atribuir-
lhes um e somente um valor ló-
gico.
A declaração: "Políticos são cor-
ruptos" adquire as seguintes
formas enunciativas, quando
acrescidas de uma das expres-
sões: "todo", "nenhum" e "al-
guns":
A - "Todos os políticos são cor-
ruptos."
E - "Nenhum político é cor-
rupto."
I - "Alguns políticos são cor-
ruptos." ou "Existem políticos
corruptos."
O- "Alguns políticos não são
corruptos." ou "Existem políti-
cos que não são corruptos." [...]
(SKOVSMOSE, 2001).
Logo, as sentenças de tal modo
formuladas foram denominadas de
proposições categóricas. Conforme a
classificação de Aristóteles elas se
dividem em quatro tipos:
[...] Tipos de enunciados cate-
góricos: Formas lógicas:
A - afirmação universal: Todo S
éP
E - negação universal: Nenhum
SéP
I - afirmação particular: Algum
SéP
O - negação particular: Algum S
é não P [...] (UFV)
Representação dos Enuncia-
dos Categóricos por Diagra-
mas
Skovsmose (2001) cita que:
[...] No séc. XVIII, o matemáti-
co Leonard Euler utilizou-se de
diagramas para explicar a uma
princesa alemã o significado
dos quatro enunciados categó-
ricos. Para isso ele utilizou de-
senhos que se revelaram muito
eficientes e ficaram conhecidos
como diagramas de Euler. Es-
ses diagramas são bastante uti-
lizados no estudo de conjuntos.
[...]
Logo, um conjunto é uma co-
leção de dados que apresentam uma
característica, um predicado que os
assinala. Quando discorremos sobre
o conjunto A dos políticos, estamos
aglomerando em uma só coleção
todos os objetos que exibem a carac-
terística: ser político. Portanto, po-
demos simular o conjunto A por
uma região restrita do plano. Os
pontos do seu interior simulam os
elementos de A, ou seja, os políticos.
Os pontos externos dessa região
compõem o conjunto ~A, isto é, o
dos não-políticos.
12
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
Então chamando de S o con-
junto de indivíduos saudáveis e de A
o conjunto de Esportistas, os diagra-
Cálculo Proposicional
Note que determinados ter-
mos especiais empregados em ló-
gica:
[...] Proposição Simples é uma
sentença declarativa. As propo-
sições são verdadeiras ou falsas
não havendo outra alternativa
(Princípio do Terceiro Excluí-
do) e nisso diferem das pergun-
tas, ordens e exclamações. Só as
proposições podem ser afirma-
mas abaixo simulam as quatro pro-
posições decisivas de Aristóteles:
Fonte: UFV
das ou negadas. Além disso,
uma proposição não pode ser
ao mesmo tempo verdadeira e
falsa (Princípio da não Contra-
dição).
Valor lógico das proposições:
chama-se de valor lógico de
uma proposição a verdade
(V) se a proposição é verdadeira
e falsidade (F) se a proposição
for falsa. Notação: V(p) [...]
(DEMETRIUS, 2016).
Assim as proposições são ge-
ralmente descritas por letras minús-
culas: p, q, r, s.
13
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
Exemplos:
1. P: 3 + 4 = 9
2. Q: minas gerais é um estado da
região sudeste do brasil.
3. R: 7 + 9 (falta predicado)
4. S: joão estuda matemática?
(Interrogativa)
5. T: 3x + 2 = 6 (qual o número
que multiplicado por 3 e somado
com 2 é igual a 6?) (ufv).
Mas vale ressaltar que a lin-
guagem seguida pela lógica mate-
mática é muito particular, entretan-
to em nada muda de outras língua-
gens de programação. Não passa de
um conjunto de símbolos e expres-
sões com significações predefinidas
e que podem ser empregados desde
que acatadas certas regras. Contudo,
é importante compreender que cada
símbolo tem um sentido próprio,
isto é, deve-se apreciar e respeitar os
significados dos símbolos empre-
gados.
Operadores Lógicos
No cotidiano empregamos
constantemente expressões bem co-
mo: não, e, ou, se...então, se e so-
mente se ou análogas. Estas expres-
sões são indispensáveis para a co-
municação do pensamento. São cha-
mados operadores lógicos, porquan-
to permitem compor proposições
compostas a partir de proposições
simples.
Já os conectivos são palavras
utilizadas para compor novas propo-
sições. Os conectivos usados em ma-
temática são: e, ou, se ... então e se e
somente se.
As proposições compostas são
alcunhadas pelas letras latinas
maiúsculas: P, Q, R, S.
Exemplos:
 P: João estuda música ou Pau-
lo estuda química.
 Q: João estuda música e Paulo
estuda química.
 R: Se João estuda música en-
tão Paulo estuda química. T:
Não estudo música nem quí-
mica. (UFV)
Valor Lógico de uma Proposi-
ção Composta
De acordo com o Princípio do
Terceiro Excluído, toda proposição
simples p é (V) verdadeira ou (F) fal-
sa, ou seja, possui um valor lógico.
[...] A determinação do valor ló-
gico de uma proposição com-
posta depende do valor lógico
das proposições que a compõe.
Dada uma proposição compôs-
ta P (p, q, r, s, ...), pode-se se-
mpre determinar o seu valor ló-
gico quando são conhecidos os
valores lógicos das proposições
simples que a compõe. [...]
(UFV).
14
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
Tabela-verdade
Veja que para se estabelecer
um valor lógico de uma proposição
composta, pode-se empregar um
dispositivo denominado tabela-ver-
dade cujo figuram todos os plausí-
veis valores lógicos da proposição
composta, equivalente a todas as
possíveis imputações de valores ló-
gicos são proposições simples que a
forma.
Assim, quando uma proposi-
ção composta é desenvolvida por
três proposições simples p, q e r, lo-
go, para cada valor lógico de p, in-
[...] Nos enunciados compostos
de duas proposições p e q, te-
mos quatro situações possíveis:
p e q são verdadeiros, p é ver-
dadeiro e q é falso, p é falso e q
é verdadeiro e ambos são falsos,
isto é para cada valor lógico de
p, temos dois valores lógicos de
q. Estas quatro possibilidades
são representadas, respectiva-
mente, pelas quatro linhas ho-
rizontais de valores-verdade.
[...] (UFV).
Fonte: UFV
cluímos dois valores lógicos de q e
assim, para cada valor lógico de q,
incluímos dois de r.
Fonte: UFV
15
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
Desse modo, para se formarr
uma tabela verdade com n proposi-
ções simples, aplica-se à 1ª proposi-
ção, 2n/2 valores (V) acompanhados
de, 2n/2 valores (F); à 2ª proposi-
ção, 2 n/4 valores (V) acompanha-
dos de, 2n /4 valores (F) e do mesmo
modo consecutivamente.
Cálculo Proposicional
A negação: ~p
O argumento "não é verdade
que" ou uma análoga, via de regra,
antecede um enunciado para com-
por um novo enunciado, cujo é cha-
mado de negação do primeiro. Ex-
pressa-se, desse modo, a negação de
uma proposição p a proposição “não
p” no qual o valor lógico é (V) sendo
que se p é falsa e (F) logo p é ver-
dadeira. Vejamos o exemplo dado
pela (UFV):
Assim, a tabela-verdade da ne-
gação aceita duas possíveis circuns-
tância: P é verdadeiro ou P é falso.
Estas circunstâncias são simuladas
pelas duas linhas horizontais de va-
lores-verdade.
A coluna sob ~P recomenda
que o valor-verdade de ~P em cada
circunstância.
Tabela I
P ~P
V F
F V
A conjunção: p∧ q
Uma composição composta
por dois enunciados, unidos pelo co-
nectivo lógico "e" ou uma expressão
análoga, denomina-se conjunção no
qual o valor lógico é (V) quando são
duas verdadeiras e (F) nos demais
acontecimentos.
A disjunção: p∨ q
Note que a proposição com-
posta pelo ajuntamento de duas pro-
posições simples por meio do ope-
rador lógico "ou" denomina-se dis-
junção, isto é, é a afirmação pela
qual se alega pelo menos uma das
afirmações p e q.
[...] Na linguagem corrente a
palavra "ou" possui dois signifi-
cados distintos. O chamado
sentido não-exclusivo para o
qual ao menos um dos enuncia-
dos componentes é verdadeiro
ou ambos. E o sentido exclusivo
onde um dos enunciados é ver-
dadeiro e o outro é falso. Na
16
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
lógica matemática a expressão
"ou" se usa sempre no sentido
não-exclusivo. [...] (UFV).
Logo, a disjunção p∨q possui
um valor lógico (F) quando são p e q
e são falsas e (V) nos demais aconte-
cimentos. Observe os exemplos
abaixo de acordo com UFV:
A seguir representa a tabela-
verdade da conjunção e disjunção:
P Q P∧ Q P∨ Q
V V V V
V F F V
F V F V
F F F F
A condicional: p→q
Teremos que a junção de dois
enunciados através de palavras "se...
então..." compõe um enunciado co-
nexo que ganha o nome de condi-
cional. A partícula à qual se acha
prefixada a palavra se denomina-se
antecedente e a cláusula adentrada
pela palavra então denomina-se
consequente.
A proposição “se p então q”
possui valor lógico (F) apenas quan-
do p é verdadeira e q é falsa. Ou seja,
negar que acontece “se p então q” é
dizer que p adveio e q não afluiu.
Pode-se predisser a condicio-
nal p→q na configuração:
 P é condição satisfatória para
q;
 Q é condição necessária para
p.
Note que sejam as proposi-
ções:
 P: Se todos os números natu-
rais pertencem a IN e 1689 é
um número natural, logo 1689
pertence a IN.
 Q: Se 58 é par, então 58 não é
ímpar.
 R: Se o Atlético Mineiro perder
o jogo, então mastigarei minha
camisa.
Pode-se lembrar que as condi-
cionais supra são de tipos bem dife-
rentes. O consequente da proposi-
ção P advém, logicamente, do seu
17
LÓGICA E FUNDAMENTOS DA MATEMÁTICA

anterior; o consequente da proposi-

ção Q, só advém de seu anterior em
benefício da definição do número
par, que constitui número não ím-
par; a proposição R informa uma
decisão do indivíduo. Não obstante
dessas altercações, as três proposi-
ções apresentam um fato em co-
mum: todas afirmam determinado
tipo de implicação.
Logo, uma condicional p→ q
não afirma que o consequente q é
consequência do anterior p. O que
uma condicional afiança é exclusiva-
mente uma relação em meio aos va-
lores lógicos do anterior e do conse-
quente.
A Bicondicional: P↔Q
Um enunciado composto pela
expressão "se e somente se" denomi-
na-se bicondicional e pode ser esti-
mado como a conjunção de ambos
enunciados condicionais no modo
de (p→q) ^ (q → p)
Em seguida a proposição bi-
condicional “p se e somente se q”
possui valor lógico (V) se p e q apre-
sentarem o mesmo valor lógico e (F)
nos demais acontecimentos. Nota-
ção: p↔q.
Note que se pode decifrar a
bicondicional p↔q no modo:
 P é condição imprescindível e
satisfatória para q
 Q é condição imprescindível e
satisfatória para p.
A seguir representa a tabela-
verdade da condicional e da bicon-
dicional:
P Q P→Q P↔Q
V V V V
V F F F
F V V F
F F V V
Construção de Tabela-Verda-
de de Proposições Compostas
Exemplo 1: para construir a
tabela verdade com a proposição P
(p, q) = ~(p∧~q).
Inicia-se formando o par de
colunas apropriadas à duas proposi-
ções simples, depois se compõe a
coluna para ~q, em seguida para p∧
~q e, por último, para ~ (p ∧ ~q).

18
LÓGICA E FUNDAMENTOS DA MATEMÁTICA

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

Exemplo 2: já para construir a tabela verdade com a proposição P (p, q)

= ~ (p ∧ q) ∨ ~(q↔p).

~ (p∧ q) ∨
P Q P∧ q q↔p ~ (p∧ q) ~(q↔p)
~(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

Exemplo 3: ainda para construir a tabela verdade com a proposição P (p,

q, r) = p∨ ~r→ q∧ ~r.

P∨ ~r →q∧
P Q R ~r P∨ ~r Q∧ ~r
~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

Fonte: UFV

Tautologia e Contradição verdadeira sem levar em conta os

valores lógicos das proposições que
Denomina-se tautologia a pro- a forma. Por exemplo, as proposi-
posição composta que sempre será ções p∨ ~p e ~ (p∧ ~p) são modelos

19
LÓGICA E FUNDAMENTOS DA MATEMÁTICA

de tautologias. Logo, na tabela-ver- Exemplo 4: note que para

dade de uma tautologia, a última construir a tabela verdade com a
coluna possui somente o valor lógico proposição P (p, q, r) = p ∧ r→~q ∨
V. r:

P Q R ~q P∧ r ~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 V 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

Assim, denomina-se contradi- sui somente valor lógico (F). Note

ção a proposição composta que sem-
pre será falsa sem levar em conside-
ração os valores lógicos das proposi-
ções que a formam. Por exemplo, as
proposições p∧ ~p e ~(pv~p), logo,
são exemplos de contradições.
Na tabela-verdade de uma
contradição, sua última coluna pos-
que como uma tautologia é sempre
será verdadeira, por outro lado a
negação de uma tautologia é sempre
será falsa, isto é, uma contradição e
vice-versa.
Exemplo 5: logo a proposição
~ ((p ↔q∧ p) → q) é será uma con-
tradição

~ ((p↔q∧ p) →
P Q P↔q (p↔q)∧ p (p↔q∧ p)→q
q)
V V V V V F
V F F F V F
F V F F V F
F F V F V F

20
LÓGICA E FUNDAMENTOS DA MATEMÁTICA

Exemplo 6: ainda a proposição p ∨ (q ∧~q) ↔p será uma tautologia

P Q ~q Q∧ ~q P∨ (q∧ ~q) P∨ (q∧ ~q)↔p

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

Exemplo 7: Também a proposição p∧(q∨r) ↔(p∧q) ∨(p∧r) será uma tautologia

P∧ (q∨ (P∧ q) ∨ P∧ (q∨ (P∧ q) ∨

P Q R Q∨ r P∧ q P∧ r
r) (p∧ r) r) ↔ (p∧ r)

V V V V V V V V V

V V F V V V F V V

V F V V V F V V V

V F F F F F F F V

F V V V F F F F V

F V F V F F F F V

F F V V F F F F V

F F F F F F F F V

Parênteses e Precedência de ser modificada por meio do emprego

Operadores Lógicos
Veja que na Lógica Matemáti-
ca é ajustada a consequente ordem
de precedência entre os operadores:
(1) ~ (2) ∧, ∨ (3) →, ↔
Assim, duas regras importan-
tes precisam ser notadas:
1. A ordem de prioridade de uma
operação lógica tão-somente pode
de parênteses.
2. Operadores díspares e de mes-
ma prioridade fundamentalmente
necessitam ter sua ordem apontada
pelo emprego de parênteses.
Exemplos:
1. As consequentes proposições es-
tão grafadas corretamente:
a. P∨q∨r↔~p

21
LÓGICA E FUNDAMENTOS DA MATEMÁTICA

b. P ∨ q ∨ (r ↔ ~ p) f. P ∨ q ↔ ~ p ∧ ~q
c. (P → q) → p
d. (P ∧ q) ∨ r → p 2. As consequentes sentenças es-
e. (P ∨ q) ↔ ~ p ∧ ~q tão incorretamente grafadas (não
contém definição definitiva!!!):

Sentença Erro
Os operadores ∧ e ∨ são diferentes e têm mesma prioridade. O
(a). P ∧ q ∨ r
resultado é ambíguo.
Os operadores → e ↔ são diferentes e têm mesma prioridade.
(b). P → q ↔ p
O resultado é ambíguo.
(c). (P ∨ q) ↔ (~p ∧) ~q Falta uma proposição entre o ∧ e o parênteses. Falta um
operador entre o parênteses e a proposição ¬ q.

Fonte: UFV

3. A colocação de parênteses pos- Escrita Correta de Proposi-

sibilita a modificação do valor lógico
(e o sentido) de uma proposição:
 V∨F→F ⇔V→F ⇔F
 V ∨ (F → F) ⇔ V ∨ V ⇔ V
ções
Um motivo que causa muito
comum de erros em Matemática é a
convertimento de frases da língua-
gem coloquial para expressões e
proposições. Note os exemplos a
seguir:

Sentença Errado Certo

Se x2 = 1 então x é igual a 1 ou a –1. x2 = 1 → x = 1 ∨ -1 x2 = 1 → x = 1 ∨ x = -1

Se x2 = 1 então as soluções são 1 e –1. x2 = 1 → x = 1 ∧ -1 x2 = 1 → x = 1 ∨ x = -1

Se x2 = 1 então as soluções são 1 e –1. x2 = 1 → x = 1 ∧ x = -1 x2 = 1 → x = 1 ∨ x = -1

Implicações e Equivalên- (p, q, r.), P⇒Q, caso seja para valor

cias verdadeiro da primeira logo a segun-
da é verdadeira. Da acepção acom-
Relação de Implicação panhada que P⇒Q somente se a
condicional P→Q é uma tautologia
Fala-se que uma proposição P Geralmente, toda proposição
(p, q, r,) sugere uma proposição Q insinua uma tautologia e somente

22
LÓGICA E FUNDAMENTOS DA MATEMÁTICA

uma contradição sugere uma con- seja, que p∧q→p∨q é uma tauto-
tradição. logia.
Exemplo: Constituindo P: p∧q
e Q: p∨q, averiguar que P⇒Q, ou

P Q P∧q P∨ q P ∧ q→p∨ q
V V V V V
V F F V V
F V F V V
F F F F V

Fonte: UFV

Cuidado! os símbolos → e ⇒ da hipótese é suficiente para afian-

são díspares porquanto o primeiro é
de operação lógica (justaposto às
proposições p e q oferece uma nova
proposição p →q), por outro lado, o
segundo é de relação (constitui uma
condicional P→Q é uma tautologia).
Uma relação em meio a pro-
posições se diferencia de operação
em meio a proposições pois a pri-
meira não origina uma nova pro-
posição, já a segunda sim.
Aviso: Todo teorema é uma
implicação de modo HIPÓTESE ⇒
TESE. Então, evidenciar um teore-
ma constitui mostrar que não acon-
tece o fato de a hipótese ser verda-
deira e a tese falsa, ou seja, a verdade
çar a verdade do argumento.
Relação de Equivalência
Fala-se que uma proposição P
(p, q, r,) será equivalente a uma pro-
posição Q (p, q, r.), se elas sugeri-
rem uma a outra e representa-se por
P⇔ Q. De tal modo, P⇔ Q se a bi-
condicional P↔Q é uma tautologia.
Assim, seja duas tautologias
ou duas contradições são análogas
(equivalente).
Exemplo 1: Significando P: p
↔ q e Q: (p→q) ∧ (q→p), constatar
que P⇔ Q, ou seja, despontar que
(p↔q) ↔ ((p→q) ∧ (q→p)) é uma
tautologia.

(p→q)∧ (p↔q)↔((p
P Q P→q Q→p P↔q
(q→p) →q)∧ (q→p))
V V V V V V V
V F F V F F V

23
LÓGICA E FUNDAMENTOS DA MATEMÁTICA

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

Exemplos 2: Constituindo P: ~(p→q) e Q: p∧ ~q, constatar se P⇔ Q, ou

seja, ~(p→q) ⇔ p ∧ ~q

~(p →q) ↔p
P Q ~q (p→q) ~(p →q) P ∧~q
∧ ~q
V V F V F F V
V F V F V V V
F V F V F F V
F F V V F F V

Fonte: UFV

Exemplos 3: Sendo P: p∧~q go P⇔ Q, ou seja, P↔Q é uma tauto-

→f aonde f é uma proposição no logia.
qual o valor lógico é (F) e Q: p→q, lo-

(p∧
P Q ~q P→q P∧ ~q F P∧~q→f
~q→f)↔(p→q)
V V F V F F V V
V F V F V F F V
F V F V F F V V
F F V V F F V V

Fonte: UFV

Aviso: Desta equivalência de- mar uma hipótese e negando a tese

corre o método de demonstração por
absurdo. As expressões por absurdo
incidem em vincular à hipótese a
negação da tese e despontar que isso
induze a uma proposição falsa. Ou
seja, confirmar que a verdade da hi-
pótese é satisfatória para a verdade
da tese, é também o mesmo que afir-
se chegar a um absurdo.
Propriedades das Operações
Para finalizar nossos estudos
vamos relembrar de algumas equi-
valências são bem úteis nas demons-
trações. Lembrado por vas tautolo-

24
LÓGICA E FUNDAMENTOS DA MATEMÁTICA
gias e pôr fas contradições, apresen-
tamos as propriedades que se se-
guem.
[...] (I) Propriedade da opera-
ção de conjunção.
(1) p ∧ q ⇔ q ∧ p (comutativa)
(2) (p∧ q) ∧ r ⇔ p∧ (q∧ r) (as-
sociativa)
(3) p∧ p ⇔ p (idempotente)
(4) p∧ v ⇔ p
(5) p∧ f ⇔ f
(II) Propriedade da operação de
disjunção
(1) p∨ q ⇔ q∨ p (comutativa)
(2) (p∨ q) ∨ r ⇔ p∨ (q∨ r) (as-
sociativa)
(3) p∨ p ⇔ p (idempotente)
(4) p∨ v ⇔ v
(5) p∨ f ⇔ p
(III) Propriedades relativas sà
duas operações
(1) p∧ (q∨ r) ⇔ (p∧ q) ∨ (p∧ r)
(distributiva da conjunção rela-
tivamente à disjunção)
(2) p∨ (q∧ r) ⇔ (p∨ q) ∧ (p∨ r)
(distributiva da disjunção rela-
tivamente à conjunção)
(3) p∧ (p∨ q) ⇔ p (absorção)
(4) p∨ (p∧ q) ⇔ p (absorção)
(IV) Propriedade da operação
de negação ~(~p) ⇔ p
(V) Propriedades relativas à
três operações (leis de De
Morgan ou de dualidade)
(1) ~ (p ∧ q) ⇔ ~p∨ ~q
(2) ~ (p∨ q) ⇔ ~p∧ ~q [...]
(UFV).
Fonte: UFV
25
26
LÓGICA E FUNDAMENTOS DA MATEMÁTICA

3. Referências Bibliográficas
DEMETRIUS, Lisandro. Raciocínio Lógi-
co, Quantitativo E Matemático. Clube de
Autores, 2016.

LUCAS, Joao. Raciocínio Lógico Para Con-

cursos E Vestibulares. Clube de Autores
(managed).

MARTINS, Alvaro. Raciocínio Lógico Para

Concursos E Vestibulares. Clube de Auto-
res (managed).

SKOVSMOSE, Ole. Educação Matemática

Crítica: a questão da democracia. Papirus
editora, 2001.

UFV. Introdução à Lógica Matemática. Re-

tirado em:
https://www.google.com.br/url?sa=t&rct
=j&q=&esrc=s&source=web&cd=3&cad=
rja&uact=8&ved=2ahUKEwjbl9vCi-
XoAhVDI7kGHT7vAzEQFjACegQIBBAB
&url=ftp%3A%2F%2Fftp.ufv.br%2Fdma
%2FListas%2520Antigas%2Flogica.PDF&
usg=AOvVaw3r8fxLzOvF5I926SthF6h.
Acessado em: 06 de abr de 2020.

27
02
8