Vous êtes sur la page 1sur 34

FUNDAMENTOS DE ÁLGEBRA

Introdução a Lógica Matemática


Introdução à Teoria dos Conjuntos
Linguagem Formal Matemática

Prof. Cristiano Alvarenga Marques

1
O que é a Lógica?

Argumento – Os argumentos permeiam nossa vida. Eles estão presentes no trato com as pessoas
e na resolução de problemas. Através dos argumentos apresentamos razões que acreditamos
justificarem nossas afirmações, defendemos nossas posições e tentamos ganhar aliados. O
argumento é um discurso, em que encadeamos proposições de maneira a chegarmos a uma
conclusão.

• Proposição é todo conjunto de símbolos ou palavras que exprimem um pensamento de


sentido completo.

Ex. 1) Todo cão é mamífero.

2) Todo animal é mineral.

3) sen π =1

4) tg 45° = 1

Suponhamos o seguinte argumento:

Ex.1

As aves são ovíparas.

Ora, as galinhas são aves.

Logo, as galinhas são ovíparas.

O que está se tentando provar é que as galinhas são ovíparas. O fato que está sendo usado é de
que as aves são ovíparas e que as galinhas sendo aves, são, portanto ovíparas. As palavras que
asseguram a relação entre os fatos são “ora”, que articula as duas primeiras proposições e “logo”
que expressa o caráter conclusivo do argumento.

Leia o argumento a seguir:

Ex 2.

Todo quadrilátero que possui os ângulos opostos congruentes é paralelogramo.

Ora, o retângulo é um quadrilátero que possui os ângulos opostos congruentes.

Logo, o retângulo é paralelogramo.

2
• O que se está tentando provar?

• Qual é o fato que está sendo usado?

• Quais as palavras que asseguram os itens acima?

Cada um dos exemplos anteriores é um discurso (argumento) que encadeia proposições de


maneira a chegar a uma conclusão.

No primeiro exemplo as proposições são:

As aves são ovíparas. Premissas ou antecedentes


Ora, as galinhas são aves.

Logo, as galinhas são ovíparas. Conclusão ou conseqüente

Identifique no segundo exemplo as premissas e a conclusão.

Um argumento pode assumir várias formas na linguagem cotidiana, não existindo regras seguras
que nos permitam localizá-los mecanicamente. O que nos faz ter certeza de que estamos diante de
um argumento é o fato de que uma conseqüência sempre é extraída

Quando dizemos:

“Preste atenção: alguns retângulos não são losangos”, estamos expressando a conclusão de um
fato que poderia ter sido expresso da seguinte maneira:

Os losangos são paralelogramos que possuem os quatro lados congruentes. Os retângulos, exceto
os quadrados, mesmo sendo paralelogramos, não possuem os quatro lados congruentes, Logo,
alguns retângulos não são losangos.

No exemplo, as premissas foram omitidas e apenas a conclusão foi exposta. A passagem das
premissas para a conclusão corresponde à inferência. A inferência (do latim “inferre” que significa
levar para) é portanto, um processo de pensamento através do qual passamos das premissas para
a conclusão.

Quando a relação entre antecedente e conseqüente existe, a inferência é dita válida. Quando a
relação entre antecedente e consequente é apenas aparente, não havendo condução do
antecedente para o consequente, estamos diante de uma inferência inválida.

3
Uma inferência, porém, pode ser válida ou inválida e proposições podem ser verdadeiras ou falsas.

Dizemos que uma inferência é válida quando existe uma relação entre a premissa e a conclusão e
esta relação liga, de fato, o antecedente ao consequente. Neste caso dizemos que o argumento é
válido. Se ao contrário, a relação que existe entre premissa e conclusão é apenas aparente e não
conduz o antecedente ao consequente, a inferência é inválida e o argumento não é correto. Neste
último caso estamos diante de uma falácia.

Diante do que foi exposto perguntamos: um argumento que expressa uma inferência válida é
necessariamente verdadeiro, ou não? Vamos estudar alguns exemplos:

1. Todo retângulo é paralelogramo Antecedente verdadeiro


Todo quadrado é retângulo

Inferência válida

Todo quadrado é paralelogramo


Consequente verdadeiro

2. Todo retângulo é quadrado.


Antecedente falso
Todo quadrado é losango.

Inferência válida

Todo retângulo é losango. Consequente falso

3. Todo losango é retângulo. Antecedente falso


Todo losango é quadrado.

Inferência não válida

Consequente falso
Todo retângulo é quadrado.

4
4. Todo quadrado é um paralelogramo.
Antecedente verdadeiro
Todo quadrado é um quadrilátero
Inferência não válida

Todo paralelogramo é um quadrilátero. Consequente verdadeiro


Os exemplos mostram que uma inferência válida não pressupõe antecedente e conseqüente
verdadeiros. Logo um argumento válido não é constituído, necessariamente, de proposições
verdadeiras.

Uma proposição é verdadeira quando corresponde ao fato que expressa. Um argumento é válido
quando sua conclusão é conseqüência lógica de suas premissas.

Os exemplos 1 e 2 nos mostram dois argumentos válidos. No segundo apesar de premissas e da


conclusão falsas a inferência é válida, ou seja, existe uma ligação lógica entre antecedente e
consequente. Utilizando o diagrama de Venn podemos ilustrar os exemplos apresentados:

1.

Quadrado Retângulo

Paralelogramo

2.

retângulo quadrado

losango

3.

losango retângulo
quadrado

5
4.

quadrado
paralelogramo
quadrilátero

No exemplo 1 toda a classe dos quadrados está incluída na classe dos retângulos, que está
incluída em sua totalidade na classe dos paralelogramos. Por uma inferência lógica toda a classe
dos quadrados está incluída na classe dos paralelogramos. No exemplo 2 toda a classe dos
retângulos está incluída na classe dos quadrados que por sua vez está totalmente incluída na
classe dos losangos. Por uma inferência lógica, a classe dos retângulos está incluída na classe
dos losangos, o que torna o argumento válido. Chamamos a atenção para o fato de
antecedente e consequente serem reconhecidamente falsos.

No exemplo 3 toda a classe dos losangos está incluída na classe dos retângulos e também na
classe dos quadrados. Fica, portanto impossível determinar se a classe dos retângulos está
incluída na classe dos quadrados ou se a classe dos quadrados está incluída na classe dos
retângulos (ver figura a seguir). Assim não é possível estabelecer uma inferência lógica entre a
premissa e a conclusão. Neste caso antecedente e consequente são reconhecidamente
falsos.

Losango Retângulo

Quadrado

Losango Quadrado

Retângulo

6
No exemplo 4 toda a classe dos quadrados está incluída na classe dos paralelogramos e na classe
dos quadriláteros, assim como no exemplo 3 fica impossível decidir se a classe dos
paralelogramos está incluída na classe dos quadriláteros, ou se a classe dos quadriláteros está
incluída na classe dos paralelogramos (ver figura a seguir). Nesse exemplo antecedente e
consequente são reconhecidamente verdadeiros. O que torna o argumento incorreto é o fato da
inferência não ser válida.

Quadrado Paralelogramo

Quadrilátero

Quadrado Quadrilátero

Paralelogramo

A lógica é a ciência que estuda os métodos e princípios da argumentação. Ela pode ser definida
também como a investigação das condições em que a conclusão de um argumento é sustentada
por suas premissas. Lógica, que vem do grego logos, significa “palavra”, “dito”, “argumento”,
“razão”, “justificação”, entre outras coisas. O principal objetivo da lógica é efetuar a análise lógica
dos argumentos, avaliando suas correções. O trabalho do lógico é recorrer às leis de inferência
para saber se um argumento está bem estruturado.

A Lógica Matemática adota como regras os princípios básicos:

I – PRINCÍPIO DA IDENTIDADE – Todo objeto é igual a si mesmo.

II – PRINCÍPIO DA NÂO CONTRADIÇÃO – Uma proposição não pode ser verdadeira e falsa ao
mesmo tempo.

III – PRINCÍPIO DO TERCEIRO EXCLUÍDO – Toda proposição ou é verdadeira ou é falsa, uma


das duas condições se verifica e não uma terceira.

7
1. Verifique se são possíveis as combinações abaixo e apresente um argumento de cada.

ANTECEDENTE CONSEQUENTE INFERÊNCIA


1. Falso Verdadeiro Válida
2. Falso Verdadeiro Não válida
3. Verdadeiro Falso Não válida
4. Verdadeiro Falso Válida

2. Elabore uma tabela com todas as possibilidades de uma inferência válida e mostre um exemplo
de cada uma, utilizando argumentos matemáticos.

A análise de um argumento pode ser realizada seguindo-se os passos:

 Troca-se a linguagem do argumento por uma linguagem simbólica, a fim de excluir qualquer
interferência do conhecimento do leitor sobre os conteúdos envolvidos;

 Verifica-se a validade da inferência expressa através da linguagem simbólica estabelecida


no item acima;

 Decreta-se a validade ou não do argumento.

Procedendo dessa forma estamos fazendo a análise lógica de um argumento e trabalhando no


domínio da lógica simbólica.

Analisemos o argumento:

Todo losango é paralelogramo.

Ora, todo quadrado é losango.

Logo, todo quadrado é paralelogramo.

Trocando-se as palavras losango, paralelogramo e quadrado pelas letras A, B e C


respectivamente, escrevemos o argumento da seguinte maneira:

8
Todo A é B.

Ora todo C é A.

Logo, todo C é B.

De fato, ao escrevermos um argumento através da linguagem simbólica eliminamos qualquer


possibilidade de intervirmos com o conhecimento que temos do assunto na avaliação da inferência.

O argumento acima parte de uma sentença mais geral para uma menos geral. Todo losango é
paralelogramo é mais geral do que todo quadrado é paralelogramo pelo fato dos quadrado estarem
incluídos nos losangos. Esse tipo de argumento demonstrativo que parte de uma sentença mais
geral para uma menos geral é chamado de “argumento dedutivo”.

Outro tipo de argumento demonstrativo é o argumento indutivo. No argumento indutivo a partir de


dados singulares, chegamos a proposições gerais, ou universais. Vejamos os argumentos:

1. 120 é divisível por 5. (A)

Todos os números inteiros que terminam por 0 são divisíveis por 5. (B)

Da proposição particular A obtivemos a proposição geral B, que é verdadeira.

2. 120 é divisível por 5. (A)

Todos os números inteiros formados por três algarismos são divisíveis por 5. (B)

Da proposição particular A obtivemos a proposição geral B, que é falsa.

1. Considere o trinômio x2 + x + 41.

a) Substitua a variável x pelos números 0,1,2,3,.......

b) Esses números possuem alguma(s) característica(s) em comum? Qual(is)?

c) Substitua agora x por 40. O resultado encontrado é um número com a(s) mesma (s)
característica(s) dos números do item b?

d) Tente escrever esse exemplo como um argumento indutivo, mesmo que ele seja
falso.

“A indução é amplamente utilizada na Matemática, mas é preciso ter cuidado na sua aplicação,
pois precipitação pode levar a conclusões falsas” (SOMINSKI,I S)

2. Leia a tirinha a seguir e responda as perguntas:

a) Explique por que a pergunta de Zero pressupunha uma resposta lógica.

9
b) Explique de que tipo é a resposta do General.

Extraído de: Filosofando Introdução à Filosofia.

3. Nos argumentos abaixo:

a) Identifique antecedente e consequente.

b) Verifique a veracidade dos antecedentes e conseqüentes.

c) Verifique em cada caso se a inferência é válida ou não.

d) Classifique os argumentos em dedutivos ou indutivos.

I – Todo paralelogramo que tem dois lados adjacentes congruentes é losango.

Ora, o quadrado tem dois lados adjacentes congruentes.

Logo o quadrado é losango.

II - Todo número inteiro terminado em número ímpar é primo.

O número 59 termina em número ímpar.

Logo o número 59 é primo.

III - As diagonais do paralelogramo ABCD cortam-se ao meio.

Em todo paralelogramo as diagonais se cortam ao meio.

Analogia

A analogia é um caso de indução. Podemos dizer que é um raciocínio por semelhança.

Maria sarou da gripe tomando vitamina C.

Logo Carlos também vai sarar da gripe tomando vitamina C.

10
A analogia fornece apenas a probabilidade de que algo aconteça. Mesmo não oferecendo certeza,
a analogia é importante para o conhecimento. Uma prova disto é que através dela experimentos
feitos em cobaias servem de apoio nas descobertas de vacinas e doenças dos seres humanos,
uma vez que as reações das cobaias podem ser estendidas para os humanos.

Operações lógicas sobre proposições

conectivos lógicos

As operações lógicas são operações realizadas sobre proposições e obedecem a certas regras de um
cálculo, denominado cálculo proposicional, semelhante ao da aritmética sobre os números. Analisemos
a seguinte sentença:

“Se Pedro chora, então Maria acorda”

Existem dois termos de ligação que articulam as duas sentenças: “se” e “então”, que ligam “Pedro
chora” e “ Maria acorda” . A sentença “Se Pedro chora , então Maria acorda” é formada portanto, por
duas outras e por isso é chamada sentença complexa. Os termos que fazem a ligação entre as duas
sentenças (“Se ... então”) são chamados termos lógicos ou conectivos. Os principais conectivos são:
negação, conjunção, disjunção, condicional, equivalência ou bicondicional. Esses conectivos é que
estabelecem relações lógicas bem definidas entre sentenças. Estudaremos cada uma separadamente.

Negação (~)

Comecemos explorando o seguinte exemplo: Maria não dorme. Partimos da sentença contrária a esta:
Maria dorme.

Esta sentença pode ser escrita também como:

É o caso que Maria dorme.

A negação desta sentença pode ser escrita como:

Não é o caso que Maria dorme.

Que também pode ser:

Não Maria dorme.

Esta última não deixa dúvida quanto a negação do fato de que Maria dorme.

Se a nossa proposição é: Maria dorme, Maria não dorme ou Não Maria dorme tem o valor lógico oposto
da proposição inicial.

11
Simbolicamente, se p é a proposição, a sua negação é ~ p (não p). Assim, ~ p tem valor lógico
oposto daquele de p.

Podemos obter uma tabela – verdade para o valor lógico da negação de uma proposição, tomando-se
como p a proposição, ~ p a sua negação, V verdadeiro e F falso:

p ~p
V F
F V

Observe que o operador de negação modifica simetricamente o valor da proposição p. Na verdade,


estamos diante de uma função matemática, que a partir de um valor inicial (entrada ou input), obtém um
valor final (saída ou output).

Na teoria dos Conjuntos a negação corresponde ao complemento. Estabelecendo como U o conjunto


universo e como A um conjunto qualquer, dentro do universo U, todos os elementos que pertencem a U
e não pertencem a A são aqueles que pertencem ao complementar de A . Esta operação pode ser
ilustrada através do diagrama:

U
A ~A

Na linguagem dos conjuntos: ~ A = { x ∈U / x ∉ A}

Conjunção (^)

Analisemos agora as duas sentenças, Pedro chora e Maria acorda. A primeira sentença pode ser
verdadeira ou falsa e a segunda também. Porém, como as duas estão relacionadas pelo conectivo “e” o
valor lógico da proposição depende do valor de cada sentença, como mostra a tabela a seguir:

Pedro chora Maria acorda Pedro chora e Maria acorda


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

O conectivo e é representado pelo símbolo ^. No exemplo acima, chamando a primeira sentença de p

12
e a segunda de q a tabela verdade para este caso é:

P q P^q
V V V
F V F
V F F
F F F

Aqui também podemos pensar em uma função, partindo dos valores de entrada de p e q obtemos um
valor de saída para p ^ q. No caso da conjunção, o valor de p ^ q só será verdadeiro se as duas
sentenças o forem.

Exemplos:

5. p: O número 2 é par ( V )

q: 5 < 7 ( V )

p ^ q: O número 2 é par e 5 < 7. ( V )

6. p: O número 2 é ímpar ( F)

q: 5 < 7 ( V )

p ^ q: O número 2 é par e 5 < 7. ( F )

7. p: O número 2 é par (V)

q: 5 > 7 (F)

p ^ q: O número 2 é par e 5 > 7. (F)

8. p: O número 2 é ímpar (F)

q: 5 > 7 (F)

p ^ q: O número 2 é par e 5 > 7. (F)

A conjunção corresponde à operação de interseção entre conjuntos. A interseção de dois conjuntos A


e B é o conjunto dos elementos que pertencem a A e a B. Pelo diagrama de Venn temos:

A B

13
Na linguagem dos conjuntos: A ∩ B = { x / x ∈ A e x ∈ B}

Pensando nestes dois conjuntos e nas possibilidades de um elemento x pertencer a eles temos:

x ∈A e x ∈B
x ∉A e x ∈B
x ∈A e x ∉B
x ∉A e x ∉B

Dessas possibilidades a única que representa a interseção dos conjuntos é a primeira. Isto equivale a
dizer que quando as duas sentenças são verdadeiras temos a única expressão da interseção.

Disjunção

A disjunção na lógica é indicada pela palavra “ou”. O seu caráter ambíguo é sua característica
principal. “Ou” tem tanto um caráter inclusivo quanto exclusivo.

Disjunção exclusiva (w)

A disjunção exclusiva talvez seja a mais utilizada na Matemática. Na disjunção exclusiva de duas
proposições apenas uma delas é admitida, não podendo ocorrer as duas ao mesmo tempo.

Ex. Mário é mineiro ou paulista.

Não é possível que Mário seja mineiro e paulista ao mesmo tempo, ou ele é mineiro, ou ele é paulista.
Na tabela a seguir podemos ver as possibilidades dos valores para as sentenças e para a disjunção:

Mário é mineiro Mário é paulista Mário é mineiro ou paulista


V V F
V F V
F V V
F F F
Trocando as sentenças pelas letras p e q, respectivamente:

p q pwq
V V F
V F V
F V V
F F F
Aqui também podemos pensar em uma função P w q que é verdadeira ou falsa de acordo com os
valores de verdade para p e q. Com relação à teoria dos conjuntos a disjunção exclusiva está
relacionada com a operação entre dois conjuntos, como indicada no diagrama:

A B

14
x ∈ A ou x ∈ B
( A ∪ B ) − ( A ∩B )

Disjunção inclusiva (v)

Na disjunção inclusiva uma possibilidade não exclui a outra. Veja:

1) p: Belo Horizonte é a capital de Minas Gerais. (V)


q: 3>5 (F)

Belo Horizonte é a capital de MG ou 3>5 (V)

2) p: Paris é a capital da França (V)


q: 3<5 (V)

Paris é a capital da França ou 3<5. (V)

3) p: Paris é a capital da Inglaterra. (F)


q: 3< 5. (V)

Paris é a capital da Inglaterra ou 3< 5. (V)

4) p: Paris é a capital da Inglaterra. (F)


q: 3<2. (F)

Paris é a capital da Inglaterra ou 3 < 2. (F)

A tabela-verdade para a disjunção inclusiva fica assim:

p q pvq
V V V
V F V
F V V
F F F

Relacionando a disjunção inclusiva com a teoria de conjuntos fica claro que ela significa a união de dois
conjuntos. De fato, se um elemento x pertence à união dos conjuntos A e B, então ele pertence ao
conjunto A ou ao conjunto B. Veja o diagrama:

A B

A ∪B ={x / x ∈a ou x ∈B}

Condicional ( ⇒ )

A condicional relaciona duas sentenças de maneira que se a primeira delas é verdadeira a segunda
também o é.

15
Ex.1) p: A Lua é redonda. (V)
q: Marte é um planeta. (V)

Se a Lua é redonda, então Marte é um planeta. (V)

2) p: A Lua é redonda. (V)


q: Marte tem luz própria. (F)

Se a Lua é redonda, então Marte tem luz própria. (F)


Observe que mesmo que a Lua não fosse redonda, ainda assim Marte tem luz própria continuaria
sendo falsa. Então, o fato da Lua ser redonda não implica em Marte ter luz própria.

3) p: A Lua é quadrada. (F)


q: Marte é um planeta. (V)

Se a Lua é quadrada, então Marte é um planeta. (V).

Nesse caso, qualquer que fosse o antecedente o consequente sempre seria verdadeiro, ou seja,
qualquer fato poderia implicar no fato de Marte ser um planeta, pois ele já o é, independente de
qualquer outra informação. Portanto podemos concluir que se a Lua é quadrada, Marte é um planeta.

4) p: A Lua é quadrada. (F)


q: Marte tem luz própria. (F)

Se a Lua é quadrada, então Marte em luz própria. (V)

Observe que: “Se a Lua não fosse quadrada, então Marte não teria luz própria.” A implicação nesse
caso é verdadeira.
Podemos fazer uma tabela-verdade para a condicional:

p q p ⇒ q
V V V
V F F
F V V
F F V

Pense nos seguintes exemplos e efetue as operações lógicas:

4. Se Pedro Álvares Cabral era alemão, então o dia tem 20 horas.


5. Se 2 = 3, então π é um número irracional.
6. Se tg 45° = 1, então 1 = 2.
7. Se a galinha é ovípara, então o elefante é mamífero.

Relacionando a condicional com a teoria de conjuntos, se um elemento pertence a um conjunto A,


então ele pertence ao conjunto B, significa que o conjunto A está contido no conjunto B. Veja o
diagrama.

B
Se x ∈A ⇒x ∈B.
A ⊂B

A
16
Equivalência ou bicondicional ( ⇔ )

A equivalência ou bicondicional estabelece uma relação de sentido duplo nas sentenças envolvidas, por
isso o símbolo utilizado é a seta para os dois lados. Este símbolo também é conhecido como se e
somente se.

Ex. A Lua é redonda se e somente se a Terra é redonda.

Analisemos as possibilidades de valor de uma equivalência.

• p: A Lua é redonda. (V)


q: A Terra è redonda. (V)
A Lua é redonda se e somente se a Terra è redonda. (V)

Essa situação é a mais comum e fácil de avaliar.

• p: A Lua é redonda. (V)


q: A Terra è quadrada. (F)
A Lua é redonda se e somente se a Terra é quadrada. (F)

Observemos que a Terra é quadrada será sempre falsa, independente de a Lua é redonda ser
verdadeira ou falsa. A implicação ⇒ é falsa. Se observarmos que na bicondicional temos duas
implicações, se uma delas for falsa, a equivalência (bicondicional) será falsa. Pra ser verdadeira uma
bicondicional deve ter as duas implicações verdadeiras.

• p: A Lua é quadrada. (F)


q: A Terra è redonda. (V)

A Lua é quadrada se e somente se a Terra é redonda. (F)

Observe que como estamos tratando da equivalência, temos que analisar a implicação ⇐ , que nesse
caso é falsa pela mesma razão do exemplo 2. Logo a equivalência é falsa.

• p: A Lua é quadrada. (F)


q: A Terra è quadrada. (F)

A Lua é quadrada se e somente se a Terra é quadrada. (V)

Nesse caso as duas implicações são verdadeiras, logo a equivalência também é.


A tabela-verdade para a bicondicional fica assim:

p q p ⇔ q
V V V
V F F
F V F
F F V

Relacionando a bicondicional com a teoria de conjuntos, pensando que se um elemento pertence a um


conjunto A, se e somente se ele pertence ao conjunto B, significa que o conjunto A é igual conjunto B.
Veja o diagrama.
x ∈A ⇔x ∈B.
A =B
A=B
17
Tabela Verdade

As proposições podem ser combinadas de várias maneiras através dos conectivos lógicos.
Se duas proposições são p e q, podemos combiná-las:

p ∧q ;
p ∨q ;
p ∧~ q ;
~ p w q , etc.

O nosso objetivo nesse momento é estudar os valores lógicos dessas proposições quando combinadas.
Esse tipo de proposição é chamado proposição composta,
Para a verificação do valor de uma proposição composta utilizamos um recurso chamado tabela-
verdade.

Construção de uma tabela-verdade:


Vamos avaliar o valor das proposições compostas:

1- P ( p, q ) = p ∧~ q .
1º) Abrimos uma tabela com as colunas p, q, ~q, p ∧~ q.

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

2º) Registramos os valores para as proposições p e q, em seguida para ~q e finalmente avaliamos p ∧


~ q.
Os valores lógicos de P (p, q) são os encontrados na última coluna. Como conclusão da avaliação
escrevemos P (V V, VF, FV, FF) = (V,F,F,F).

2- P (p, p) = p → p

p p →p
V V
F V
P (V, F) = (V,V)

3-
P(p,p) p → ~~p
P(p,p)~~p → p
P(p,p) = p ↔ ~~p

p ~p ~~p p → ~~p ~~p → p p ↔ ~~p


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

Nas três proposições acima os valores de verdade são V. Essas proposições são chamadas
tautologias.

18
Tautologia é toda proposição composta onde o valor lógico é sempre verdadeiro.
As tautologias são ditas também proposições logicamente verdadeiras.
4- De acordo com a definição de tautologia, p ∨ ~p é uma tautologia, veja:

p q ~p p ∧ q p ∧ ~p p ∨ ~p
V V F V F V
V F F F F V
F V V F F V
F F V F F V

Proposições como p ∧ q, que apresentam valores verdadeiros e valores falsos são chamadas
contingências.
Proposições que apresentam somente valores falsos são chamadas contradições. No exemplo p ∧ ~p
é uma contradição.
Das três expressões as mais significativas são os tautologias, pois se aplicam a todos os casos
possíveis. Sua validade é universal. A contradição também é importante por indicar o que uma
expressão válida não pode ser. Podemos observar que a negação de uma contradição é uma
tautologia. A proposição que apresenta um interesse menor é a contingência, por oscilar em verdadeira
e valsa.
Podemos estabelecer uma relação entre as tabelas verdade e a idéia de função, tomando como
conjunto universo os valores das proposições simples e fazendo-os corresponder aos valores V OU F
do conjunto de chegada.
No exemplo 1 temos:

VV
V
VF

FV F

FF

No exemplo 4 temos:

VV

VF
V
FV

FF

Nesse exemplo observamos que os valores de p e ~~p são equivalentes. Isso é, negar uma negação
significa afirmar. Se dissermos “João não estudou nada” significa que “João estudou tudo”.

19
Como os valores de verdade de p → ~~p; ~~p → pep ↔ ~~ p são todos verdadeiros, dizemos
que essas expressões são “tautologias”.

5- Faça você mesmo a tabela-verdade para P (p,q) ↔ (p ∧ q) → p.

6- Verifique se as proposições são contradições, tautologias ou contingências:

a) (p → q) ↔ ~(~p ∨ q) (tautologia)

p q ~p p → q ~p ∨ q ~(~p ∨ q) ↔
V V F V V F F
V F F F F V F
F V V V V F F
F F V V V F F

b) (p → q) → (~q → ~p)

c) (p ∨ q) → (p ∧ q)

Faça um diagrama de cada proposição acima.

Implicação Lógica
A partir de agora faremos uma distinção entre os sinais → (se ... então) e ⇒ (implicação lógica). A
condicional se refere a uma operação entre proposições e a implicação a uma relação lógica entre
proposições tautológicas.

Definição:
Diz-se que uma proposição P implica logicamente uma proposição Q, ou simplesmente implica uma
proposição Q se Q é verdadeira toda vez que P é verdadeira.

P ⇒ Q

1) P ⇒ P
2) P ⇒ Q
Q ⇒ R
P⇒ R

Exemplos:
1) Vamos construir a tabela-verdade para as seguintes proposições:
p ∧ q; p ∨ q; p ↔ q

p q p∧ q p∨ q p↔q
V V V V V
V F F V F
F V F V F
F F F F V

Observamos que p ∧ q é verdadeira somente na primeira linha, na qual as demais proposições são
verdadeiras. Portanto, podemos escrever:

p∧ q ⇒ p∨ q p∧ q → p↔q
p ∧ q ⇒ p; p ∧ q ⇒ q (Regra da simplificação)
p ⇒ p ∨ q; q ⇒ p ∨ q (Regra da adição)

20
Como o próprio nome já diz podemos simplificar a conjunção ficando com uma das expressões.

2) Vamos construir a tabela verdade para: p ↔ q, p → q, q → p.

p q p→ q q→ p p↔q
V V V V V
V F F V F
F V V F F
F F V V V

p ↔ q é verdadeira na primeira e quarta linhas, e p →q e q → p também.


Logo:
p ↔q ⇒q →p
p ⇔q ⇒p →q
P: João lê
Q: Maria dorme

Exemplo: João lê se somente se Maria dorme implica que Maria dorme se João lê.
João lê se somente se Maria dorme implica que João lê se Maria dorme.

3) Construir a tabela para a proposição (p ∨ q) ∧ ~p


p q ~p p∨ q (p ∨ q) ∧ ~p
V V F V F
V F F V F
F V V V V
F F V F F

(p ∨ q) ∧ ~p é verdadeira na terceira linha, na qual q também é. Logo podemos escrever:

(p ∨ q) ∧ ~p ⇒ q p: João lê
q: Maria ri

João lê ou Maria ri e João não lê, implica Maria ri.

Esta regra de inferência é chamada silogismo disjuntivo.

4) A tabela verdade da proposição (p → q) ∧p


p q p→q (p → q) ∧p
V V V V
V F F F
F V V F
F F V F

Observe que (p → q) ∧ p é verdadeira apenas na primeira linha, na qual é verdadeira também a


proposição q. Logo podemos escrever:
(p → q) ∧ p ⇒ q
Esta regra é chamada Modus ponens.

Exemplo:
1) Se p então q
p
logo q.

21
2) Se José chora estão Maria ri
José chora.
Então Maria ri.

4) Sejam as proposições (p → q) ∧ ~q e~p. A tabela-verdade dessas proposições são:

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

Na quarta linha a proposição (p → q) ∧ ~q é verdadeira e ~p também é verdadeira. Logo podemos


escrever:

(p → q) ∧ ~q ⇒ ~p

Esta regra é chamada Modus Tollens.

Exemplos:

1) Se P então Q
Não Q
Então não P.

2) p: José chora
q: Maria ri

Se José chora Maria ri.


Maria não ri.
Então José não chora.

22
23
Relação entre tautologia e implicação lógica

Uma proposição P implica logicamente uma proposição Q se e somente se P →Q é uma tautologia.

Verifique que ( p ↔q ) ∧ p ⇒q .

Equivalência lógica

Definição: Uma proposição P é logicamente equivalente a uma proposição Q, ou equivalente a Q, se as


tabelas verdades dessas proposições são idênticas.

Propriedades da equivalência

Reflexiva - P ⇔P

P ⇔Q, então
Simétrica –
Q ⇔P

P ⇔Q
Transitiva - Q ⇔R, então
P ⇔R

1- Verifique a equivalência lógica de cada uma das proposições a seguir:

a ) ~~ p ⇔ p (regra da dupla negação )


b) ~ p → p ⇔ p (regra de Clavius )
c ) p → p ∧ q ⇔p →q ( regra da absorção )
d ) p →q ⇔~ p ∨ q
e) p ↔q ⇔( p →q ) ∧ ( q → p )
f ) p ↔q ⇔( p ∧ q ) ∨ ( ~ p ∧ ~ q )

2- Uma proposição P é equivalente a uma proposição P se e somente se P ↔Q é tautológica.


Mostre as equivalências abaixo usando esta propriedade:
a ) p ∧ ~ q →c ⇔ p → q
b) p ∧ q →r ⇔ p →( q →r ) ( regra de exp ortação − importação )

3- Mostre que as proposições: x =1 ∨x ≤3 e ~ ( x < 3 ∧ x =1 ) não são equivalentes.

Proposições associadas a uma condicional

24
Dada uma proposição p →q , chamam-se proposições associadas a p →q as três proposições
associadas que contêm p e q:

a) Proposição recíproca de p →q : q → p
b) Proposição contrária de p →q : ~ p → ~ q
c) Proposição contrapositiva de p →q : ~ q → ~ p

4- Construa uma tabela verdade para as proposições acima e verifique quais são equivalentes.

5- Considere as seguintes condicionais:


a) p: quatro é maior que três. q: cinco é maior que três.
b) p: o quadrado é retângulo. q: o quadrado é paralelogramo.
Determine:
 A contrapositiva de p → ~ q
 A contrapositiva da recíproca de p →q

Negação conjunta de duas proposições

A negação conjunta de duas proposições p e q é a negação de p e de q.


A negação conjunta de duas proposições p e q também se indica como p ↓q .

p ↓q ⇔~ p ∧~ q

6- Quando é que a negação disjunta será sempre verdadeira?

Negação disjunta de duas proposições

A negação disjunta de duas proposições p e q é a negação de p ou de q.


A negação disjunta de duas proposições p e q também se indica como p ↑q .

p ↑q ⇔~ p ∨~ q

Os símbolos ↓e ↑são chamados conectivos de Scheffer.

7- Quando é que a negação conjunta será sempre verdadeira?


8- Demonstrar por tabelas verdade que os três conectivos: ~ , ∨ , ∧ exprimem-se em função do
conectivo de Scheffer do seguinte modo:
a ) ~ p ⇔p ↑p
(
b) p ∨q ⇔ p ↑ p ↑ q ↑q ) ( )
( ) (
c ) p ∧q ⇔ p ↑q ↑ p ↑q )
9- Mostre que as proposições p e q são equivalentes em cada um dos casos:
a ) p : 1 + 3 = 4; q : (1 + 3) =16
2

b) p : O triângulo ABC é isósceles ; q : Os ângulos B ˆ são iguais


ˆ eC
c ) p : sen 00 =1; q : cos 00 = 0

Álgebra das proposições

Propriedades da conjunção

1. Idempotente

25
Seja p uma proposição simples qualquer. Vale a seguinte propriedade:

p ∧ p ⇔p

É fácil verificar a equivalência acima, pois a bicondicional é p ∧ p ↔ p é tautológica.


(verifique)

Ex. x ≤ −1 ∧ x ≤ −1 ⇔x ≤ −1

2. Comutativa
Sejam p e q proposições simples quaisquer. Vale a seguinte propriedade:

p ∧ q ⇔q ∧ p

A bicondicional p ∧ q ↔ q ∧ p é tautológica, logo a equivalência acima é lógica.


(verifique)

Ex. x ≤ −1 ∧ x ≠ −2 ⇔x ≠ −2 ∧ x ≤ −1

3. Identidade

Dentro da identidade temos o elemento neutro e o elemento absorvente da conjunção.

Sejam p, q e r, proposições simples em que q é sempre V e r é sempre F. Valem as


seguintes propriedades:

p ∧ q ⇔ p . Aqui a proposição q funciona como elemento neutro.


Ex. (x ≤5 ∧ x ≥0 ⇔x ≤5)

p ∧ r ⇔ r Aqui a proposição r funciona como elemento absorvente.


Ex. ( x ≤5 ∧ x <0 ⇔ x <0 )

Propriedades da disjunção

1. Idempotente

Seja p uma proposição simples. Vale a seguinte propriedade:


p∨ p ⇔p

Ex. x ≤ −1 ∨ x ≤ −1 ⇔x ≤ −1
A bicondicional p ∨ p ↔ p é tautológica. (verifique)

2. Comutativa

Sejam p e q duas proposições simples quaisquer. Vale a propriedade:

p ∨ q ⇔q ∨ p

Ex. x ≤ −1 ∨ x ≠ −2 ⇔x ≠ −2 ∨ x ≤ −1

26
3. Associativa

Sejam p, q e r proposições simples quaisquer. Vale a propriedade:

(p ∨ q ) ∨ r ⇔ p ∨( q ∨ r )

Utilizando a tabela verdade mostramos que ( p ∨ q ) ∨ ↔p ∨( q ∨ r ) é tautológica,


portanto a equivalência é lógica. (verifique)

Ex. ( x ≥ 5 ∨ x ≠ 7 ) ∨ x ≤10 ⇔x ≥ 5 ∨( x ≠ 7 ∨ x ≤10 )

4. Identidade

Sejam p, q e r proposições simples em que q é sempre V e r é sempre F. Valem as


seguintes propriedades:

p ∨ q ⇔ q . Aqui a proposição q funciona como elemento absorvente.


Ex. ( x ≤5 ∨ x ≥0 ⇔ x ≥0 )

p ∨ r ⇔ p Aqui a proposição r funciona como elemento neutro.


Ex. ( x ≤5 ∨ x <0 ⇔x ≤5)

Propriedades da conjunção e da disjunção

1. Distributiva
Sejam p, q e r proposições quaisquer.

p ∧ ( q ∨ r ) ⇔( p ∧ q ) ∨( p ∧ r )
p ∨ ( q ∧ r ) ⇔( p ∨ q ) ∧( p ∨ r )

Você pode verificar as implicações lógicas utilizando tabelas verdade.

Ex. Ana estuda e Paulo dorme ou lê, é equivalente a:


Ana estuda e Paulo dorme ou Ana estuda e Paulo lê.

2. Absorção

Sejam p e q proposições simples quaisquer. Valem as propriedades:

p ∧ ( p ∨ q) ⇔ p
p ∨ ( p ∧ q) ⇔ p

p ∧ ( p ∨ q ) ⇔q
Mostre que as equivalências acima são lógicas e que não são
p ∨ ( p ∧ q ) ⇔q
equivalentes.

Ex. Maria estuda e Maria estuda ou brinca, é equivalente a Maria estuda.


Maria estuda ou Maria estuda e brinca, é equivalente a Maria estuda.

27
3. Regras de Morgan.

~ ( p ∧ q) ⇔ ~ p ∨ ~ q
~ ( p ∨ q) ⇔ ~ p ∧ ~ q

Você pode verificar a equivalência através das tabelas verdade de cada bicondicional
acima.
As regras de Morgan são interpretadas da seguinte maneira:
 Negar que duas proposições dadas são ao mesmo tempo verdadeiras é
equivalente a dizer que pelo menos um delas é falsa.
 Negar que pelo menos uma proposição de duas é verdadeira é equivalente a
dizer que as duas são falsas.

Ex. a) Ana é inteligente e estuda. Negando a proposição temos:

Ana não é inteligente ou não estuda.

b) Ana é médica ou advogada. Negando a proposição temos:

Ana não é médica e não é advogada.

Negação da condicional

Para encontrarmos a negação de uma condicional partiremos de uma equivalência


conhecida: p →q ⇔ ~ p ∨ q .
~ ( p →q ) ⇔ ~ ( ~ p ∨ q ) ⇔~~ p ∧ ~ q

~ ( p →q ) ⇔ p ∧ ~ q

Ex. Se você estuda eu brinco. Negando a condicional:

Você estuda e eu não brinco.

Negação da bicondicional

Para encontrarmos a negação de uma bicondicional partiremos de uma equivalência


conhecida: p ↔q ⇔( p →q ) ∧ ( q →p ) . Negando a bicondicional:

p ↔ q ⇔ ( p →q ) ∧ ( q →p )
~ ( p ↔ q ) ⇔~ [( p →q ) ∧ ( q →p ) ]
~ ( p ↔ q ) ⇔~ ( p →q ) ∨~ ( q →p )
~ ( p ↔ q ) ⇔( p ∧~ q ) ∨ ( q ∧~ p )

Ex. Maria estuda se e somente se João lê. Negando a bicondicional:

Maria estuda e João não lê ou Maria não estuda e João lê.

28
Exercícios

1. Dê cada uma das negações em linguagem corrente:


a) É falso que não está frio ou que está chovendo.
b) Não é verdade que o pai de Marcos é pernambucano ou que a mãe é gaúcha.
c) Não é verdade que as vendas estão diminuindo e que os preços estão aumentando.
d) Não é verdade que Jorge estuda Física, mas não Química.

2. Decida quem roubou o livro.

Desapareceu um livro de Lógica em japonês da estante do professor Ciro Gismo


Tanakara. Após exaustivas investigações, 5 suspeitos são detidos para interrogatório
(Aristóteles, Sócrates, Platão, Descartes e Euclides). Cada um deles faz 3
declarações, sendo 2 verdadeiras e 1 falsa. Seus depoimentos são:

Aristóteles: Não fui eu.


Nunca me interessei por lógica.
Quem roubou o livro foi Descares.

Sócrates: Não fui eu.


Não entendo japonês.
Todos os envolvidos alegam inocência.

Platão: Sou inocente.


Descartes é o culpado.
Nunca vi o Euclides antes de hoje.

Descartes: Sou inocente.


Euclides é o ladrão.
Aristóteles mentiu, ao me acusar.

Euclides: Não fui eu.


Sócrates é o culpado.
Platão e eu somos velhos amigos.

Machado & Cunha- Lógica e linguagem cotidiana. Ed. Autêntica, 2005

Método Dedutivo

Consiste em demonstrar ou deduzir a conclusão B a partir das premissas A1 , A2 , A3 ,


A4... , An , aplicando as EQUIVALÊNCIAS LÓGICAS e as REGRAS DE INFERÊNCIA .

Exemplo : Demonstrar a validade do argumento p, q → r,~r,~q


Demonstração :
1. p premissa
2. q → r premissa
3. ~r premissa
4. ~q Modus Tollens

29
Exemplo :Demonstrar a validade do argumento ~p → q , q →~ r , r ∨ s , ~ s → p
Demonstração :
1. ~p → q premissa
2. q → ~ r premissa
3. r ∨ s premissa
4. ~p → ~r Silogismo Hipotético
5. ~r → s Def. de implicação
6. ~p → s Silogismo Hipotético
7. ~s → ~~p Contraposição
8. ~s → p Negação

Demonstre: a) ( p ∨q ) ∧~ p ⇒q .
b) p ∧( p ∨q ) ⇔p
c) p ∨( p ∧q ) ⇔p

As regras de inferência são muito úteis na dedução de conclusões a partir de premissas


dadas.

Exemplos.

1. Regra da adição

A partir de uma proposição p pode-se deduzir a sua disjunção com qualquer uma outra
proposição.

a) Premissa p c) Premissa p ∨q
Conclusão p ∨~ q Conclusão (r ∧ s ) ∨( p ∨ q )

b) Premissa ~p d) Premissa x <1


Conclusão q ∨~ p Conclusão x <1 ∨ x=2

2. Regra da simplificação

A partir da conjunção p ∧ q se pode deduzir qualquer uma das duas proposições, p ou


q.

a) Premissa (p ∨ q) ∧ r c) Premissa p ∧ ~q
Conclusão p ∨q Conclusão ~q

b) Premissa r ∧( q ∨ ~ p ) d) Premissa x <1 ∧ x ≠ 0


Conclusão q ∨~ p Conclusão x <1

30
3. Regra da conjunção

A partir de duas proposições é possível deduzir a conjunção de ambas.

a) Premissa (p ∨ q) c) Premissa x ∈A
Premissa ~r Premissa x ∉B
Conclusão (p ∨ q) ∧ ~ r Conclusão x ∈A ∧x ∉B
b) Premissa p∨ q d) Premissa x <1
Premissa q ∨r Premissa x > −5
Conclusão (p ∨ q ) ∧( q ∨ r ) Conclusão x <1 ∧ x > −5

4. Regra da absorção

A partir da condicional p →q é possível deduzir p → p ∧ q


a) x = 5 →x <7 b) x ∈A →x ∈B
Premissa Premissa
Conclusão Conclusão x ∈A →x ∈A ∧x ∈B
x = 5 →x =5 ∧ x <7

5. Regra Modus Ponens

a) p →q c) x ≠ 2 →x = y
Premissa Premissa
Premissa p Premissa x ≠2
Conclusão q Conclusão x =y

b) ( p ∨ q ) →r d) x ∈A →x ∉B
Premissa Premissa
Premissa p ∨ q Premissa x ∈A
Conclusão r Conclusão x ∉B

6. Regra Modus Tollens

a) p →q c) x ≠ 2 →x = y
Premissa Premissa
Premissa ~q Premissa x ≠y
Conclusão ~p Conclusão x =2

b) ( p ∨ q ) →r d) x ∈A →x ∉B
Premissa Premissa
Premissa ~ r Premissa x ∈B
Conclusão ~ ( p ∨ q ) Conclusão x ∉A

31
7. Regra do silogismo disjuntivo

a) ( p ∧ q) ∨ r c) x ≠2 ∨ x = y
Premissa Premissa
Premissa ~ r Premissa x ≠y
Conclusão ( p ∧ q ) Conclusão x ≠2

b) ~ p∨~q d) x ∈A ∨ x ∉B
Premissa Premissa
Premissa ~ ~p Premissa x ∈B
Conclusão ~ q Conclusão x ∈A

8. Regra do silogismo hipotético (transitividade)

a) (p ∧ q ) →r c) x ≠ 2 →x = y
Premissa Premissa
Premissa r →t Premissa x =y →x = 3
Conclusão (p ∧ q ) →t Conclusão x ≠ 2 →x = 3

b) ~ p→~q d) x ∈A →x ∉B
Premissa Premissa
Premissa ~ q →t Premissa x ∉B →x ∈C
Conclusão ~ p →t Conclusão x ∈A →x ∈C

9. Regra do dilema construtivo

a) (p ∧ q ) →~ r c) x ≠ 2 →x = y
Premissa Premissa
Premissa s →t Premissa x ≠5 →x < y
Premissa (p ∧q ) ∨ s Premissa x ≠ 2 ∨x ≠ 5
Conclusão ~ r ∨t Conclusão x = y ∨ x <y

10. Regra do dilema destrutivo

a) (p ∧ q ) →~ r b) x ≠ 2 →x = y
Premissa Premissa
Premissa s →t Premissa x ≠5 →x < y
Premissa ~~ r∨~ t Premissa x ≠ y ∨x ≥ 5
Conclusão ~ ( p ∧ q ) ∨~ s Conclusão x = 2 ∨ x =5

Exercícios

1. Construir o argumento (premissas e conclusão) correspondente a cada uma das


seguintes condicionais:

32
a) p ∧ ( q ∨ ~ p ) →q
b) ( p →q ) ∧( p ∧~ q ) →s
c) ~ ( x <0 ∧ y ≠ x ) →x ≤ 0 ∨ y = x

Exercícios do livro Iniciação à lógica matemática: Páginas 97 e 98, exercícios 4


ao 9.

LISTA FINAL DE FUNDAMENTOS DE ÁLGEBRA

Contra-exemplo

Para mostrar que uma proposição do tipo ∀x ∈A , p ( x ) é falsa, basta mostrar que a
sua negação é verdadeira, ou seja, ∃ x∈A , ~ p ( x ) é verdadeira. Isto significa mostrar
que existe pelo menos um elemento x0 de A de maneira que p(x0) é uma proposição falsa.

Exemplos:

( )
a) A proposição ( ∀ x ∈ℜ) x 2 > x é falsa, pois, para x =
1
2
1 1
, x 2 = < . Portanto,
4 2
1
x = é um contra-exemplo.
2
b) Sendo A ={3, 5, 7, 9} , (∀x ∈A )( x +3 ≥7 ) é falsa, pois, para
x =3, x +3 =6 <7 . Portanto, x = 3 é um contra-exemplo.

Exercícios

1. Sendo A ={2, 3, ..., 8, 9} dar um contra-exemplo para cada uma das seguintes
proposições:

a ) (∀ x ∈A)( x + 5 <12 )
(
b) (∀ x ∈A) x 2 >1 )
c ) (∀ x ∈A) (0 x
=0 )
d ) (∀ x ∈A)( x é primo )
e) (∀ x ∈A)( x é par )
f ) (∀ x ∈A)( x é divisor de 72 )

2. Conclua cada argumento abaixo, de acordo com as premissas apresentadas,


justificando:

a) P1 ( a + b ) = 3 → a = b c) P1 x ≠ 4 →x > 4
P2 ( a + b ) = 3 P2 x > 4 → x = 8

b) P1 a + b = 3 ∨ ( a + b ) <3 d ) P1 x ≠ 3 →x < 4
P2 ( a + b ) ≥ 3 P2 x ≠ 4 → x < 5
P3 x ≥ 4 ∨ x ≥ 5

33
3. Construa três argumentos e demonstre-os através das regras de inferências estudadas.

Bibliografia

PINTO, Paulo Roberto Margutti – Introdução à Lógica Simbólica. Editora UFMG – 2006
ARANHA Mara Lúcia de Almeida, MARTINS Maria Helena Pires. Filosofando – Introdução
à
Filosofia. Editora Moderna. ed. 2003
FILHO, Edgard de Alencar. Iniciação à Lógica Matemática. Editora Nobel, 1986
SOMINSKI, I. S. Método de indução Matemática. (tradução de Gelson Iezzi) Atual
editora. 1996

34

Vous aimerez peut-être aussi