Lógica e conjuntos licenciatura em matemática

Logica e Conjuntos – licenciatura em matemática = PDF DOWNLOAD

LÓGICA E

CONJUNTOS

LICENCIATURA EM

MATEMÁTICA

Ministério da Educação – MEC

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Universidade Aberta do Brasil

Instituto Federal de Educação, Ciência e Tecnologia do Ceará

MINISTÉRIO DA EDUCAÇÃO

Universidade Aberta do Brasil

Instituto Federal de Educação, Ciência e Tecnologia do Ceará Diretoria de Educação a Distância

Licenciatura em Matemática Lógica e Conjuntos

Francisco Gêvane Muniz Cunha

Fortaleza, CE 2008

CRÉDITOs

Presidente

Luiz Inácio Lula da Silva

Ministro da Educação

Fernando Haddad

Secretário da SEED

Carlos Eduardo Bielschowsky

Diretor de Educação a Distância

Celso Costa

Reitor do IFCE

Cláudio Ricardo Gomes de Lima

Pró-Reitor de Ensino

Gilmar Lopes Ribeiro

Diretora de EAD/IFCE e Coordenadora UAB/IFCE Cassandra Ribeiro Joye

Vice-Coordenadora UAB

Régia Talina Silva Araújo

Coordenador do Curso de Tecnologia em Hotelaria José Solon Sales e Silva

Coordenador do Curso de Licenciatura em Matemática Zelalber Gondim Guimarães

Elaboração do conteúdo

Francisco Gêvane Muniz Cunha

Colaboradora

Luciana de Lima

Equipe Pedagógica e Design Instrucional

Ana Claúdia Uchôa Araújo Andréa Maria Rocha Rodrigues Cristiane Borges Braga

Eliana Moreira de Oliveira

Gina Maria Porto de Aguiar Vieira Iraci Moraes Schmidlin

Jane Fontes Guedes Jivago Silva Araújo

Karine Nascimento Portela Lívia Maria de Lima Santiago Luciana Andrade Rodrigues Maria Irene Silva de Moura Maria Vanda Silvino da Silva Marília Maia Moreira

Regina Santos Young

Equipe Arte, Criação e Produção Visual

Ábner Di Cavalcanti Medeiros Benghson da Silveira Dantas Davi Jucimon Monteiro Diemano Bruno Lima Nóbrega Germano José Barros Pinheiro Gilvandenys Leite Sales Júnior

Hommel Almeida de Barros Lima José Albério Beserra

José Stelio Sampaio Bastos Neto Larissa Miranda Cunha

Marco Augusto M. Oliveira Júnior

Navar de Medeiros Mendonça e Nascimento Roland Gabriel Nogueira Molina

Equipe Web

Aline Mariana Bispo de Lima Benghson da Silveira Dantas Fabrice Marc Joye

Igor Flávio Simões de Sousa Luiz Alfredo Pereira Lima Luiz Bezerra

Lucas do Amaral Saboya Ricardo Werlang Samantha Onofre Lóssio Tibério Bezerra Soares Thuan Saraiva Nabuco

Revisão Textual

Aurea Suely Zavam

Nukácia Meyre Araújo de Almeida

Revisão Web

Débora Liberato Arruda Hissa Saulo Garcia

Logística

Francisco Roberto Dias de Aguiar Virgínia Ferreira Moreira

Secretários

Breno Giovanni Silva Araújo Francisca Venâncio da Silva

Auxiliar

Bernardo Matias de Carvalho Carla Anaíle Moreira de Oliveira Maria Tatiana Gomes da Silva Wagner Souto Fernandes

Zuila Sâmea Vieira de Araújo

Catalogação na Fonte: Etelvina Marques (CRB 3 – Nº 615)

Apresentação 7

Referências 109

Currículo 110

SUMÁRIO

AULA 1

Tópico 1

Tópico 2

Lógica: importância, história e primeiros fundamentos 8

Introdução à lógica matemática 9 Elementos da lógica matemática 14

AULA 2

Tópico 1

Tópico 2

Operações do cálculo proposicional 20 Tabelas-verdade das proposições 21 Operações lógicas sobre proposições 25

AULA 3

Tópico 1

Tópico 2

Tópico 3

Construções de tabelas-verdade 34 Construindo proposições compostas 35 Construindo tabelas-verdade: exemplos 39 Tautologias, contradições e contingências 45

AULA 4

Noções sobre conjuntos 52 Mais conceitos básicos 58 Operações com conjuntos 66

AULA 5

Implicações, equivalências, afirmações e demonstrações 72

Implicações lógicas 73

Equivalências lógicas 78

Tipos de afirmações na matemática 83 Tipos de demonstrações na matemática 87

AULA 6

Sentenças abertas e quantificadores 90 Sentenças abertas com uma variável 91 Sentenças abertas com mais

de uma variável 96

Operando com sentenças abertas 100 Quantificadores 104

APRESENTAÇÃO

Olá turma,

Nossa disciplina, Lógica e Conjuntos, de 60h/a, servirá de fundamentação para todas as disciplinas do curso. Nela, além de fundamentos da Lógica, apresentaremos noções básicas de Conjuntos. Com estes fundamentos, você, aluno, conhecerá a linguagem matemática básica e poderá perceber que esta linguagem é essencial, o que lhe possibilitará expressar melhor as afirmações e conclusões que compõem o corpo teórico da Matemática. Além disso, apresentaremos a ideia, precisa e indispensável para a sua formação, sobre que é uma demonstração.

A Lógica é útil em qualquer área que exija raciocínios elaborados, bem como em casos práticos do nosso dia-a-dia. Um conhecimento básico de Lógica é indispensável para estudantes de áreas como Matemática, Filosofia, Ciências, Línguas ou Direito. Seu aprendizado auxilia os estudantes no raciocínio, na compreensão de conceitos básicos e na verificação formal de provas, preparando para o entendimento dos conteúdos de tópicos mais avançados. A Lógica Matemática tem hoje aplicações concretas extremamente relevantes em diversos domínios. Ela é utilizada no planejamento dos modernos computadores eletrônicos e é nela que se justifica a “inteligência” dos computadores atuais.

Além da Lógica, a compreensão de noções básicas sobre conjuntos é essencial para a Matemática. Os conceitos da Matemática moderna, desde os mais básicos até os mais complexos podem ser formulados na linguagem de conjuntos. Desse modo, para dar consistência a qualquer afirmação matemática, basta, então, dar rigor às afirmações sobre conjuntos. O caráter fundamentalmente conceitual da Teoria dos Conjuntos dá-lhe lugar de destaque em todas as áreas em que o pensamento racional e, em particular, o pensamento científico é fundamental e, parece natural que ela deva estar na base de todas as ciências.

A sua participação nas atividades e em cada aula será essencial para que você possa tirar o maior proveito da disciplina. Estaremos à disposição para maiores esclarecimentos.

Desejo um bom curso a todos! Francisco Gêvane Muniz Cunha.

AULA 1

Lógica: importância, história e primeiros fundamentos

Olá! Esta é a nossa primeira aula. Nela, aprenderemos um pouco da história da Lógica, como ela se iniciou, quais as pessoas que contribuíram para o seu desenvolvimento e que ramos da Matemática e de áreas afins se utilizam das teorias da Lógica para desenvolver suas próprias teorias.

Nossa disciplina, Lógica e Conjuntos, servirá de fundamentação para todas as disciplinas do curso. Nela, além de fundamentos da Lógica, apresentaremos noções básicas de Conjuntos. Com esses fundamentos, você, aluno, conhecerá a linguagem Matemática básica, uma linguagem essencial, que lhe possibilitará expressar melhor as afirmações e conclusões que compõem o corpo teórico da Matemática. Além disso, aprenderemos o que é uma demonstração ideia precisa e indispensável para a sua formação.

Objetivos

Desenvolver a capacidade de usar e entender discursos
Conhecer a linguagem Matemática básica
Estabelecer a ideia de demonstração matemática

TÓPICO 1

Introdução à lógica matemática

OBjeTIVOs

Reconhecer a importância da Lógica
Estabelecer o ensino de Lógica
Compreender os aspectos conceituais e relevantes sobre a Lógica
Conhecer o percurso histórico da Lógica e reconhecer a Lógica em uma perspectiva de valor histórico

INTRODUÇÃO

este tópico, faremos um breve passeio histórico, desde a criação da Lógica por Aristóteles até o seu desenvolvimento e perspectiva nos dias atuais, a fim de mostrar a você, caro aluno, a importância dessa disciplina não apenas para a

própria Matemática como também para outras áreas que se utilizam de suas bases teóricas. Tradicionalmente, diz-se que a Lógica é a ciência do raciocínio ou que está preocupada com o estudo do raciocínio. Ainda que atualmente esta ideia possa ser considerada insuficiente ou mesmo ultrapassada devido à enorme dimensão e diversidade que tem alcançado este ramo comum da Filosofia e da Matemática, ela

pode servir como uma primeira aproximação para o conteúdo da Lógica.

O sucesso dessa ciência , também conhecida como Lógica Matemática, não se deve apenas ao fato de seus princípios fundamentais

constituírem a base da Matemática. Sua relevância é evidenciada principalmente por ter seus padrões de análise e crítica aplicáveis a qualquer área de estudo em que a inferência e o argumento sejam necessários, ou seja, a qualquer campo em que as conclusões devam basear-se em provas.

A Lógica é útil a qualquer área que exija raciocínios elaborados, bem como em casos práticos do nosso dia a dia. O conhecimento

básico de Lógica é indispensável, por exemplo, para estudantes de Matemática, Filosofia, Ciências, Línguas ou Direito. Seu aprendizado auxilia os estudantes no raciocínio, na compreensão de conceitos básicos e na verificação formal de provas, preparando para o entendimento dos conteúdos de tópicos mais avançados.

A Lógica Matemática tem hoje aplicações concretas extremamente relevantes em diversos domínios. Uma aplicação notadamente importante da Lógica na vida moderna é seu uso como fundamentação para a Computação e, em especial, para a Inteligência Artificial. A Lógica é utilizada no planeamento dos modernos computadores eletrônicos e é por meio dela que se justifica a “inteligência” dos computadores atuais.

Embora a Lógica seja um tema com amplas conotações interdisciplinares – permeando as conversas informais entre amigos, a leitura de jornais ou revistas – seu ensino, em particular a nível básico, enfrenta sérias dificuldades, como sugere a ilustração a seguir:

Figura 1− Charge sobre a Lógica

A Lógica tem sido tradicionalmente apresentada de forma abstrata, sem exemplos concretos ligados a temas matemáticos específicos. Mais particularmente para o ensino básico, devemos destacar um componente bastante prático e pouco explorado da Lógica Matemática apontado por Druck (1990, p. 10):

[…] o desenvolvimento da capacidade de usar e entender um discurso correto, identificando construções falaciosas, ou seja, incorretas, mas com a aparência de correção lógica. […] a capacidade de argumentar e compreender argumentos, bem como a capacidade de criticar argumentações ou textos.

Assim, fica evidenciado que uma das principais funções da Lógica Matemática é servir de fundamento ao raciocínio matemático, evitando ambiguidades e contradições

por possibilitar determinar, com absoluta precisão e rigor, quando um raciocínio matemático é válido e quando ele não o é, ou seja, ela fornece técnicas adequadas para a análise de argumentos. Nesse contexto, estão pressupostas tanto a ideia de provas ou demonstrações essencial para a sua formação como professor de Matemática – como a noção que permite compreender e resolver problemas, que de outra forma seriam intratáveis.

Do que expomos até aqui, queremos destacar

o papel especial da Lógica como ferramenta para nos apropriar de objetos matemáticos (definições, representações, teoremas e demonstrações) bem como um poderoso recurso na organização do pensamento humano. Após essa introdução, faremos um breve relato da história da Lógica, destacando as contribuições recebidas, os avanços alcançados e as principais ramificações dessa ciência .

UM POUCO DE HISTÓRIA

As raízes da Lógica encontram-se na antiga Grécia, com as concepções de alguns filósofos, entre eles Sócrates e Platão. Entretanto, no sentido mais geral da palavra, o estudo da Lógica remonta ao século IV a.C. e teve início com Aristóteles (384 – 322 a.C.), filósofo de Estagira (hoje Estavo), na Macedônia. Ele criou a ciência da Lógica baseada na Teoria do Silogismo (certa forma de argumento válido) e suas principais contribuições foram reunidas em uma obra denominada Organun, que significa Instrumento da Ciência. Dentre essas contribuições, destacamos:

A separação da validade formal do pensamento e do discurso da sua verdade

material;

A criação de termos fundamentais para analisar a lógica do discurso:

Válido, Não Válido, Contraditório, Universal, Particular.

A lógica aristotélica era bastante rígida, mas permaneceu quase inalterada até o século XVI. Esse primeiro período é também conhecido como Período Aristotélico, o que mostra a influência das ideias de Aristóteles.

Na Grécia, distinguiram-se duas grandes escolas de Lógica: a Peripatética (que teve a influência de Aristóteles), retratada no quadro A Escola de Atenas (Figura 2) do pintor renascentista italiano Rafael; e a Estóica, fundada por Zenão de Elea (326 – 264 a.C.). Essas duas escolas foram durante muito

tempo escolas rivais, o que de certa forma prejudicou o desenvolvimento da Lógica. Na verdade, as teorias dessas escolas eram complementares.

Nos anos subsequentes, com a contribuição de grandes matemáticos, como Gottfried Wilhelm Leibniz (1646 – 1716), George Boole (1815 – 1864), Augustus de Morgan (1806

– 1871) e, mais recentemente, Bertrand Russel (1872 – 1970), Kurt Gödel (1906 – 1975) e Alfred Tarski (1902 – 1983), a Lógica Matemática ganhou grande destaque e passou a exercer grande influência na Informática, Inteligência Artificial, entre outros campos da ciência. Um pouco mais do desenvolvimento da Lógica pode ser visto no texto abaixo:

A Lógica começou a desenvolver-se com Aristóteles (384-322 a.C.) e os antigos filósofos gregos passaram a usar em suas discussões sentenças enunciadas nas formas afirmativas e negativas, resultando assim grande simplificação e clareza, com efeito de grande valia em toda a Matemática. Por volta de 1666, Gottfried Wilhelm Leibniz (1646-1716) usou em vários trabalhos

o que chamou calculus ratiotinator, ou logica mathematica ou logística. Essas ideias nunca foram teorizadas por Leibniz, porém seus escritos trazem a ideia da Lógica Matemática.

No século XVIII, Leonhard Euler (1707-1783) introduziu a representação gráfica das relações entre sentenças ou proposições, mais tarde ampliada por John Venn (1834-1923), E. W. Veitch em 1952 e M. Karnaugh em 1953. Em 1847, Augustus DeMorgan (1806-1871) publicou um tratado, Formal logic, envolvendo-se em discussão pública com o filósofo escocês William Hamilton (que nada tinha a ver com o matemático William Rowan Hamilton), conhecido por sua aversão à Matemática, o qual, entre outras coisas, escreveu “A Matemática congela e embota a mente; um excessivo estudo da Matemática incapacita a mente para as energias que a filosofia e a vida requerem”. George Boole (1815-1864), ligado pela amizade a DeMorgan, interessou-se pelo debate entre o filósofo e o matemático, escrevendo The mathematical analysis of logic (1848) em defesa de seu amigo. Mais tarde, publicou um livro sobre Álgebra de Boole, chamado An investigation of the laws of thought (1854) e, em 1859, escreveu Treatise on differential equations, no qual

discutiu o método simbólico geral. O trabalho de George Boole foi ampliado por Lewis Carrol (1896), Whitehead (1898), Huntington (1904 e 1933), Sheffer (1913) e outros. Este período de desenvolvimento da Lógica culminou com a publicação do Principia mathematica por Alfred North-Whitehead (1861-1947) e Bertrand Russell (1872-1970), e representou grande ajuda para completar o programa sugerido por Leibniz, que visava dar uma base lógica para toda a Matemática.

A Álgebra de Boole, embora existindo há mais de cem anos, não teve qual- quer utilização prática até 1937, quando foi feita a primeira aplicação à análise de circuitos de relés por A. Nakashima, que não foi bem-sucedido, pois, em vez de desenvolver a teoria já existente, tentou desenvolver a Álgebra Booleana por conceitos próprios. Em 1938, Claude E. Shannon mostrou, em sua tese de mestrado no Departamento de Engenharia Elétrica do MIT (Massachusetts Institute of Technology), a aplicação da Álgebra de Boole na análise de circuitos de relés, usando-a com rara elegância, o que serviu de base para o desenvolvimento da teoria dos interruptores. (DAGHLIAN, 1995, p. 17-18)

Completaremos nossa contextualização do surgimento e do florescimento da Lógica, apresentando alguma sua classificação. Alguns autores, entre eles Abar (2004), costumam dividir o estudo da Lógica em Lógica Indutiva, útil no estudo da teoria da probabilidade; e Lógica Dedutiva. Esta pode ser dividida em:

LÓGICA CLÁSSICA: considerada como o núcleo da lógica é

regida basicamente pelos princípios da identidade, da contradição e do

terceiro excluído.

LÓGICAS COMPLEMENTARES DA CLÁSSICA: complementam de algum modo a Lógica Clássica, estendendo o seu domínio. Como exemplo temos lógicas modais, deônticas, epistêmicas,
LÓGICAS NÃO-CLÁSSICAS: caracterizadas por derrogarem algum ou alguns dos princípios da Lógica Clássica. Exemplos: paracompletas e intuicionistas (derrogam o princípio do terceiro excluído); paraconsistentes (derrogam o princípio da contradição); não-aléticas (derrogam o princípio do terceiro excluído e o da contradição); não- reflexivas (derrogam o princípio da identidade); probabilísticas, polivalentes, fuzzy,

Até aqui, vimos um pouco da perspectiva histórica da Lógica Matemática, seu surgimento, e conhecemos algumas das pessoas que deram contribuições para o seu desenvolvimento. No tópico seguinte, veremos por que a linguagem matemática adota certo formalismo e por que ela necessita desse formalismo.

TÓPICO 2

Elementos da lógica matemática

OBjeTIVOs

Reconhecer a importância de uma linguagem formal para a Matemática
Definir e identificar proposições e conectivos
Conhecer os princípios que regem a Lógica Proposicional

INTRODUÇÃO

este tópico, além de perceber a importância de uma linguagem formal para a Matemática, você verá a definição de proposição, um conceito fundamental para a Matemática, e conhecerá os conectivos para compor

novas proposições a partir de outras.

Para compreendermos bem as definições, os lemas e os teoremas que constituem as teorias matemáticas, é imprescindível que utilizemos uma linguagem mais precisa e rigorosa do que a que usamos na vida corrente. A aquisição desse hábito pode ser bastante facilitada com algumas noções e símbolos da Lógica Matemática.

Na Matemática, ou em qualquer campo científico, estamos interessados em saber quando uma afirmação (ou proposição) é verdadeira ou não em um determinado contexto. A linguagem usada na Matemática compreende designações (também chamados nomes ou termos) e proposições (ou frases). As designações servem para definir ou denominar determinados objetos matemáticos, como ponto, reta, plano, funções, figuras geométricas, equações, entre outros. Já as proposições exprimem afirmações que podem ser verdadeiras ou falsas. Vejamos alguns exemplos:

ExEMPLO 1

Existem sacis ou não existem
O número de alunos da UAB é divisível por
Todos os alunos de Matemática são malucos e alguns alunos de Matemática não são

Não é necessário muito esforço, nem uma teoria especial para afirmarmos que a alternativa 1 é verdadeira, a 2 pode ser verdadeira ou não, e 3 é falsa, pois enseja uma contradição.

Porém, antes de respondermos se uma afirmação é verdadeira ou falsa, devemos verificar se a frase está gramaticalmente correta e se faz sentido. Vejamos agora estes exemplos:

ExEMPLO 2

Uma criança levou sua filha idosa para passear em
Os mortos gritam ruidosamente à sombra das
Jantamos pontos, retas e

É óbvio que dentro da linguagem poética são permitidos certos “desvios” ou nonsense, a chamada licença poética. Mas, dentro da Matemática, por empregarmos linguagem objetiva (e não a subjetiva, como na Literatura), precisamos adotar um formalismo e uma precisão ao escrevermos. Assim, evitaremos que a teoria incorra em contradições, pois, historicamente, foi isso o que ocorreu. A teoria desenvolvendo-se sem muita preocupação formal, até que surgiram alguns paradoxos, o que trouxe certa crise à Matemática.

A partir da necessidade de se estabelecer o que é verdadeiro ou não, de forma a evitar contradições, surgiu um conjunto de axiomas, isto é, princípios evidentes que dispensam demonstração, bem como um conjunto de regras que nos permitem deduzir verdades (como teoremas, lemas) das nossas hipóteses originais. Não buscamos a verdade absoluta, isto é, a verdade universal, do ponto de vista platônico, que se aplicaria a todo contexto. Isso não existe em nenhuma ciência, nem na Física, Biologia, Química, Psicologia e, muito menos, na Matemática. O que buscamos são paradigmas, isto é, modelos que expliquem razoavelmente os fatos estudados por nós. Um fato pode ser explicado satisfatoriamente à luz de determinada teoria, que pode ser inconsistente para a explicação de outros fatos. Podemos citar como exemplo

as leis de Newton, que servem perfeitamente para explicar um choque entre dois veículos em uma estrada, mas se mostram insuficientes para explicar o choque entre partículas subatômicas.

É lógico que nos interessa que as conclusões de nosso estudo possam ser aplicadas à linguagem natural. Para tanto, a linguagem que adotaremos para fazer a nossa análise deve

ser uma versão simplificada da linguagem natural.

Escolhemos como elementos básicos da linguagem as sentenças, e definiremos regras para determinar como elas podem ser formadas a partir de sentenças mais simples. A primeira noção que devemos ter na formalização da nossa linguagem é a de proposição.

DEFINIÇÃO DE PROPOSIÇÃO

DEFINIçÃO 1

Proposição é toda sentença (conjunto de palavras ou símbolos) declarativa, afirmativa que expresse um pensamento de sentido completo cujo conteú- do (asserção) pode ser tomado como verdadeiro ou falso.

Uma proposição pode ser escrita na linguagem usual ou na forma simbólica.

Vejamos alguns exemplos de proposições:

ExEMPLO 3

A lua é
A neve é
3. (ep )2 ¹ e2p
sen p = 1

Uma proposição é necessariamente dada por uma sentença afirmativa, pois não poderíamos atestar a verdade diante de sentenças interrogativas ou exclamativas, como por exemplo:

ExEMPLO 4

Os réus foram condenados?
Venha à nossa festa!

Em nenhum desses casos, faz sentido questionar se é uma sentença verdadeira ou falsa. Agora que conhecemos o que é uma proposição, caracterizada por suas qualidades e os princípios básicos da Lógica Proposicional, daremos a definição de

valor lógico de uma proposição.

DEFINIÇÃO DE VALOR LÓGICO DE UMA PROPOSIÇÃO

DEFINIçÃO 2

Denomina-se valor lógico de uma proposição a verdade (que representamos por V), se a proposição for verdadeira, ou a falsidade (representada por F), se a proposição for falsa.

Indicaremos o valor lógico de uma proposição p por V(p). Desse modo, exprimimos que a proposição p é verdadeira escrevendo V(p) = V e que p é falsa escrevendo V(p) = F.

ExEMPLO 5

Considere as afirmações (proposições);

Os homens são
As pedras são seres

É fácil constatar que o valor lógico da proposição (1) é verdadeiro (V) e o da proposição (2) é falso (F).

Para a Matemática, é preciso que as asserções sejam claras, objetivas, e que algumas regras sejam previamente conhecidas. Podemos estabelecer uma analogia com um jogo. Para entrarmos em um jogo (xadrez, futebol, etc.), seja ele qual for, temos que conhecer as regras (ou leis) que regulam esse jogo. Da mesma forma, na Lógica Matemática, temos

os seguintes princípios (ou axiomas), que funcionam como regras fundamentais:

® Princípio da não-contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo.

® Princípio do terceiro excluído: toda proposição ou é verdadeira ou é falsa. Verifica-se sempre uma dessas possibilidades e nunca uma terceira.

Os princípios da não-contradição e do terceiro excluído nos permitem afirmar que as proposições podem ser simples ou compostas. A caracterização de cada uma pode ser vista nas definições abaixo.

DEFINIÇÃO DE PROPOSIÇÃO SIMPLES

DEFINIçÃO 3

Proposição simples é aquela que não contém nenhuma outra proposição como parte integrante de si mesma. É também chamada proposição atômica ou átomo.

Indicaremos as proposições simples por letras minúsculas ( p, q, r, s …).

Vejamos alguns exemplos:

ExEMPLO 6

p: a lua é
q: sen p = 0 .
r: o homem é mortal.

DEFINIÇÃO DE PROPOSIÇÃO COMPOSTA

DEFINIçÃO 4

Proposição composta é aquela formada pela composição de duas ou mais proposições. É também chamada proposição molecular ou molécula.

Indicaremos as proposições compostas por letras maiúsculas (P, Q, R, S …) . Quando desejarmos destacar ou explicitar que uma dada proposição composta P é formadapelacombinaçãodasproposiçõessimplesp, q, r,…, escreveremos: P(p, q, r, …). Vejamos alguns exemplos:

ExEMPLO 7

P: o sol brilha e a lua reflete a
Q: Ceará ganha ou o Ceará
R: se < p e o número 8 é cubo perfeito,

então 25 é um número primo.

Note que cada proposição acima contém outras proposições como suas partes integrantes. As proposições componentes da proposição R

são t:

< p ; u: o número 8 é cubo perfeito; e

v: 25 é um número primo.

s AIBA MAIs!

As proposições compostas são chamadas também fórmulas proposicionais ou simplesmente fórmulas.

Ao proferimos um discurso na língua natural, necessitamos de conexões apropriadas de ideias. A materialização dessas conexões

é realizada por partículas da linguagem comumente chamadas conectivos. De modo análogo, na Matemática, precisamos de conectivos que interliguem sentenças para

gerar sentenças mais complexas (mais ricas em significados).

Na próxima definição, apresentaremos os principais tipos de conectivos usados na Lógica. Você terá a oportunidade de reconhecê-los nas diversas situações e, posteriormente, conhecerá as regras para determinar os valores lógicos das proposições compostas formuladas com esses conectivos a partir dos valores lógicos das proposições componentes.

DEFINIÇÃO DE CONECTIVOS

DEFINIçÃO 5
Conectivos são as palavras que usamos para formar novas proposições a partir de outras. Os principais conectivos são as palavras (ou termos): “e”, “ou”, “não”, “se … então”, e “… se e somente se …”.

Na maioria dos casos, os conectivos ligam duas ou mais proposições (ou afirmações). Vejamos alguns exemplos, em que estão destacados os conectivos usados para compor a proposição.

ExEMPLO 8

O número 2 é par e 5 é ímpar.
Um triângulo ABC é escaleno ou

isósceles.

Neste ano, não houve inverno (esta proposição deriva da proposição “Neste ano, houve inverno”).
Se sabe Matemática, então faça
Um triângulo é retângulo se, e somente se, satisfaz o Teorema de Pitágoras.

Como podemos observar neste tópico, as proposições serão o objeto principal de estudo da Lógica Matemática.

Nesta aula, fizemos uma breve introdução ao estudo da Lógica, conhecendo um pouco de

sua história e percebendo sua importância não apenas para a própria Matemática como também para outras áreas. Vimos ainda a necessidade de uma linguagem formal para a Matemática e apresentamos os elementos básicos para essa linguagem. Na próxima aula, faremos uma introdução ao cálculo proposicional.

AULA 2

Operações do cálculo proposicional

Olá, na aula anterior, vimos a necessidade da Matemática em dispor de uma linguagem formal e tivemos o primeiro contato com os elementos básicos dessa linguagem: as proposições e os conectivos.

Nesta aula, iniciaremos nosso estudo sobre cálculo proposicional. Introduziremos as principais operações deste cálculo e estabeleceremos algumas relações dessas operações com a álgebra dos conjuntos. Conheceremos tabelas-verdade e diagramas de árvore e aprenderemos a construir as tabelas-verdade das proposições compostas obtidas do cálculo com proposições.

Objetivos

Conhecer as principais operações do cálculo proposicional
Determinar o valor lógico de proposições compostas
Estabelecer propriedades das operações
Relacionar a álgebra das proposições com a álgebra dos conjuntos

TÓPICO 1

Tabelas-verdade das proposições

OBjeTIVOs

Aplicar os princípios fundamentais da Lógica Proposicional
Conhecer e formular diagramas de árvore e tabelas- verdade
Determinar o número de linhas de uma tabela- verdade

INTRODUÇÃO

este tópico, veremos como construir as tabelas-verdade das proposições. Essas tabelas nos possibilitarão determinar os valores lógicos das proposições para cada atribuição de valores lógicos às suas proposições componentes.

CONSTRUÇÃO DE TABELAS-VERDADES DAS PROPOSIÇÕES

Para a construção de tais tabelas, necessitaremos de dois princípios básicos. O primeiro é o princípio do terceiro excluído, que já conhecemos, e diz que toda proposição ou é verdadeira (V) ou é falsa (F). O segundo enunciaremos a seguir.

Indicaremos todas as possibilidades de valores lógicos para uma dada proposição, correspondentes a cada atribuição de valores lógicos às suas proposições simples componentes, por meio de tabelas denominadas

“tabelas-verdade” ou, alternativamente, usando o que chamamos de “diagrama de árvore”. Vejamos alguns casos:

PARA uMA PROPOSIÇÃO SIMPLES A

Neste caso, pelo princípio do terceiro excluído, temos 2 possibilidades para o valor lógico de a. Cada uma dessas possibilidades está representada na tabela-

verdade de a (Figura 3) que terá duas linhas.

Proposição simples a

Figura 3 − Tabela-verdade e Diagrama de Árvore de uma proposição simples a

Vejamos agora como ficam essas representações para proposições compostas.

PARA uMA PROPOSIÇÃO A COMPOSTA POR DuAS PROPOSIÇõES SIMPLES A E B, REPRESENTADA POR A(A,B)

Neste caso, devemos examinar cada par possível de valores lógicos para as proposições simples a e b, para determinar o valor lógico da proposição composta A. Temos um total de 2 ´ 2 = 2² = 4 possibilidades. Cada uma dessas possibilidades está representada na tabela-verdade de A (Figura 4) que terá 4 linhas. Nela, os valores V e F se alternam de dois em dois para a proposição a e de um em um para a proposição b.

Proposição composta A(a,b)

Figura 4 − Entradas da Tabela-verdade e do Diagrama de Árvore de uma proposição composta A (a,b)

PARA uMA PROPOSIÇÃO A COMPOSTA POR TRêS PROPOSIÇõES SIMPLES A, B E C, REPRESENTADA POR A (A,B,C)

Neste caso, devemos examinar cada terna possível de valores lógicos para

as proposições simples a, b e c, para determinar o valor lógico da proposição composta A. Temos um total de 2 ´ 2 ´ 2 = 2³ = 8 possibilidades. Cada uma dessas possibilidades está representada na tabela-verdade de A (Figura 5) que terá 8 linhas. Nela, os valores V e F se alternam de quatro em quatro para a proposição a, de dois em dois para a proposição b e de um em um para a proposição c.

Proposição composta A(a,b,c)

Figura 5 − Entradas da Tabela-verdade e do Diagrama de Árvore de uma proposição composta A(a,b,c)

Agora que você está mais familiarizado com tais representações, usando um raciocínio análogo, não será difícil perceber a possibilidade seguinte.

Iv) NO CASO GERAL DE uMA PROPOSIÇÃO A COMPOSTA POR N PROPOSIÇõES SIMPLES a1 , a2 , … , an , REPRESENTADA POR

A(a₁,a₂ , … ,an )

Neste caso, devemos examinar cada n–upla possível de valores lógicos para as proposições simples a1 , a2 , … , an , para determinar o valor lógico da proposição composta A. Temos um total de 2ⁿ possibilidades, ou seja, a tabela- verdade de A terá 2ⁿ linhas. Nela, os valores V e

F se alternam de 2ⁿ^–¹ em 2ⁿ^–¹ para a proposição

a1 , de

2n-2

em 2n-2

para a proposição a ₂

em vez dos diagramas de árvore.

e, sucessivamente, até de um em um para a proposição an .

Para que você não fique confuso quando

estiver complementando seus estudos com a consulta a outros livros, devemos fazer um pequeno esclarecimento quanto à notação.

Por uma questão didática, daremos preferência ao trabalho com as tabelas-verdade

No próximo tópico, estudaremos, de modo preciso e criterioso, as principais regras do cálculo proposicional.

TÓPICO 2

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

OBjeTIVOs

Conhecer as principais operações com proposições
Construir proposições compostas por meio dos conectivos da Lógica
Construir tabelas-verdade de proposições compostas

INTRODUÇÃO

este tópico, definiremos as principais operações lógicas com proposições e construiremos as tabelas-verdade dessas operações. Estas tabelas nos possibilitarão determinar os valores lógicos das proposições compostas

resultantes de cada operação para cada atribuição de valores lógicos às suas proposições componentes.

Você já deve ter percebido (reveja na Aula 1) que as proposições se ligam através de expressões chamadas conectivos para formar novas proposições. Os conectivos são muito importantes nas operações lógicas sobre proposições. Nessas operações, os operadores, também chamados operadores lógicos, são os conectivos, enquanto os operandos são as proposições. No quadro 1, listamos as principais ideias veiculadas por conectivos, bem como os símbolos usados para representá-las.

Conectivo	Símbolo
Negação	~
Conjunção	Ù
Disjunção	Ú
Condicional	®
Bicondicional	«

Quadro 1 − símbolo dos conectivos

As operações obedecem a algumas regras de um tipo de cálculo, chamado de

cálculo proposicional, que são semelhantes às regras sobre conjuntos (como interseção, união, etc.). Vamos, agora, conhecer cada uma das operações definidas por meio dos símbolos acima e construir as tabelas-verdade das proposições compostas resultantes.

NEGAÇÃO DE UMA PROPOSIÇÃO

DEFINIçÃO 1

A negação de uma proposição p é a proposição “não p”, que representaremos por “~ p”, cujo valor lógico é o oposto ao da proposição p.

A tabela-verdade de ~ p é bastante simples. Vejamos:

Note que o valor lógico de ~ p é F quando o valor lógico de p é V; e é V

quando o valor lógico de p é F. Considerando as igualdades:

~V = F , ~F = V,

temos V(~ p) = ~ V(p). Vejamos alguns exemplos.

ExEMPLO 1

p: Fortaleza é a capital do Ceará.

~ p: Fortaleza não é a capital do Ceará.

Note que V(p) = V e V(~ p) = F e a relação V(~ p) = ~ V(p) é verificada, pois V(~ p) = F = ~V = ~ V(p).

q: sen(p2)= 0

~ q: sen(p 2)¹ 0

Então, V(q) = F e V(~ q) = V.

Na linguagem do dia a dia, a negação de uma afirmação (pelo menos nos casos mais simples) costuma ser feita “antepondo” o advérbio não ao verbo da proposição, como em (a) do Exemplo 1. Mas há outras formas de construir a negação: antepondo expressões como “não é verdade que” ou “é falso que” à proposição que

se deseja negar. Veja estas formas no exemplo seguinte.

ExEMPLO 2

r: Pedro é eletricista.

~ r: Não é verdade que Pedro é eletricista. ou

~ r: É falso que Pedro é eletricista.

Porém atenção: devemos tomar cuidado ao formar a negação de proposições quantificadas como aquelas que iniciam com os quantificadores “todo” ou “existe”.

Você não precisa se preocupar, entretanto, com a negação de proposições quantificadas agora. Elas serão tratadas posteriormente em um momento conveniente.

Esperamos que tenha ficado claro para você o que é a negação de uma proposição, como formar uma negação e, principalmente, como construir a tabela-verdade correspondente. A seguir, definiremos a conjunção de duas proposições.

CONJUNÇÃO DE PROPOSIÇÕES

DEFINIçÃO 2
A conjunção de duas proposições p e q é a proposição “p e q”, que representaremos por “p Ù q”, cujo valor lógico será a verdade (V) se ambas as proposições p e q forem verdadeiras e será a falsidade (F) nos outros casos.

A tabela-verdade de p Ù q é:

p	q	p Ù q
V	V	V
V	F	F
F	V	F
F	F	F

Considerando as igualdades:

V Ù V = V, V Ù F = F, F Ù V = F, F Ù F = F,

temos V(p Ù q) = V(p) Ù V(q). Vejamos alguns exemplos.

ExEMPLO 3

p: 2 é par q: 2 < 3

p Ù q: 2 é par e 2 < 3

Temos: V(p) = V e V(q) = V. Logo, V(p Ù q) = V(p) Ù V(q) = V Ù V = V.

p: Um quadrado é equilátero q: 7 é par

p Ù q: Um quadrado é equilátero e 7 é par

Temos: V(p) = V e V(q) = F. Logo, V(p Ù q) = V(p) Ù V(q) = V Ù F = F.

p: v é racional

q: é irracional

p Ù q: v é racional e

é irracional

Temos: V(p) = F e V(q) = V. Logo, V(p Ù q) = V(p) Ù V(q) = F Ù V = F.

p: sen 0 > 2 q: v > 5

p Ù q: sen 0 > 2 e v > 5

Temos: V(p) = F e V(q) = F. Logo, V(p Ù q) = V(p) Ù V(q) = F Ù F = F.

Agora, você já conhece a conjunção de duas proposições, sabe obtê-la e construir a tabela-verdade correspondente. Nosso próximo passo será definir a disjunção.

DISJUNÇÃO DE PROPOSIÇÕES

DEFINIçÃO 3
A disjunção de duas proposições p e q é a proposição “p ou q”, que representaremos por “p Ú q”, cujo valor lógico será a verdade (V) se pelo menos uma das proposições p e q for verdadeira e será a falsidade (F) se ambas p e q forem falsas.

A tabela-verdade de p Ú q é:

p	q	p Ú q
V	V	V
V	F	V
F	V	V
F	F	F

Considerando as igualdades:

V Ú V = V, V Ú F = V, F Ú V = V, F Ú F = F,

temos V(p Ú q) = V(p) Ú V(q). Vejamos alguns exemplos.

ExEMPLO 4

p: A lua é o nosso satélite natural q: A Terra é um planeta

p Ú q: A lua é o nosso satélite natural ou a Terra é um planeta Temos: V(p) = V e V(q) = V. Logo, V(p q) = V(p) V(q) = V V = V.

p: 1 é um número natural q: – 2 é um número natural

p Ú q: 1 é um número natural ou – 2 é um número natural

Temos: V(p) = V e V(q) = F. Logo, V(p Ú q) = V(p) Ú V(q) = V Ú F = V.

p: 11 é divisível por 3 q: 5 < 10

p Ú q: 11 é divisível por 3 ou 5 < 10

Temos: V(p) = F e V(q) = V. Logo, V(p Ú q) = V(p) Ú V(q) = F Ú V = V.

p: Um triângulo é um quadrilátero q: Todo triângulo é isósceles

p Ú q: Um triângulo é um quadrilátero ou todo triângulo é isósceles Temos: V(p) = F e V(q) = F. Logo, V(p Ú q) = V(p) Ú V(q) = F Ú F = F.

Você deve ter percebido que não difícil obter a disjunção de duas proposições e que a sua tabela-verdade é fácil de ser construída. Passaremos agora às definições das proposições condicional e bicondicional. Continue atento, pois será necessária bastante atenção para compreendê-las e para a construção das respectivas tabelas-verdade.

PROPOSIÇÃO CONDICIONAL

DEFINIçÃO 4
A condicional de duas proposições p e q é a proposição “se p, então q”, que representaremos por “p ® q”, cujo valor lógico é a falsidade (F) quando p for verdadeira e q for falsa e será a verdade (V) nos demais casos.

A tabela-verdade de p ® q é:

p	q	p ® q
V	V	V
V	F	F
F	V	V
F	F	V

Considerando as igualdades:

V ® V = V, V ® F = F, F ® V = V, F ® F = V,

temos V(p ® q) = V(p) ® V(q). Vejamos alguns exemplos.

Você deverá ficar bem atento ao caso em que a proposição condicional é falsa. Guarde bem esse caso, pois será de grande importância quando formos deduzir o valor lógico de proposições condicionais a partir dos valores lógicos das suas proposições componentes.

Além de “se p, então q”, há outras maneiras de se ler a condicional “p ® q”, a saber:

“p é condição suficiente para q”
“q é condição necessária para p”

ExEMPLO 5

p: Euler morreu cego q: Pitágoras era filósofo

p ® q: Se Euler morreu cego, então Pitágoras era filósofo

Temos: V(p) = V e V(q) = V. Logo, V(p ® q) = V(p) ® V(q) = V ® V = V.

p: A Matemática é uma ciência q: Geometria não é Matemática

p ® q: Se a Matemática é uma ciência, então a Geometria não é Matemática

Temos: V(p) = V e V(q) = F. Logo, V(p ® q) = V(p) ® V(q) = V ® F = F.

p: 2 > 5

q: 3 é real

p ® q: Se 2 > 5, então 3 é real

Temos: V(p) = F e V(q) = V. Logo, V(p ® q) = V(p) ® V(q) = F ® V = V.

p: -1 é um número natural. q: 3 é um número par.

p ® q: se -1 é um número natural, então 3 é um número par.

Temos: V(p) = F e V(q) = F. Logo, V(p ®

q) = V(p) ® V(q) = F ® F =

Com atenção e alguns exercícios, você aprenderá a reconhecer quando uma proposição condicional é falsa. Se necessário, reveja a definição e a construção da tabela-verdade correspondente. É necessário que você esteja bem seguro e tenha domínio desse conhecimento.

PROPOSIÇÃO BICONDICIONAL

DEFINIçÃO 5
A bicondicional de duas proposições p e q é a proposição “p se, e somente se, q”, que representaremos por “p « q”, cujo valor lógico é a verdadeiro (V) quando p e q têm o mesmo valor lógico, ou seja, se p e q são ambas verdadeiras, ou ambas falsas, e a falsidade (F) nos demais casos, ou seja, quando os valores lógicos de p e q são opostos.

A tabela-verdade de p « q é:

p	q	p « q
V	V	V
V	F	F
F	V	F
F	F	V

Considerando as igualdades:

s AIBA MAIs!
A bicondicional “p q” é verdadeira somente quando também são verdadeiras as duas condicionais “p ® q” e “q ® p”.

V « V = V, V « F = F, F « V = F, F « F = V,

temos V(p « q) = V(p) « V(q). Vejamos alguns exemplos.

ExEMPLO 6

a) p: O futebol é uma paixão brasileira

q: A bola de futebol é redonda

p « q: O futebol é uma paixão brasileira se, somente se, a bola de futebol for redonda

Temos: V(p) = V e V(q) = V. Logo, V(p «

q) = V(p) « V(q) = V « V =
b) p: v > 3

èç ø÷

q: tgfçpö÷ = 0

èç ø÷

p « q: p > 3 se, somente se, tgfçpö÷ = 0.

Temos: V(p) = V e V(q) = F. Logo, V(p « q) = V(p) « V(q) = V « F = F.

p: Um triângulo é um quadrilátero. q: Um quadrado é um quadrilátero.

p « q: Um triângulo é um quadrilátero se, somente se, um quadrado for um quadrilátero.

Temos: V(p) = F e V(q) = V. Logo, V(p « q) = V(p) « V(q) = F « V = F.

p: 2 é ímpar. q: 3 é

p « q: 2 é ímpar se, somente se, 3 for par.

Temos: V(p) = F e V(q) = F. Logo, V(p « q) = V(p) « V(q) = F « F = V.

Além de “p, se e somente se, q”, há outras maneiras de se ler a bicondicional “p « q”, a saber:

“p é condição necessária e suficiente para q”
“q é condição necessária e suficiente para p”

Neste tópico, você conheceu as proposições compostas obtidas com as

principais operações do cálculo proposicional e aprendeu a construir as suas tabelas-verdade. Agora você deve estar preparado para a construção de tabelas-verdade de proposições compostas mais complexas obtidas a partir da combinação de várias operações. Essa será uma tarefa para nossas próximas aulas.

AULA 3

Construções de tabelas-verdade

Caro(a) aluno(a),

Na Aula 2, aprendemos a construir as tabelas-verdade das proposições compostas obtidas das principais operações do cálculo com proposições. Mais precisamente, construímos a tabela-verdade da negação, proposição formada de uma proposição simples pelo conectivo “não”, e as tabelas-verdade das proposições compostas formadas por duas proposições simples ligadas pelos conectivos “e”, “ou”, “se então”, “se e somente se”.

Agora, você já está apto a partir para construções de tabelas-verdade de proposições mais complexas. Tais proposições são obtidas pela combinação de mais de um conectivo e, como sabemos, suas tabelas-verdade nos possibilitarão determinar seus valores lógicos para cada atribuição de valores lógicos às suas proposições componentes. Bom trabalho a todos!

Objetivos

Construir proposições compostas de várias proposições
Determinar o valor lógico de proposições compostas
Construir tabelas-verdade
Conhecer tautologias, contradições e contingências

TÓPICO 1

Construindo proposições compostas

OBjeTIVOs

Combinar conectivos para compor proposições
Relacionar número de proposições simples compo- nentes de uma proposição composta e número de

linhas de sua tabela-verdade

INTRODUÇÃO

ecorde as principais operações do cálculo proposicional (negação, conjunção, disjunção, condicional e bicondicional) estudadas na Aula 2.

Com elas, obtemos novas proposições (ditas compostas das proposições dadas) pela combinação de proposições por meio de um único conectivo lógico, em geral, mais complexas que as proposições originais.

É natural, agora, que pensemos em construir mais proposições compostas a partir de outras por combinações dos conectivos. Vejamos alguns exemplos.

ExEMPLO 1:

Sejam p, q, r e s proposições simples. São proposições compostas obtidas pela combinação de dois ou mais conectivos:

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

Q( p,q) =~ p ∧( p↔q)

R( p,q,r) = ( p→q) ∨( p→ r)

S( p,q,r,s) = ( p ∧ q) ↔ (r ∨ s)

Evidentemente, nada impede que as

componentes de uma proposição composta sejam, elas mesmas, proposições compostas, como veremos no exemplo a seguir.

ExEMPLO 2:

Dada a proposição P composta das

proposições simples p1 e q1 , e Q composta das proposições simples p2 , q2 e r2 ,

ou seja, dadas P( p1 ,q1 ) e Q( p2 ,q2 ,r2 ) , podemos construir um proposição a pela

combinação das proposições P e Q . Temos, então, a(P,Q) ou, mais especificamente,

a(P( p1 ,q1 ),Q( p2 ,q2 ,r2 )) .

TEOREMA

Para não perder de vista nossa principal meta, a determinação dos valores lógicos de proposições, devemos ficar atentos ao modo como chegamos a essa determinação.

Do que vimos, podemos sempre pensar numa proposição composta P qualquer como obtida pela combinação de uma quantidade finita n de proposições simples p1 , p2 , …, pn , ou seja, P( p1 , p2 ,…, pn ) . Considerando ainda que o número de modos de combinar as proposições p1 , p2 , …, pn , por meio dos conectivos, para obter P seja finito e lembrando que, pelo Princípio do Terceiro Excluído, só há duas possibilidades para os valores lógicos de cada proposição pi , deduzimos que são também finitas as possibilidades de se combinarem os valores lógicos das proposições simples para determinar o valor lógico correspondente da proposição composta. Tais possibilidades podem ser organizadas em tabelas especiais que recebem a denominação de tabelas-verdade.

Podemos construir a tabela-verdade de qualquer proposição. O número de linhas da tabela é determinado pelo número de proposições simples componentes da proposição dada. Chegamos assim ao seguinte teorema:

TEOREMA 1
A tabela-verdade de uma proposição composta de n proposições simples componentes é constituída de 2n linhas.

Não há uma regra geral para a construção de tabelas-verdade de proposições compostas. Apresentaremos aqui a forma descrita em Alencar Filho (2002, p.30) para construir as colunas da tabela correspondentes às proposições simples componentes:

Para a construção prática da tabela-verdade de uma proposição composta, começa- se por contar o número de proposições simples que a integram. Se há n proposições

simples componentes:

p1 ,

p₂ , …,

pn , então a tabela-verdade contém 2ⁿ linhas.

Posto isto, à 1ª proposição simples

p1 atribuem-se 2ⁿ /2 = 2ⁿ^–¹ valores V seguidos

de 2n-1

valores F; à 2ª proposição simples

p₂ atribuem-se

2ⁿ /4 = 2ⁿ^–² valores

V, seguidos de 2ⁿ^–² valores F, seguidos de 2ⁿ^–² valores V, seguidos, finalmente,

de 2n-2

valores F; e assim por diante. De modo genérico, a k-ésima proposição

simples

pk (k £ n) atribuem-se alternadamente 2ⁿ / 2^k = 2ⁿ^–^k

valores V seguidos

de igual número de valores F.

Para fixar melhor, vejamos como seriam os agrupamentos de V e F nas colunas da tabela correspondentes às proposições simples para o caso, por exemplo, de uma proposição composta por 4 proposições simples componentes p1 , p2 , p3 e p4 :

A tabela-verdade contém 2⁴ = 16

linhas, e os grupos de valores V e F se

alternam de 8 em 8 para a 1ª proposição simples p₁ , de 4 em 4 para a 2ª. proposição simples p₂ , de 2 em 2 para a 3ª proposição simples p₃ , e, finalmente, de 1 em 1 para a 4ª proposição simples p₄ .

PASSOS PARA CONSTRUÇÃO DETABELAS-VERDADE DAS PROPOSIÇÕES COMPOSTAS

Para a construção da tabela-verdade de uma proposição composta dada, devemos ainda segundo Daghlian (1995):

® Observar a precedência entre os conectivos, ou seja, determinar a forma das proposições que ocorrem na proposição original.

® Aplicar as definições das operações lógicas necessárias.

Até agora, sabemos construir as colunas correspondentes às proposições simples componentes de uma proposição composta P, as quais chamaremos entradas da tabela. Precisamos de um procedimento para construir uma coluna com os valores lógicos correspondentes da proposição P, ou seja, para construir a saída da tabela. Para tanto, construiremos, a partir das tabelas-verdade das operações, colunas intermediárias (tantas quanto forem necessárias) para proposições compostas que são “pedaços” de P até conseguirmos obter a coluna de P. Vejamos alguns exemplos.

ExEMPLO 3:

Construa a tabela-verdade da proposição composta R( p,q)=~ (~ p∨ q) .

p	q	~ p	~ pÚ q	R( p,q)=~ (~ p∨ q)
V	V	F	V	F
V	F	F	F	V
F	V	V	V	F
F	F	V	V	F

Considerando que R é composta de 2 proposições simples componentes p e

q, nossa tabela terá

2² = 4

linhas. Note que, em primeiro lugar, formamos o par

de colunas correspondentes às duas proposições simples componentes, ou seja, escrevemos as “entradas” da tabela. Os grupos de valores V e F se alternam nessas colunas de 2 em 2 para a 1ª proposição simples p e de 1 em 1 para a 2ª proposição simples q. Em seguida, recorrendo às definições das operações de negação e disjunção, formamos a coluna para ~ p . Depois, formamos a coluna para ~ p Ú q . Finalmente, formamos a coluna relativa aos valores lógicos da proposição composta dada R, ou seja, determinamos a “saída” da tabela (destacada em negrito).

ExEMPLO 4:

Construa a tabela-verdade da proposição composta S( p,q,r) = ( p ∨ q) → (q ∧ r) .

p	q	r	p Ú q	q Ù r	( p ∨ q) → (q ∧ r)
V	V	V	V	V	V
V	V	F	V	F	F
V	F	V	V	F	F
V	F	F	V	F	F
F	V	V	V	V	V
F	V	F	V	F	F
F	F	V	F	F	V
F	F	F	F	F	V

Considerando que S é composta de 3 proposições simples componentes p, q e r, nossa tabela terá 2³ = 8 linhas. Note que, em primeiro lugar, construímos as “entradas” da tabela, ou seja, formamos as colunas correspondentes às três proposições simples componentes. Os grupos de valores V e F se alternam nessas colunas de 4 em 4 para a 1ª proposição simples p, e de 2 em 2 para a 2ª proposição simples q, e de 1 em 1 para a 3ª proposição r. Em seguida, recorremos às tabelas-verdade das operações de conjunção e disjunção para formar a quarta e a quinta colunas. Finalmente, usando a tabela-verdade da operação de condicional, determinamos a “saída” da tabela (destacada em negrito), ou seja, formamos a coluna relativa aos valores lógicos da proposição composta dada S. Neste tópico, revimos a determinação do número de linhas de uma tabela- verdade e descrevemos um procedimento para a construção das tabelas-verdade de proposições qualquer. No tópico seguinte, teremos a oportunidade de ampliar esses conhecimentos construindo as tabelas-verdade de várias proposições e poderemos observar algumas relações entre certas proposições compostas. Então, prossigamos …

TÓPICO 2

Construindo tabelas-verdade: exemplos

OBjeTIVOs

Construir as tabelas-verdade de várias proposições compostas
Normatizar o uso de parênteses
Deduzir os valores lógicos de proposições compostas
Relacionar certar proposições compostas

INTRODUÇÃO

este tópico, construiremos as tabelas- verdade de vários exemplos de proposições compostas. Este será um

importante passo para que, posteriormente, possamos verificar a validade de argumentos. Será também um exercício interessante para que possamos observar certas relações entre algumas proposições compostas.

Você já deve ter percebido a utilidade das tabelas-verdade na determinação do valor lógico das proposições. Devemos enfatizar que uma tabela-verdade é uma forma muito útil e prática de representar uma função na álgebra booleana. Ela relaciona todas as combinações possíveis para os valores das variáveis de entrada da função, com o valor correspondente da saída da função booleana. Em um texto extraído de Daghlian (1995), vimos um pouco sobre a álgebra booleana e sua aplicação em circuitos elétricos. Releia este texto e enriqueça seus conhecimentos.

USO DE PARÊNTESES E A

ORDEM DE PRECEDÊNCIA DAS OPERAÇÕES

Antes de prosseguirmos com os exemplos, vamos fazer algumas considerações importantes sobre o uso de parênteses e sobre a ordem de precedência das operações.

® A colocação de parênteses na simbolização das proposições deve ser feita para evitar ambiguidades. A proposição p Ú q Ù r , por exemplo, sem a presença de parênteses fica ambígua. Ela dá origem, pela colocação de parênteses, a duas proposições:

( p Ú q) Ù r

e ii)

p Ú (q Ù r)

A proposição em (i) é uma conjunção, pois seu conectivo principal é

Ù ”. Já a proposição em (ii), que tem como conectivo principal “ Ú ”, é uma disjunção. Essas duas proposições são distintas, tanto que pode ser verificado, ao comparar suas tabelas-verdade, que elas apresentam saídas diferentes. Faça esta verificação como exercício.

® Por questões de simplificação da escrita, desde que não venham a ocorrer ambiguidades, a supressão de parênteses pode ser admitida. Para tanto, algumas convenções devem ser observadas:

A ordem de precedência para os conectivos, do mais “fraco” para o mais “forte” é:

(1) ~

(2) Ù e Ú

(3) ®

(4) «

conectivo

mais fraco

conectivo

mais forte

Desse modo, a proposição

p Ú q « r ® s

é uma bicondicional e não uma disjunção ou uma condicional. Com o uso de parênteses, poderíamos transformá-la nas disjunções

ou nas condicionais

p Ú (q « r ® s) ou

p Ú ((q « r) ® s)

( p Ú q « r) ® s ou ( p Ú (q « r)) ® s .

Se um mesmo conectivo aparece repetidamente, a supressão de parênteses é feita fazendo-se associações a partir da Desse modo, as proposições

( p Ù q) Ù r e ~ (~ p) ,

podem ser escritas de maneira mais simples, respectivamente, por:

p Ù q Ù r e ~~ p .

Vamos agora usar o procedimento descrito no tópico anterior para construir as tabelas-verdade de alguns exemplos.

ExEMPLO 5:

Construa a tabela-verdade da proposição composta

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

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

Observe que os valores lógicos da proposição composta P dada encontram-se na última coluna (coluna 6) da tabela. Portanto, os valores lógicos da proposição P correspondentes a todas as possíveis atribuições de valores lógicos V e F às proposições simples componentes p e q, ou seja, aos pares de valores lógicos VV, VF, FV e FF são, respectivamente, V, V, V e F. Simbolicamente, podemos escrever:

P(VV) = V, P (VF) = V, P (FV) = V e P

(FF) = F

ou abreviadamente:

P(VV, VF, FV, FF) = VVVF.

Dizemos ainda que a proposição P (p, q) associa a cada um dos elementos do conjunto U

= {VV, VF, FV, FF} um único elemento do conjunto {V, F}, ou seja, P (p, q) é uma função de U em {V, F}:

P: U ® {V, F}

A representação gráfica por um diagrama de flechas (diagrama sagital) pode ser vista na figura 1.

Figura 6 − Representação sagital de P( p,q) =~ ((~ p) ∧ (~ q)) .

ExEMPLO 6:

Construa a tabela-verdade da proposição composta

P( p, q) = p Ù ( p ® q) ® q .

p	q	p ® q	p Ù ( p ® q)	p Ù ( p ® q) ® q
V	V	V	V	V
V	F	F	F	V
F	V	V	F	V
F	F	V	F	V

Veremos mais adiante que essa proposição, chamada de regra “Modus Ponens”, está relacionada à implicação lógica ( Þ ). Note que esta proposição tem uma característica especial: a última coluna de sua tabela-verdade que encerra o valor lógico da proposição só contém o valor lógico verdade (V). Daremos mais adiante uma definição para esse tipo de proposição.

Temos:

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

ou abreviadamente:

P(VV, VF, FV, FF) = VVVV.

Potanto, P (p, q) é uma função de U em {V, F}, P: U ® {V, F} cuja representação gráfica por um diagrama sagital é vista a seguir:

Figura 7 − Representação sagital de P( p,q) = p ∧ ( p → q) → q .

Concluiremos este tópico apresentando formas de determinar o valor lógico de proposições compostas sem necessitar construir suas tabelas-verdade. Esse conhecimento será de grande utilidade nas demonstrações de validade ou não de argumentos e será explorado em exercícios posteriores.

Já sabemos que o valor lógico de uma proposição composta fica determinado pelos valores lógicos das proposições simples que a compõem. Para ilustrar esse fato, façamos alguns exercícios.

ExEMPLO RESOLvIDO 1:

Determine o valor lógico da proposição composta

P( p, q) = ~ p « q

para o

caso de o valor lógico de p ser V (verdade) e o de q ser F (falsidade).

SOLuÇÃO:

Temos:

V (P) = V (~ p ↔ q) = V (~ p) ↔ V (q) = ~V ( p) ↔ V (q) = ~V ↔ F = F ↔ F = V .

Assim, o valor lógico de

P( p, q)

é V.

ExERCÍCIO RESOLvIDO 2:

Considere as proposições:

p😐 sen(x) |> 1 , 2 é primo.

q:p é racional e r:

Determine o valor lógico da proposição composta Q( p, q, r) = p Ú r ® q Ù r .

SOLuÇÃO:

Inicialmente, precisamos

usar conhecimentos de Matemática do Ensino Médio para determinar

os valores lógicos das proposições p, q e r. Do fato que a função

sen é limitada com

-1 £ sen(x) £ 1

para todo x,

V ( p) = F .

Da constituição dos conjuntos numéricos, sabemos que V (q) = F e V (r) = V . Desse modo, temos:

V (Q) = V ( p ∨ r → q ∧ r) = V ( p ∨ r) → V (q ∧ r) = V ( p) ∨V (r) → V (q) ∧V (r) .

= F ∨V → F ∧V = V → F = F

Assim, o valor lógico de Q( p, q, r) é F.

ExERCÍCIO RESOLvIDO 3:

Dados V ( p) = V

e V (q) = V , determine o valor lógico da proposição composta:

R( p, q) = ( p ® q) « ((~ q) ® (~ p)) .

SOLuÇÃO:

Temos:

V (R) = V (( p → q) ↔ ((~ q) → (~ p)))

= V ( p → q) ↔ V ((~ q) → (~ p))

= (V ( p) → V (q)) ↔ (V (~ q) → V (~ p))

= (V ( p) → V (q)) ↔ ((~V (q)) → (~V ( p)))

= (V → V ) ↔ ((~V ) → (~V )) =

= (V → V ) ↔ (F → F) = V ↔ V = V

Assim, o valor lógico de

R( p, q)

é V.

Neste tópico, construímos as tabelas- verdade de algumas proposições e apresentamos algumas regras para o uso/supressão de parênteses. Vimos ainda outros meios de determinar o valor lógico de uma proposição composta. No próximo tópico, apresentaremos proposições com características especiais.

TÓPICO 3

Tautologias, contradições e contingências

OBjeTIVOs

Identificar o que é uma tautologia e conhecer o seu valor lógico
Identificar o que é uma contradição e conhecer o seu valor lógico
Reconhecer contingências e determinar seus valores lógicos

INTRODUÇÃO

este tópico, apresentaremos as tautologias e contradições, proposições compostas especiais

cujos valores lógicos não se alteram mesmo quando alteramos os valores lógicos das proposições simples que as compõem. Aprenderemos também o que são contingências. Construiremos tabelas-verdade desses tipos de proposições e determinaremos os seus valores lógicos.

DEFINIÇÃO DE TAUTOLOGIA

DEFINIçÃO 1
Uma tautologia é uma proposição composta cujo valor lógico é sempre a verdade (V), independente dos valores lógicos das proposições simples que a compõem.

Da definição acima, na última coluna da tabela-verdade de uma tautologia, ocorre sempre o valor lógico V (verdade).

Como exemplo, considere a seguinte afirmação: “José diz: – hoje é sábado

ou hoje não é sábado”. Observe que José está sempre dizendo a verdade, não importa que dia seja hoje.

Uma tautologia é também chamada proposição tautológica ou proposição logicamente verdadeira. Para fixar a definição, vejamos alguns exemplos:

Exemplo 7:

A proposição tabela-verdade.

~ ( pÙ ~ p)

é uma tautologia, como pode ser visto em sua

p	~ p	pÙ ~ p	~ ( pÙ ~ p)
V	F	F	V
F	V	F	V

Observe que, na última coluna da tabela-verdade de

~ ( pÙ ~ p) , só há

o valor lógico V (verdade). Esse exemplo ilustra o princípio da não-contradição, apresentado na primeira aula, e significa que a afirmação de que “uma proposição não pode ser simultaneamente verdadeira e falsa” é verdadeira.

ExEMPLO 8:

A última coluna da tabela-verdade de (verdade), como pode ser visto abaixo.

pÚ ~ p só apresenta o valor lógico V

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

Logo,

pÚ ~ p é uma tautologia. Esse exemplo ilustra o princípio do terceiro

excluído e significa que dizer que “uma proposição ou é verdadeira ou é falsa” é uma afirmação verdadeira.

Vejamos agora alguns casos com mais proposições simples. Inicialmente, vamos

voltar à proposição

R( p, q)

Exercício Resolvido 3 (Tópico 2 – Aula 3). Verifiquemos

que o valor lógico de R é V independente dos valores lógicos de suas componentes p e q.

ExEMPLO 9:

A proposição

p ® q « ~ q ®~ p

é uma tautologia. A última coluna de

sua tabela-verdade só apresenta o valor lógico V (verdade), como pode ser visto a seguir.

p	q	~ p	~ q	p ® q	~ q ®~ p	p ® q « ~ q ®~ p
V	V	F	F	V	V	V
V	F	F	V	F	F	V
F	V	V	F	V	V	V
F	F	V	V	V	V	V

ExEMPLO 10 (ALENCAR FILHO, 2002, P. 45):

A proposição a seguir:

p Ù r ®~ q Ú r é tautológica, conforme se vê pela sua tabela-verdade

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

Agora que você sabe o que é uma tautologia, vamos dar a definição de contradição, outro tipo de proposição composta, cujo valor lógico não depende dos valores lógicos das proposições componentes.

DEFINIÇÃO DE CONTRADIÇÃO

DEFINIçÃO 2
Uma contradição é uma proposição composta cujo valor lógico é sempre a falsidade (F), independente dos valores lógicos das proposições simples que a compõem.

Da definição acima, na última coluna da tabela-verdade de uma contradição, ocorre sempre o valor lógico F (falsidade).

Como exemplo, considere a seguinte afirmação: “Hoje é sábado e hoje não é sábado”. Veja que seu valor lógico é sempre falso não importando qual dia seja hoje.

Uma contradição é também chamada proposição contraválida ou proposição logicamente falsa. Para que você fixe a definição de contradição, vejamos alguns exemplos.

ExEMPLO 11 (ALENCAR FILHO, 2002, P.46):

A proposição verdade:

pÙ ~ p

é uma contradição, conforme se vê pela sua tabela-

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

Como se pode notar, a última coluna da tabela-verdade de

pÙ ~ p só

encerra o valor lógico F (falsidade). Esse exemplo mostra que a afirmação de que “uma proposição pode ser simultaneamente verdadeira e falsa” é falsa.

ExEMPLO 12:

A proposição

p « ~ p

é contraválida. Com efeito, sua tabela-verdade é:

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

Note que a última coluna da tabela-

verdade de

p « ~ p

só apresenta o valor

lógico F (falsidade).

ExEMPLO 13:

A última coluna da tabela-verdade de

~ p Ù ( pÙ ~ q)

só apresenta o valor lógico F

(falsidade), como pode ser visto abaixo.

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

Portanto, de acordo com a Definição 2 acima, a proposição ~ p Ù ( pÙ ~ q)

é uma contradição.

Antes da próxima definição, vamos apresentar um princípio bem útil à determinação de tautologias e contradições.

TEOREMA

TEOREMA 2 (PRINCÍPIO DA sUBsTITUIçÃO)
P( p₁, p₂ ,…, pn ) é uma tautologia (contradição) qualquer. Se substituirmos as proposições simples p₁, p₂ ,…, p_n por outras proposições quaisquer (simples ou compostas) q1, q2 ,…, qn , então a nova proposição P(q₁, q₂ ,…, q_n ) que se obtém é também uma tautologia (contradição)

Vamos dar agora a definição de contingência, um tipo de proposição que não é tautologia nem contradição.

DEFINIÇÃO DE CONTINGÊNCIA

DEFINIçÃO 3
Uma contingência é uma proposição composta em cuja tabela-verdade ocorrem, na última coluna, os valores lógicos V (verdade) e F (falsidade).

Uma contingência é também chamada proposição contingente ou proposição indeterminada. Vejamos os exemplos abaixo para termos uma ideia clara da definição de contingência.

ExEMPLO 14:

A proposição

p Ú q ® p Ù q

é uma contingência, conforme pode ser visto

por sua tabela-verdade:

p	q	p Ú q	p Ù q	p Ú q ® p Ù q
V	V	V	V	V
V	F	V	F	F
F	V	V	F	F
F	F	F	F	V

Perceba que a última coluna da tabela-verdade de ambos os valores lógicos V (verdade) e F (falsidade).

p Ú q ® p Ù q apresenta

s AIBA MAIs!

Continue estudando e complemente seus conhecimentos consultando as referências que citamos e/ou acessando páginas relacionadas da internet. Abaixo, listamos algumas páginas que poderão ajudá-lo. Bons estudos! http://www.pucsp.br/~logica/

http://wwmat.mat.fc.ul.pt/~jnsilva/ logica97/logica97.html http://rogesantana.vilabol.uol.com.br/ modulo_1/Logos1.htm#roge05

Chegamos à metade de nosso curso! Nesta aula, construímos tabelas-verdade de várias

proposições compostas, com destaque para

as tautologias, contradições e contingências e

aprendemos a determinar os valores lógicos de uma proposição composta para cada atribuição de valores lógicos às suas proposições componentes. Na próxima aula, trataremos das implicações e equivalências.

AULA 4

Conjuntos

Olá! Estamos iniciando a segunda metade de nosso curso. Já fizemos uma boa introdução ao cálculo proposicional e deve estar claro para você a importância de uma linguagem própria para a Matemática. Ainda temos muito a conhecer sobre Lógica: as relações de implicação e de equivalência, os tipos de demonstração, um pouco mais sobre a álgebra das proposições, as sentenças abertas e os quantificadores. Entretanto, nesta aula, faremos uma pausa na abordagem dos tópicos próprios da lógica, para revisarmos um pouco o que aprendemos sobre os conjuntos – uma noção complementar a de Lógica.

Aprofundaremos algumas noções básicas sobre conjuntos, realizaremos as principais operações com conjuntos e examinaremos algumas das propriedades dessas operações. Apresentaremos os conjuntos numéricos fundamentais e examinaremos propriedades importantes que ocorrem nestes conjuntos. Adicionalmente, procuraremos também estabelecer relações da lógica com conjuntos.

Objetivos

Conhecer a linguagem matemática básica
Compreender a importância dos conjuntos para a Matemática
Realizar operações com conjuntos
Aprofundar o conhecimento sobre conjuntos numéricos fundamentais

TÓPICO 1

Noções sobre conjuntos

OBjeTIVOs

Compreender intuitivamente noções básicas relacionadas a conjuntos
Conhecer alguns fatos da história da Teoria dos Conjuntos
Revisar notações usadas no estudo dos conjuntos

INTRODUÇÃO

compreensão de noções básicas sobre conjuntos é essencial para a Matemática. Para sermos mais enfáticos, hoje sabemos que todos os conceitos da Matemática moderna, desde os mais básicos, como o de

números naturais, até os mais complexos, como o de variedades diferenciais, podem ser formulados na linguagem de conjuntos. Dizer que os conceitos da Matemática atual podem reduzir-se aos conceitos de conjuntos é dizer que eles podem definir- se formalmente a partir destes. Desse modo, para dar consistência a qualquer afirmação matemática, basta, então, dar rigor às afirmações sobre conjuntos.

O caráter fundamentalmente conceitual da Teoria dos Conjuntos lhe dá lugar de destaque em todas as áreas em que o pensamento racional e, em particular, o pensamento científico é fundamental. A abordagem conjuntista é extremamente útil na sistematização de redes conceituais. Desse modo, parece natural que a Teoria dos Conjuntos deva estar na base de todas as ciências. Ainda que não nos demos conta, as diversas ciências naturais e humanas se desenvolvem graças a seu caráter conjuntista. Assim sendo, torna-se evidente o caráter universal da linguagem conjuntista e de suas teorias correspondentes.

A abordagem que daremos em nossa disciplina não é a de uma teoria dos conjuntos. Ela será, na verdade, apenas intuitiva e um tanto “ingênua”. Nosso interesse será de introduzir a linguagem dos conjuntos e mostrar que, em certo sentido, essa é uma linguagem universal. Iniciaremos fazendo um breve relato

histórico da criação da Teoria dos Conjuntos por Georg Cantor, mostrando sua importância para as ciências matemáticas e para as ciências empíricas. De acordo com Ferreira (2001, p. 17):

As idéias essenciais da teoria dos conjuntos foram introduzidas por G. Cantor, na parte final do século XIX. Desde então, a teoria dos conjuntos não deixou de desenvolver-se intensamente, de tal forma que hoje pode dizer-se que todos os ramos da Matemática foram profundamente influenciados e enriquecidos por essa teoria.

Saiba um pouco mais sobre Georg Cantor e suas contribuições para a Teoria dos Conjuntos lendo o texto seguinte:

CANTOR E A TEORIA DOS CONJuNTOS

Hygino H. Domingues

A natureza do infinito é uma questão antiga e controversa. Arquimedes (287- 212 a.C.) fazia distinção entre infinito potencial e infinito atual. Este último, que vem a ser o infinito como algo completo, era descartado por não haver nenhuma evidência de que alguma coleção de objetos pudesse corresponder a tal idéia. O conjunto N, por outro lado, é um exemplo de conjunto potencialmente infinito, pois sempre se pode somar uma unidade a cada um de seus elementos obtendo- se outro número natural.

No século XVII, Galileu comparou os conjuntos N * = {1, 2, 3, … } e P = {2, 4, 6,

…}. E assinalou que, se a idéia de infinito atual fosse válida, haveria tantos números

pares e ímpares reunidos quanto pares apenas, posto que a correspondência 1 à 2, 2 à 4, 3 à 6, …, n à 2n, … de N * em P é, como se diz hoje, biunívoca. Este aparente paradoxo deve tê-lo levado a deixar de lado tais cogitações.

Aliás, a idéia de infinito atual, por ter conotações de ordem religiosa, não era aceita também por certos teólogos (São Tomás de Aquino, por exemplo) que viam em Deus a única natureza absolutamente infinita. E isso deve ter contribuído para que sua adoção fosse retardada em Matemática.

Curiosamente, quem tirou a Matemática dessa camisa-de-força foi um homem de profunda fé religiosa, Georg Cantor (1845-1918). Cantor nasceu na Rússia, na cidade de São Petersburgo, mas aos 2 anos mudou-se com sua família para a Alemanha, onde se fixou. Em 1862 iniciou o curso de Engenharia em Zurique, mas, depois de um semestre, deixou-o para fazer Matemática em Berlim, em cuja universidade obteve o grau de doutor no ano de 1867 com uma tese sobre teoria dos números. Dois anos depois foi admitido na Universidade de Halle, onde transcorreria sua carreira acadêmica.

Dedicando-se entre 1870 e 1872 a pesquisas na área de análise matemática, Cantor acabou tendo sua atenção atraída para um assunto com o qual seu espírito tinha especial afinidade: a natureza dos conjuntos infinitos. E de sua opção por este caminho nasceria a teoria dos conjuntos como capítulo autônomo da Matemática.

O grande mérito de Cantor foi perceber, a partir daí, a existência de conjuntos infinitos de espécies diferentes,

numa escala de grandeza. Se dois conjuntos, como

N * e P, podem ser colocados em correspondência

biunívoca, diz-se que ambos têm mesma potência. E foi através dessas potências que Cantor hierarquizou o infinito. Na primeira categoria da escala do infinito,

estão todos os conjuntos com a mesma potência de N * ,

entre os quais estão P, Z e, surpreendentemente, o próprio

Estes são os conjuntos enumeráveis. A seqüência a seguir, em que os números são ordenados pela sua altura (= numerador + denominador), dá uma ideia do porquê de Q*ser também enumerável:

1/1, 1/2, 2/1, 1/3, 2/2, 3/1, 1/4, 2/3, 3/2, 4/1, …

Cantor mostrou que R e C têm a mesma potência e que esta é superior à dos enumeráveis. E mostrou ainda que a escala do infinito não tem limites: sempre há potências maiores e maiores.

Certos resultados obtidos por Cantor surpreenderam a ele mesmo. Sob esse ponto de vista é possível entender o porquê das duras críticas que recebeu de importantes matemáticos de seu tempo. Mas, para

o progresso da Matemática, prevaleceram opiniões como a de Hilbert: “Do paraíso criado por Cantor ninguém nos tirará”.

(IEZZI; MURAKAMI, 2004, p. 38-39)

IDEIA INTUITIVA DE CONJUNTO

Já deve estar claro que a noção de “conjunto” é uma noção fundamental da Matemática. Ela é a estrutura matemática sobre a qual todas as outras podem ser construídas (número, relação, função, …). O conceito de conjunto aparece em todos os ramos da Matemática e, a partir dele, podemos definir muitos outros conceitos matemáticos.

Não definimos o que é um conjunto. Esse é um conceito primitivo. A ideia intuitiva que temos é a de que

Portanto, um conjunto é constituído por elementos, porém esse é também um conceito primitivo, por isso não o definimos.

A noção de conjunto pode ser explicada intuitivamente. Vejamos alguns exemplos.

ExEMPLO 1:

O conjunto dos municípios do Ceará.
O conjunto dos alunos da Universidade Aberta do
O conjunto dos times de futebol Fortaleza, Ceará, Ferroviário e
O conjunto de todos os rios da
O conjunto dos números ímpares.
O conjunto dos números reais entre 0 e
O conjunto de todos os números racionais cujo quadrado é 2.
O conjunto dos números naturais que são múltiplos de
O conjunto dos números reais que são solução da equação x4+x=0.
O conjunto de todas as retas de um determinado

Desde que a Matemática lida principalmente com números e com o espaço, os conjuntos mais frequentemente encontrados nesta ciência são os conjuntos

numéricos e as figuras geométricas (conjuntos de pontos). Destes se derivam outros conjuntos importantes para a Matemática, como os conjuntos de funções, de matrizes, etc.

CARACTERÍSTICAS DE UM CONJUNTO

Os conjuntos costumam ser, em geral, designados por letras maiúsculas do nosso alfabeto e os elementos dos conjuntos representados por letras minúsculas. Entretanto, esta não é uma regra rígida. Em Geometria, por exemplo, é comum representarmos as retas (conjuntos de pontos) por letras minúsculas e os planos por letras do alfabeto grego.

Além dos conceitos de conjunto e elemento, precisamos de um terceiro

conceito primitivo para desenvolver a chamada teoria intuitiva dos conjuntos: o conceito de pertinência. De acordo com Lima (2003, p. 1) “Dados um conjunto A e um objeto qualquer a (que pode até mesmo ser outro conjunto), a única pergunta cabível em relação a eles é: a é ou não um elemento do conjunto A?”

No caso de “a ser um elemento do conjunto A”, dizemos que “a pertence ao conjunto A” e escrevemos aÎA. Caso contrário, ou seja, quando “a não é um elemento do conjunto A”, dizemos que “a não pertence ao conjunto A” e escrevemos aÏA.

Existem duas formas comuns de expressar um conjunto e a escolha de uma forma particular de expressão depende da conveniência e de certas circunstâncias, a saber:

Descrição por extensão, por citação dos elementos ou por enumeração dos elementos: quando definimos um determinado conjunto relacionando, citando ou enumerando seus membros. Por exemplo, ao considerarmos o conjunto A constituído dos números 1, 3, 5, 7 e 9, escrevemos:

A = {1, 3, 5, 7, 9},

ou seja, com os elementos separados por vírgulas e compreendidos entre chaves. Dizemos ainda que esta é a forma tabular de um conjunto.

Descrição por compreensão ou por uma propriedade: quando definimos um conjunto particular A por meio de uma propriedade P característica de seus elementos. Neste caso, usamos então uma letra, geralmente x, para representar um elemento arbitrário e escrevemos:

A = {x | x goza da propriedade P},

que se lê “A é o conjunto dos elementos x tal

que x goza da propriedade P”. Por exemplo, ao considerarmos B como o conjunto de todos os números pares, escrevemos: B = {x | x é par}. Dizemos ainda que esta é a forma de construção de um conjunto. Intuitivamente, a cada conjunto corresponde uma propriedade, ou seja, algo que caracteriza seus elementos.

Vejamos agora a descrição de alguns conjuntos por cada uma dessas formas.

ExEMPLO 2:

A = Conjunto das vogais

Descrição por extensão: A = {a, e, i, o, u}

Descrição por compreensão: A = {x |

x é vogal}

B = Conjunto dos números divisores positivos de 36

Descrição por extensão: B = {1, 2, 3,

4, 6, 9, 12, 18, 36}

Descrição por compreensão: B = {x | x

é divisor positivo de 36}

C = Conjunto das soluções da equação

x² – x – 6 = 0

Descrição por extensão: C = {-2,3}

Descrição por compreensão: C = {x | x é solução da equação x² – x – 6 = 0 }

ExEMPLO 3:

E = Conjunto dos números inteiros não negativos que são menores que 200 Descrição por extensão: E = {0, 1, 2, …, 200}

Descrição por compreensão: E = {x | x é inteiro e 0 £ x £ 200 }

F = Conjunto dos números pares positivos Descrição por extensão: F = {2, 4, 6, …}

Descrição por compreensão: F = {x | x é número par positivo}

Neste tópico, revisitamos algumas noções básicas e notações usadas no trabalho com conjuntos. No próximo tópico, veremos mais alguns conceitos importantes e interessantes no trabalho com conjuntos.

TÓPICO 2

Mais conceitos básicos

OBjeTIVOs

Identificar e diferenciar conjuntos finitos e conjuntos infinitos
Caracterizar conjuntos como vazio, unitário e universal
Revisar as relações de igualdade e de inclusão
Rever representações de conjuntos por meio de diagramas
Conhecer alguns conjuntos numéricos

s AIBA MAIs!
Quando a quantidade de elementos de um conjunto finito X é n, dizemos que X tem n elementos.

INTRODUÇÃO

este tópico, retomaremos alguns conceitos básicos interessantes no

estudo de conjuntos.

CONJUNTOS FINITOS E INFINITOS

Grosso modo, um conjunto é finito se consiste de um número específico de elementos

diferentes, isto é, se, ao contarmos os seus diferentes membros, o processo de contagem chega a um final. De outro modo, o conjunto é infinito.

ExEMPLO 4:

No Exemplo 1, são infinitos os conjuntos dos itens 5, 6 e 8 e os demais são finitos. Os conjuntos do Exemplo 2 são todos finitos. Já no Exemplo 3 temos o conjunto E, que é finito e o F que é infinito.

CONJUNTOS VAZIO, UNITÁRIO E UNIVERSAL
- Conjunto vazio ou nulo é aquele que não contém Representamos um conjunto vazio por { } ou pelo símbolo Æ. São exemplos de conjuntos vazios:

ExEMPLO 5:

A = {x | x é ímpar e múltiplo de 2}

B = {x | x ¹ x}

Conjunto unitário é aquele que só possui um

ExEMPLO 6:

C = {x | 3x+1=7} = {2}

Conjunto universal ou universo é conjunto de todos os elementos existentes em um determinado assunto em estudo. Dependendo do conjunto universo com que estamos trabalhando, um determinado problema pode ter uma ou outra solução, ou até não ter solução. Designaremos o conjunto universo por U.

ExEMPLO 7:

Se procurarmos as soluções inteiras de certa equação, então o nosso conjunto universo é  , conjunto de todos os números inteiros.

IGUALDADE DE CONJUNTOS

DEFINIçÃO 1 (IgUALDADE DE CONJUNTOs)
Um conjunto A é igual a um conjunto B, A = B, se ambos têm os mesmos elementos, isto é, se cada elemento pertencente a A pertencer também a B, e se cada elemento pertencente a B pertencer também a A. Simbolicamente: A = B Û (“x) (xÎA Û xÎB).

ExEMPLO 8:

{a, b, c} = {b, a, c} = {a, b, b, c, c, c}

Esse exemplo ilustra, em se tratando de conjuntos, que a) uma mudança na ordem em que os elementos são descritos não altera o conjunto, ou seja, a ordem não importa; e b) a repetição de elementos é desnecessária.

Se A não é igual a B, dizemos que A é diferente de B e escrevemos A ¹ B. Isso ocorre se existe algum elemento de A que não é elemento de B ou se existe algum elemento de B que não é elemento de A. Ou, simbolicamente:

$x, xÎA½xÏB ou $x, xÎB½xÏA.

ExEMPLO 9:

{a, b, d} ¹ {a, b, c, d}

Note que todos os elementos do primeiro conjunto são também elementos

do segundo conjunto, mas existe um elemento do segundo conjunto que não é elemento do primeiro conjunto: o elemento c.

SUBCONJUNTOS – DEFINIÇÕES DE TEOREMAS

DEFINIçÃO 2 (RELAçÃO DE INCLUs ÃO)

Se cada elemento do conjunto A é também um elemento do conjunto B, dizemos que A é um subconjunto de B, ou que A está contido em B, ou que A é parte de B e indicamos por A Ì B. O símbolo Ì é denominado sinal de inclusão e a relação A Ì B chama-se relação de inclusão. Simbolicamente:

A Ì B Û (“x) (xÎA Þ xÎB).

Quando A Ì B, escrevemos também B É A, que pode ser lido como B é superconjunto de A ou B contém A. Escrevemos ainda A Ë B ou B A se A não for subconjunto B. Simbolicamente:

A Ë B Û ($x) (xÎA e xÏB).

ExEMPLO 10:

{x | x é inteiro e par} Ì {x | x é inteiro} {a, b, c} Ë {b, c, d, e}

Uma inclusão bem curiosa, cuja demonstração é feita por vacuidade e pode ser vista em Lima (2003, p. 4), é:

TEOREMA 1
Æ Ì A, qualquer que seja o conjunto A.

A relação de inclusão goza de três propriedades fundamentais que podem ser vistas no teorema seguinte, em que A, B e C são conjuntos quaisquer.

TEOREMA 2 (PROPRIEDADEs DA INCLUs ÃO)

Æ Ì A, qualquer que seja o conjunto A.

1. A Ì A (reflexividade);

2. Se A Ì B e B Ì A, então A = B (antissimetria);

3. Se A Ì B e B Ì C, então A Ì C (transitividade).

Quando B Ì A e B ¹ A, dizemos que B é um subconjunto próprio de A e podemos escrever . Alguns autores representam “B é um subconjunto de A” por B Í A e “B é um subconjunto próprio de A” por B Ì A.

DEFINIçÃO 3 (COMPARAçÃO DE CONJUNTOs)

Dizemos que dois conjuntos A e B são comparáveis se A Ì B ou B Ì A e que A e B

não são comparáveis se A Ë B e B Ë A.

ExEMPLO 11:

{a, b, c, d} e {a, b, c} são comparáveis

{1, 2, 3} e {2, 3, 4} não são comparáveis

CONJUNTOS DE CONJUNTOS – DEFINIÇÃO E TEOREMA

Já sabemos que os objetos de um conjunto podem ser de qualquer natureza, podendo ser inclusive conjuntos. Nos casos em que os elementos de um conjunto são, eles próprios, conjuntos, definimos:

DEFINIçÃO 4

Uma família de conjuntos ou classe de conjuntos é um conjunto cujos

elementos são conjuntos.

Evitamos falar em conjunto de conjuntos e, para não causar confusão, costumamos representar famílias de conjuntos por letras manuscritas.

ExEMPLO 12:

Em geometria, as linhas e as curvas são conjuntos de Desse modo, podemos falar em uma “família de linhas” ou em uma “família de curvas” para designar os conjuntos cujos elementos são, respectivamente, linhas ou curvas.
O conjunto Á= {{2,3}, {4}, {5,6}} é uma família de

Teoricamente, um conjunto pode ter alguns elementos que sejam conjuntos e outros que não sejam conjuntos.

ExEMPLO 13:

À= {1, {2,3}, 4, {5,6}} . Neste caso, À não é uma família de conjuntos. Dado um conjunto A qualquer, uma interessante família de conjuntos

associada a A é a família de todos os subconjuntos do conjunto A, chamada conjunto de potência de A ou conjunto das partes de A e designada por 2A ou Ã(A). Simbolicamente:

Ã(A) = {X | X Ì A}.

O teorema seguinte é bastante conhecido e dá a relação entre o número de elementos de um conjunto finito e o número de elementos de seu conjunto das partes.

TEOREMA 3
Se um conjunto A tem n elementos, então 2A tem 2n elementos.

ExEMPLO 14:

Se A = {a, b, c, d}, então as partes de A são os conjuntos:

1 conjunto que não contém elementos: Æ (lembre que Æ é subconjunto de qualquer conjunto)
4 conjuntos contendo 1 elemento: {a}, {b}, {c}, {d}
6 conjuntos contendo 2 elementos: {a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d}
4 conjuntos contendo 3 elementos: {a, b, c}, {a, b, d}, {a, c, d}, {b, c, d}
1 conjunto contendo 4 elementos: o próprio conjunto A

Portanto, 2A = {Æ, {a}, {b}, {c}, {d}, {a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d},

{a, b, c}, {a, b, d}, {a, c, d}, {b, c, d}, A}. Note que 2A é constituído de 24 = 16 conjuntos.

REPRESENTAÇÕES POR MEIO DE DIAGRAMAS

É usual representar um conjunto por meio de diagramas. Eles constituem um meio simples, prático e instrutivo de ilustrar as relações existentes entre conjuntos. Destacamos:

Diagramas de Venn-Euler ou, simplesmente, diagramas de Venn: representamos um conjunto por uma área plana simples, limitada por uma curva fechada, sem auto- interseção (geralmente, por um círculo ou por uma elipse). Nessa representação, os elementos do conjunto são pontos interiores a área. Elementos que não pertencem ao conjunto são representados por pontos no exterior da área.

ExEMPLO 15:

Na figura ao lado, representamos o conjunto A = {a, b, c}. A figura indica que a a Î A, b Î A, c Î A e d Ï A.

ExEMPLO 16

Abaixo estão representados, em diagrama de Venn-Euler, alguns conjuntos e relações entre eles.

Figura 8 − Diagrama de Venn-Euler

Figura 9 − Diagramas de Venn-Euler

Diagramas de linha: Se A Ì B, escrevemos B em nível mais alto que A,

ligando-os por uma linha. Veja ilustração ao lado (Figura 3).

ExEMPLO 17:

Figura 10 − Diagrama de Linha

Sejam X = {x}, Y = {x, y}, Z = {x, y, z} e W = {x, y, w}. A representação em linha das relações entre esses conjuntos pode ser vista na Figura 11:

CONJUNTOS NUMÉRICOS

Já vimos que um dos principais objetos de estudo da Matemática são os

Figura 11 − Diagrama de Linha

números. Os conjuntos numéricos são conjuntos cujos elementos são números. À medida que se civilizava, a humanidade foi se apoderando desses modelos abstratos que são os números. Tais modelos foram introduzidos, principalmente, diante das necessidades do homem de contar e medir. De acordo com Lima (2003, p. 25), “números são entes abstratos, desenvolvidos pelo homem como modelos que permitem contar e medir, portanto avaliar as diferentes quantidades de uma grandeza”.

Finalizamos este tópico apresentando, apenas informalmente, alguns conjuntos numéricos e sua notação. Para um estudo mais detalhado desses conjuntos: origens, construção etc., você poderá consultar algumas das referências que citamos ou outras da literatura específica.

Destacamos:

Conjunto dos números naturais

 = {1, 2, 3, …} .

Muitos autores consideram o número 0 um número natural. Mas esta é uma questão não relevante. Na verdade, a essência da caracterização de  está na palavra sucessor (LIMA, 2003).

Conjunto dos números inteiros

 = {…, -3, -2, -1, 0, 1, 2, 3, …} .

Devemos destacar que  é o conjunto dos números inteiros positivos e que a

passagem de  para  se dá pela introdução dos números negativos. Portanto  Ì  .

Conjunto dos números racionais

 = {a

| a Î, b Î e b ¹ 0} .

Um fato interessante a respeito de números racionais é que todo número racional

pode ser escrito como um número decimal, ou seja, pode ser escrito na forma

a = a0 , a1a2 an  ,

em que a₀

é um número inteiro e

a1 , a2 , , an , são números inteiros

tais que 0 £ an £ 9 , ou seja, são algarismos do sistema de numeração decimal, de modo que ocorre um dos dois casos seguintes:

o número decimal tem uma quantidade finita de algarismos, isto é, é

uma decimal exata;

o número decimal tem uma quantidade infinita de algarismos que se repetem, a partir de um determinado, periodicamente, isto é, é uma dízima periódica.

EXEMPLO 18:

O número

é um número racional cuja representação decimal é a decimal

exata 1,5, e o número 3 é um número racional que tem como representação decimal

a dízima periódica 0,333…

Outro fato que pode ser notado facilmente é que todo número inteiro a é um número racional, pois a = . Logo,  Ì  .

Conjunto dos números irracionais

É fácil constatar que existem números que não são racionais. O número

, por exemplo, não pode ser escrito como quociente de dois números inteiros e, portanto, não é racional.

O conjunto dos números cuja representação decimal não é uma decimal exata e nem uma dízima periódica, ou seja, o conjunto dos números cuja representação decimal tem infinitas casas decimais que não se repetem periodicamente, é chamado conjunto dos números irracionais . Vejamos alguns exemplos de números do conjunto .

ExEMPLO 19:

= 1, 4142135623…

p = 3,1415592653… 0,1010010001…

Conjunto dos números reais

É o conjunto de todos os números que são racionais ou que são irracionais, ou seja,

ℝ =  È

Temos as seguintes inclusões:  Ì ℝ e Ì ℝ .

Neste tópico, ampliamos nossos conhecimentos vendo alguns conceitos básicos relacionados ao estudo de conjuntos. Agora, estamos em condições de realizar as principais operações com conjuntos.

TÓPICO 3

Operações com conjuntos

OBjeTIVOs

Realizar operações com conjuntos
Entender propriedades algébricas das operações com conjuntos
Relacionar a linguagem dos conjuntos com a linguagem da lógica

INTRODUÇÃO

a aritmética, podemos somar, multiplicar ou subtrair dois números quaisquer. Na Teoria dos Conjuntos, há três operações análogas: união, interseção, e complementação. Neste tópico, apresentaremos estas operações básicas com

conjuntos.

REUNIÃO – DEFINIÇÃO E TEOREMA

DEFINIçÃO 5

Dados os conjuntos A e B, a reunião (ou união) de A e B é o conjunto, denotado por A È B (que se lê “A união B”), constituído de todos os elementos que pertencem a A ou a B ou a ambos. Simbolicamente:

A È B = {x | x Î A ou x Î B}.

ExEMPLO 20:

{a, b, c} È {c, d, e} = {a, b, c, d, e}

Abaixo, listamos propriedades da união de conjuntos e sua representação em diagrama de Venn-Euler:

Propriedades da União:

A È A = A (idempotente)
A È Æ = A (elemento neutro)

A È B = B È A (comutativa)
(A È B) È C = A È (B È C) (associativa)

A demonstração do teorema seguinte pode ser encontrada na literatura básica de Teoria dos Conjuntos. Faça-a como exercício.

Figura 12 − União de conjuntos

TEOREMA 4

Quaisquer que sejam os conjuntos A e B valem:

1. A Ì (A È B) e B Ì (A È B)

2. Se A Ì B, então A È B = B.

INTERSEÇÃO – DEFINIÇÃO E TEOREMA

DEFINIçÃO 6

Dados os conjuntos A e B, a interseção de A e B é o conjunto, denotado por A Ç B (que se lê “A interseção B”), constituído de todos os elementos que pertencem ao mesmo tempo a A e a B. Simbolicamente:

A Ç B = {x | x Î A e x Î B}.

ExEMPLO 21:

{a, b, c} Ç {b, c, d, e} = {b, c}

Abaixo listamos propriedades da interseção de conjuntos e sua representação em diagrama de Venn-Euler.

Propriedades da Interseção:

A Ç A = A (idempotente)
A Ç U = U (elemento neutro)
A Ç B = B Ç A (comutativa)
(A Ç B) Ç C = A Ç (B Ç C) (associativa)

A demonstração do teorema seguinte também pode ser encontrada na literatura básica de Teoria dos Conjuntos. Faça-a como exercício.

TEOREMA 5

Quaisquer que sejam os conjuntos Ae B valem:

1. (A Ç B) Ì A e (A Ç B) Ì B

2. Se A Ì B, então A Ç B = A.

Figura 13 − Interseção de conjuntos

Quando A e B não têm elementos em comum, ou seja, quando A Ç B = Æ, dizemos que A e B são disjuntos.

Existem algumas propriedades que relacionam as operações de união e interseção, a saber:

Propriedades que relacionam a união e a interseção:

A È (A Ç B) = A
A Ç (A È B) = A
1. A È (B Ç C) = (A È B) Ç (A È C) (distributiva da união em relação à interseção)
2. A Ç (B È C) = (A Ç B) È (A Ç C) (distributiva da interseção em relação à união)

A relação entre a linguagem dos conjuntos e a linguagem da lógica é natural.

De acordo com Lima (2003, p. 15):

[…] as operações A È B e A Ç B entre conjuntos constituem a contrapartida matemática dos conectivos lógicos “ou” e “e”. Assim, quando o conjunto A é formado pelos elementos que gozam da propriedade P e B pelos que gozam da propriedade Q então a propriedade que define o conjunto A È B é “P ou Q” e o conjunto A Ç B é definido pela propriedade “P e Q”.

DIFERENÇA E COMPLEMENTAÇÃO – DEFINIÇÃO E TEOREMA

DEFINIçÃO 7

Dados os conjuntos A e B, a diferença dos conjuntos A e B (ou, complemento de B em A) é o conjunto, denotado por A – B (que se lê “A diferença B” ou “A menos B”), constituído de todos os elementos que pertencem a A, mas não pertencem a B. Simbolicamente:

A – B = {x | x Î A e x Ï B}.

ExEMPLO 22:

{a, b, c, d} – {c, d, e, f} = {a, b}

Quando B Ì A, a diferença A– B é chamada também o complementar de B em relação a A e é denotada por CAB . O complementar de um dado conjunto A em relação a um conjunto universo U fixo é definido abaixo:

DEFINIçÃO 8

Fixado um conjunto universo U e dado um conjunto A (subconjunto de U), complementar de A é o conjunto, denotado por AC (que se lê “complementar de A”), constituído de todos os elementos de U que não pertencem a A. Simbolicamente:

AC = {x | x Î U e x Ï A}.

ExEMPLO 23:

Sejam U = {1, 2, 3, 4, 5, 6, 7} e A = {1, 3, 5, 7}. Então AC = {2, 4, 6}

Seja P = {x Î  | x é par}. Então, C P = {x Î  | x é ímpar}

O conjunto AC costuma ser representado também por A ou por A’ .

Abaixo, listamos propriedades da diferença e da complementação de conjuntos e suas representações em diagrama de Venn-Euler.

Propriedades da Diferença e da Complementação:

CAB Ç B = Æ e CAB È B = A
CAA =Æ e CAÆ= A
CA (CAB) = B
CA (B Ç C) = CAB È CAC
CA (B È C) = CAB Ç CAC

A È AC = U e A Ç AC = Æ
UC = Æ e ÆC = U
( AC )C = A
A – B = A Ç BC
Se A Ì B, então BC Ì AC

Figura 14 − Diferença de conjuntos

A demonstração do teorema seguinte, como as anteriores, pode ser encontrada na literatura básica de Teoria dos Conjuntos. Faça-a como exercício.

TEOREMA 6

Quaisquer que sejam os conjuntos A e B valem:

1. (A – B) Ì A

2. Os conjuntos A – B, A Ç B e B – A são mutuamente disjuntos.

PRODUTO CARTESIANO – DEFINIÇÃO

s AIBA MAIs!

O par ordenado p = (x, y) é diferente do conjunto {x, y}, pois

{x, y} = {y, x} sempre, enquanto

(x, y) = (y, x) só é verdadeira

quando x = y .

Para definir o produto cartesiano de conjuntos, precisamos antes saber o que é um par ordenado. De acordo com Lima (2003, p. 78),

“um par ordenado p = (x, y) é formado por

um objeto x, chamado a primeira coordenada de p e um objeto y, chamado a segunda coordenada de p”.

É fácil perceber que dois pares ordenados

p = (x, y) e q = (u, v) são iguais se, e somente se, eles tiverem a mesma primeira coordenada e

a mesma segunda coordenada, isto é, quando

x = u e

y = v .

DEFINIçÃO 9

Chama-se produto cartesiano de dois conjuntos A e B, o conjunto, denotado por A ´ B (que se lê “A cartesiano B” ou “produto cartesiano de A por B”), formado por todos os pares ordenados (x, y), cuja primeira coordenada x pertence a A e cuja segunda coordenada y pertence a B. Simbolicamente:

A ´ B = {(x, y) | x Î A e x Î B}.

ExEMPLO 24:

Sejam A = {a, b, c} e B = {1, 2}. Então: A ´ B = {(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)}

B ´ A = {(1, a), (2, a), (1, b), (2, b), (1, c), (2, c)}

A ´ A = {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)}

B ´ B = {(1, 1), (1, 2), (2, 1), (2, 2)}

Nesta aula, vimos noções básicas sobre conjuntos. Essas noções são essenciais, pois constituem uma importante ferramenta que você poderá aplicar em todo o seu curso. Na próxima aula, retomaremos os tópicos próprios da lógica.

AULA 5

Implicações, equivalências, afirmações e demonstrações

Olá! Chegamos à nossa quinta aula. Você já conhece um pouco da linguagem da Lógica e dos Conjuntos e sabe, inclusive, realizar certas operações. Sabe, ainda que é possível, natural e útil, relacionar essas linguagens.

Nesta aula, você terá a oportunidade de conhecer duas importantes relações entre proposições: a implicação lógica e a equivalência lógica. Veremos que esses dois conceitos desempenham um papel fundamental nas afirmações matemáticas. Apresentaremos ainda os significados dos principais termos utilizados em uma teoria axiomática e os principais tipos de demonstração usados para validar logicamente certas afirmações da Matemática. Então, mãos à obra e bons estudos!

Objetivos

Conhecer as relações de implicação lógica e de equivalência lógica
Diferenciar os principais tipos de afirmações na Matemática
Analisar e saber usar os diferentes tipos de demonstrações
Construir algumas demonstrações

TÓPICO 1

Implicações lógicas

OBjeTIVOs

Entender quando uma proposição implica outra
Conhecer as propriedades das implicações

INTRODUÇÃO – DEFINIÇÕES

este tópico, apresentaremos a relação de implicação. A compreensão desse conceito será fundamental para estudarmos, em tópicos futuros, certos tipos de afirmações e demonstrações que se apresentam na

Matemática. Antes, porém, vejamos alguns conceitos introdutórios.

DEFINIçÃO 1

Duas proposições são ditas independentes quando, em suas tabelas-verdade, ocorrem todas as quatro alternativas VV, VF, FV e FF. Do contrário, ou seja, quando nas tabelas- verdade de duas proposições não ocorre pelo menos uma das quatro alternativas VV, VF, FV e FF, dizemos que elas são dependentes. Quando duas proposições são dependentes,

dizemos ainda que existe uma relação entre elas.

ExEMPLO 1:

As proposições ~ p e p « q são independentes, como pode ser observado em suas tabelas verdades.

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

Note que ocorrem as quatro alternativas: VV ocorre na linha 4, VF ocorre na linha 3, FV ocorre na linha 1 e FF ocorre na linha 2.

ExEMPLO 2:

p	q	q ® p
V	V	V
V	F	V
F	V	F
F	F	V

s AIBA MAIs!
Uma relação entre proposições em que não ocorre exatamente uma das alternativas VV, VF, FV, FF é dita uma relação simples, enquanto uma relação em que não ocorrem exatamente duas das alternativas é dita uma relação composta.

As proposições p e q ® p são dependentes, como pode ser observado em suas tabelas verdades.

Note que ocorre a alternativa VV nas linhas 1 e 2, FV na linha 4 e FF na linha 3, mas não ocorre a alternativa VF. Portanto, existe uma relação entre as proposições p e q ® p.

Note que a relação do Exemplo 2 é uma relação simples. Estamos agora em condições de

introduzir os conceitos de implicação e de equivalência.

ExEMPLO 3:

Observe as tabelas-verdade das proposições p Ù q e p « q. Note que, sempre que p Ù q é verdadeira (V), p « q é também verdadeira (V).

p	q	p Ù q	p « q
V	V	V	V
V	F	F	F
F	V	F	F
F	F	F	V

Portanto, não ocorre a alternativa VF (nessa ordem) nas tabelas-verdade de p Ù q e p « q. Logo, p Ù q implica p « q ou, simbolicamente, p Ù q Þ p « q.

TEOREMA E COROLÁRIO

O teorema seguinte estabelece uma relação entre a implicação lógica e certa proposição condicional. Sua demonstração pode ser vista em Alencar Filho (2002, p. 52):

TEOREMA 1
A proposição P implica a proposição Q, isto é, P Þ Q se, e somente se, a condicional P ® Q é uma tautologia.

Portanto, toda implicação corresponde a uma condicional tautológica, e vice-versa. Mediante o Princípio da Substituição visto no

Teorema 2 da Aula 3, uma consequência deste teorema é o seguinte corolário:

Vejamos mais alguns exemplos nos exercícios seguintes.

ExERCÍCIO RESOLvIDO 1:

Usando tabela-verdade, prove que p Ù q Þ p Ú q.

SOLuÇÃO:

Vamos construir a tabela-verdade da condicional p Ù q ® p Ú q:

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

Portanto, a condicional p Ù q ® p Ú q é tautológica, pois, na última coluna de sua tabela-verdade, ocorre somente o valor lógico V. Logo, pelo Teorema 1, a proposição p Ù q implica p Ú q ou, simbolicamente, p Ù q Þ p Ú q.

ExERCÍCIO RESOLvIDO 2:

Verifique, usando tabela-verdade, se a proposição p « ~ q implica, ou não, a proposição ~ p ® ~ q.

SOLuÇÃO:

Vamos construir a tabela-verdade da condicional (p « ~ q) ® (~ p ® ~ q):

p	q	~ p	~ q	p « ~ q	~ p ® ~ q	(p « ~ q) ® (~ p ® ~ q)
V	V	F	F	F	V	V
V	F	F	V	V	V	V
F	V	V	F	V	F	F
F	F	V	V	F	V	V

Portanto, a condicional (p « ~ q) ® (~ p ® ~ q) não é tautológica, pois,

na última coluna de sua tabela-verdade, ocorre o valor lógico F. Logo, pelo Teorema 1, a proposição p « ~ q não implica ~ p ® ~ q ou, simbolicamente, p « ~ q

Þ/ ~ p ® ~ q.

Os símbolos lógicos “ ® ” e “ Þ ” não possuem o mesmo significado lógico.

De acordo com Daghlian (1995, p. 47), é importante:

Não confundir os símbolos ® e Þ , pois, enquanto o primeiro representa uma operação entre proposições dando origem a uma nova proposição, o segundo indica apenas uma relação entre duas proposições dadas.

É fácil notar que a relação de implicação goza das propriedades:

Reflexiva: P Þ P ;

Transitiva: Se P Þ Q

P Þ R .

e Q Þ R , então

Associada à implicação P Þ Q

(P implica

Q) está a implicação ~ Q Þ~ P

implica a negação de P).

(a negação de Q

Vale ressaltar que muitas afirmações (resultados) na Matemática são apresentadas na forma:

H (Hipótese) Þ T (Tese) .

A demonstração de tais afirmações consiste em: supondo-se que a hipótese seja verdadeira, deve-se provar que a tese é verdadeira.

Nesses casos, e em muitas outras situações, é muito comum substituir a implicação P Þ Q por ~ Q Þ~ P , a fim de tornar seu significado mais claro ou manejável.

Agora que você já sabe o que é uma implicação lógica, passemos à definição de equivalência lógica.

TÓPICO 2

Equivalências lógicas

OBjeTIVOs

Entender quando duas proposições são equivalentes
Conhecer as propriedades das equivalências

INTRODUÇÃO – DEFINIÇÃO

Neste tópico, apresentaremos a relação de equivalência. Assim como o conceito de implicação, esse é um conceito fundamental para compreendermos certos tipos de afirmações e demonstrações que se apresentam na Matemática.

DEFINIçÃO 3
Dizemos que uma proposição P é equivalente (ou logicamente equivalente) a uma proposição Q, e representaremos por P Û Q , quando, em suas tabelas-verdade, não ocorrem VF nem FV em uma mesma linha. Equivalentemente, P Û Q quando as tabelas-verdade de P e Q são idênticas.

ExEMPLO 4:

As proposições ~ ~ P e P são equivalentes, ou seja, toda afirmação é equivalente à sua dupla negação. De fato, basta verificar que as tabelas-verdade de

~ ~ P e de P são idênticas:

P	~ P	~ ~ P
V	F	V
F	V	F

Portanto, simbolicamente, temos ~ ~ P Û P, chamada Regra da Dupla Negação.

ExEMPLO 5:

As proposições p ® q

e ~ p Ú q

são equivalentes, ou seja, uma bicondicional é

equivalente à disjunção da negação do antecedente com o seu consequente. Simbolicamente, representamos ( p ® q) Û (~ p Ú q) . Das tabelas-verdade de p ® q e ~ p Ú q , temos:

p	q	~ p	p ® q	~ p Ú q
V	V	F	V	V
V	F	F	F	F
F	V	V	V	V
F	F	V	V	V

Note que as tabelas-verdade de p ® q

e ~ p Ú q

são idênticas.

TEOREMA E COROLÁRIO

O teorema seguinte estabelece uma relação entre a equivalência lógica e certa proposição bicondicional. Sua demonstração pode ser vista em Alencar Filho (2002, p. 52)

TEOREMA 2
A proposição P implica a proposição Q, isto é, P Û Q se, e somente se, a condicional P « Q é uma tautologia.

Portanto, toda equivalência corresponde a uma bicondicional tautológica, e vice-versa. Mediante o Princípio da Substituição visto no Teorema 2 da Aula 3, uma consequência deste teorema é o seguinte corolário:

Vejamos mais alguns exemplos nos exercícios seguintes.

ExERCÍCIO RESOLvIDO 3:

Usando a tabela-verdade, mostre a chamada Regra de Absorção: p ® p Ù q Û p ® q.

SOLuÇÃO:

Vamos construir a tabela-verdade da bicondicional (p ® p Ù q) « (p ® q):

P	q	p Ù q	p ® p Ù q	p ® q	(p ® p Ù q) « (p ® q)
V	V	V	V	V	V
V	F	F	F	F	V
F	V	F	V	V	V
F	F	F	V	V	V

Portanto, a bicondicional (p ® p Ù q) « (p ® q) é tautológica, pois, na última coluna de sua tabela-verdade, ocorre somente o valor lógico V. Logo, pelo Teorema 2, as proposições p ® p Ù q e p ® q são equivalentes, ou seja, ocorre p ® p Ù q Û p ® q. ExERCÍCIO RESOLvIDO 4:

Verifique, usando a tabela-verdade, que a proposição p « q é equivalente à conjunção das duas condicionais p ® q e q ® p, ou seja, mostre que p « q e (p ® q) Ù (q ® p) são equivalentes.

SOLuÇÃO:

Vamos construir as tabelas-verdade das proposições p « q e (p ® q) Ù (q ® p):

p	q	p ® q	q ® p	p « q	(p ® q) Ù (q ® p)
V	V	V	V	V	V
V	F	F	V	F	F
F	V	V	F	F	F
F	F	V	V	V	V

Portanto, as tabelas-verdade de p « q e (p ® q) Ù (q ® p) são idênticas. Logo, as proposições p « q e (p ® q) Ù (q ® p) são equivalentes. Simbolicamente, temos:

p « q Û (p ® q) Ù (q ® p).

É fácil notar que a relação de equivalência goza das propriedades:

Reflexiva: P Û P ;

Simétrica: Se P Û Q , então Q Û P ;

Transitiva: Se P Û Q

P Û R .

e Q Û R , então

A exemplo do que vimos para implicação, destacamos também que existe um grande número de afirmações (resultados) na Matemática que são apresentadas na forma:

A Û B .

A demonstração de tais afirmações consiste em demonstrar as duas implicações:

A Þ B e B Þ A .

Voltemos agora à condicional P ® Q . Associadas a ela existem algumas outras proposições condicionais correlacionadas que têm papel fundamental na comunicação em Matemática. Vejamos na próxima definição quais são essas condicionais e, no teorema seguinte, como elas estão relacionadas.

DEFINIÇÃO

DEFINIçÃO 4

São proposições associadas à condicional P ® Q as seguintes proposições condicionais contendo P e Q:

1. Q ® P : proposição recíproca de P ® Q ;

2. ~ P ®~ Q : proposição contrária de P ® Q ;

3. ~ Q ®~ P : proposição contrapositiva de P ® Q .

ExEMPLO 6:

Dadas as proposições:

P: A e B são ângulos opostos pelo vértice.

Q: A e B são ângulos de medidas iguais.

Considere a condicional P ® Q , que em linguagem corrente é:

“Se A e B são ângulos opostos pelo vértice, então A e B são ângulos de medidas iguais”.

Logo, as proposições recíproca, contrária e contrapositiva associadas a P ® Q são

® Recíproca: Q ® P , que é “se A e B são ângulos de medidas iguais, então A e B são ângulos opostos pelo vértice”.

® Contrária: ~ P ®~ Q , que é “se A e B não são ângulos opostos pelo

vértice, então A e B são ângulos de medidas diferentes”.

® Contrapositiva: ~ Q ®~ P , que é “se A e B são ângulos de medidas diferentes, então A e B não são ângulos opostos pelo vértice”.

Analisando a construção dessas proposições, é fácil concluir que a proposição

P ® Q

e sua contrapositiva ~ Q ®~ P

são ambas verdadeiras (V) e que a

recíproca Q ® P e a contrária ~ P ®~ Q de P ® Q são ambas falsas (F).

As conclusões feitas no Exemplo 6 são verdades válidas de modo geral. Mais precisamente, analisando as tabelas-verdade de uma condicional

P ® Q

e de suas três proposições associadas:

P	Q	~ P	~ Q	P ® Q	Q ® P	~ P ® ~ Q	~ Q ® ~ P
V	V	F	F	V	V	V	V
V	F	F	V	F	V	V	F
F	V	V	F	V	F	F	V
F	F	V	V	V	V	V	V

é possível concluir que (cf. ALENCAR FILHO, 2002)

® A condicional P ® Q

e a sua contrapositiva ~ Q ®~ P

são

equivalentes ou, simbolicamente:

P ® Q Û ~ Q ®~ P

® A recíproca Q ® P e a contrária ~ P ®~ Q da condicional P ® Q

são equivalentes ou, simbolicamente:

Q ® P Û ~ P ®~ Q .

Essas tabelas mostram também que a condicional e a sua recíproca ou a sua contrária não são equivalentes.

Neste tópico, vimos o que é uma equivalência

lógica e sua importância para a Matemática. No próximo tópico, teremos a oportunidade de aplicar os conhecimentos adquiridos, neste tópico e no anterior, no estudo dos tipos de demonstrações.

TÓPICO 3

Tipos de afirmações na matemática

OBjeTIVOs

Conhecer os significados dos principais tipos de afirmações na Matemática
Diferenciar os principais tipos de afirmações na Matemática

INTRODUÇÃO

oda a Matemática está baseada em afirmações, algumas das quais necessitam de uma comprovação lógica de seu resultado. Essas afirmações recebem denominações específicas que são conceitos primitivos, definições,

axiomas, postulados, teoremas, proposições, corolários e lemas.

Neste tópico, estudaremos os significados desses tipos de afirmações da Matemática. Esse conhecimento é fundamental, pois as proposições e as afirmações dentro da Matemática exercem um papel central, sendo muito comum introduzirmos novas proposições e afirmações (e, portanto, tratar de novos temas e/ou teorias) a partir de proposições e afirmações já existentes.

O MÉTODO AXIOMÁTICO

Os princípios básicos da Matemática (fundamentos da Matemática), ou seja, os modos como a ela se estrutura, é objeto de estudo da filosofia da Matemática, que busca ainda caracterizar e explicar o estado presente da evolução da Matemática, justificando-o criticamente (COSTA, 2008). São três as correntes principais: logicismo, intuicionismo e formalismo.

Todas essas teorias contribuíram para a evolução da Matemática, sendo marcadas por uma renovação de ideias que são utilizadas até hoje. O logicismo foi fundado por Bertrand Russell (1872-1970) e por Gottlob Frege (1848-1925) e estabelece que “a Matemática reduz-se à lógica”. O intuicionismo é a teoria estabelecida por Brouwer (1881-1966) e procura demonstrar que “o saber matemático escapa a toda e qualquer caracterização simbólica e se forma em etapas sucessivas

que não podem ser conhecidas de antemão”. O criador e principal representante do formalismo foi o alemão David Hilbert (1862-1943), um dos maiores matemáticos contemporâneos. O formalismo nasceu das conquistas alcançadas pelo chamado “método axiomático”.

O método axiomático encontra aplicação praticamente em toda a Matemática, constituindo-se, hoje, na técnica básica desta ciência. De acordo com Costa (2008, p. 33):

Para se estudar uma teoria pelo método axiomático, procede-se assim: escolhe- se certo número de noções e de proposições primitivas, suficientes para sobre elas edificar a teoria, aceitando-se outras idéias ou outras proposições só mediante, respectivamente, definições e demonstrações; obtém-se, dessa maneira, uma axiomática material da teoria dada; deixam-se de lado os significados intuitivos dos conceitos primitivos, considerando-os como termos caracterizados implicitamente pelas proposições primitivas. Procuram-se, então, as conseqüências do sistema obtido, sem preocupação com a natureza ou com o significado inicial desses termos ou das relações entre eles existentes. Estrutura- se, assim, o que se denomina uma axiomática abstrata.

O método axiomático é de grande importância e, há muito tempo, vem sendo praticado na Matemática. Euclides (325 a.C-265 a.C.), por exemplo, em seu livro

Os Elementos, aplica o método no desenvolvimento da geometria.Em sua exposição sistemática da geometria, Euclides parte de determinadas noções tidas como claras (ponto, reta, etc.) e de certas proposições admitidas sem demonstração (por exemplo: “dois pontos distintos definem uma reta”). Na teoria de Euclides, as proposições são de dois tipos: os axiomas, que são enunciados evidentes comuns a todas as ciências, como “o todo é igual à soma de suas partes”; e os postulados, que exprimem propriedades estritamente geométricas (algumas vezes, não tão evidentes quanto os axiomas), como “por um ponto dado fora de uma reta, passa no máximo uma paralela a essa reta”.

Atualmente, não se faz distinção entre axiomas e postulados. Costa (2008, p. 44) afirma que

As proposições que não se demonstram se chamam proposições primitivas, não sendo necessário nem conveniente classificá-las em axiomas e em postulados. Na realidade, hoje, as palavras “axioma” e “postulado” são sinônimas e significam proposições primitivas.

Com a evolução da Matemática, o método axiomático tornou-se cada vez

mais rigoroso, chegando a um alto grau de perfeição lógica nas últimas décadas do século passado, com as contribuições de Pasch, Peano, Pieri, entre outros.

Nas teorias axiomáticas, existem apenas duas categorias de enunciados: as proposições primitivas, que são proposições aceitas sem demonstração (não havendo preocupação se são evidentes ou não); e as proposições demonstradas (teoremas, proposições, corolários e lemas) por meio de raciocínios logicamente corretos, a partir dos postulados. O esquema seguinte (Figura 15) dá uma ideia da estruturação de uma teoria axiomática.

Figura 15 − Esquema da estrutura do método axiomático

O método axiomático constitui um ótimo instrumento de trabalho e de pesquisa para a Matemática e, por meio dele, foram alcançados grandes avanços em álgebra, em topologia e em outros ramos da Matemática. A seguir, procuramos relacionar e explicitar o significado dos principais termos utilizados no método axiomático.

Conceitos Primitivos ou Entes Primitivos: palavras (ou conjuntos de palavras) reservadas aceitas sem a necessidade de definição. Em geral, são termos bem intuitivos e de fácil aceitação, cujos significados ficarão formalmente mais evidentes com o seu uso. O exemplo clássico é o “ponto”. Não definimos o que é um ponto, apenas o aceitamos.

Definições: conceitos dados em função de termos considerados previamente conhecidos. Consiste numa reserva de palavras. Por exemplo: “um segmento de reta é uma parte ou porção de uma reta limitada por dois pontos”. Aqui são considerados conhecidos os termos ponto, reta, parte, dentre outros.

Axiomas e/ou Postulados: proposições evidentes por si mesmas e aceitas sem demonstração (ou seja, tidas como verdadeiras). Em geral, tratam das relações entre os termos reservados, determinando como devem se comportar ou estabelecendo propriedades. São exemplos: “o todo é igual à soma de suas partes” e “dois pontos distintos definem uma reta”. Teoremas: proposições que podem ser demonstradas. Atualmente, costumamos deixar o termo “teorema” apenas para certas afirmações que podem ser provadas e que são de grande importância. Esse termo foi introduzido por Euclides, em sua obra Os Elementos, e, no grego, significava originalmente “espetáculo” ou “festa”. Para ser aceito como logicamente verdadeiro, um teorema precisa de uma

demonstração ou prova. Em geral, o enunciado de um teorema é composto de duas partes distintas: hipóteses (conjunto de condições aceitas como verdadeiras), e tese (verdade lógica que deve ser provada). Vejamos um exemplo: “se dois ângulos são opostos pelo vértice, então são congruentes”.

Corolários: proposições que são consequências diretas ou imediatas dos teoremas. São também demonstráveis, mas, em geral, suas demonstrações são bem mais simples que a dos teoremas, sendo muitas vezes omitidas.

Lemas: proposições auxiliares para as demonstrações dos teoremas. Podemos dizer que um lema é uma espécie de “pré-teorema”.

Para fixar melhor, vamos apresentar o teorema seguinte com propriedades básicas da negação, da conjunção e da disjunção.

TEOREMA 3

Se p, q e r são proposições quaisquer, t é uma tautologia e c é uma contradição, então:

1. ~ (~ p) Û p (dupla negação)

2. p Ù p Û p (idempotente da conjunção)

3. p Ù q Û q Ù p (comutativa da conjunção)

4. (p Ù q) Ù r Û p Ù (q Ù r) (associativa da conjunção)

5. p Ù t Û p e p Ù c Û c (identidades da conjunção)

6. p Ú p Û p (idempotente da disjunção)

7. p Ú q Û q Ú p (comutativa da disjunção)

8. (p Ú q) Ú r Û p Ú (q Ú r) (associativa da disjunção)

9. p Ú t Û t e p Ú c Û p (identidades da disjunção)

10. p Ù (q Ú r) Û (p Ù q) Ú (p Ù r) (distributiva da conjunção em

relação à disjunção)

11. p Ú (q Ù r) Û (p Ú q) Ù (p Ú r) (distributiva da disjunção em

relação à conjunção)

12. p Ù (p Ú q) Û p (regra de absorção)

13. p Ú (p Ù q) Û p (regra de absorção)

14. ~ (p Ù q) Û ~ p Ú ~ q (regra de De Morgan)

15. ~ (p Ú q) Û ~ p Ù ~ q (regra de De Morgan)

Demonstração: as demonstrações destas propriedades podem ser feitas com o auxílio de tabelas-verdade e serão deixadas como exercícios para você.

TÓPICO 4

Tipos de demonstrações na matemática

OBjeTIVO

Conhecer e usar diferentes tipos de demonstrações

INTRODUÇÃO

este tópico, faremos uma abordagem sobre como se fazem as demonstrações na Matemática. Como vimos no

tópico anterior, há vários tipos de afirmações na Matemática. Essas afirmações, tais como teoremas, corolários e lemas, necessitam ser demonstradas, ou seja, precisam ser confirmadas à luz do raciocínio lógico da área em que estão inseridas. É dessa forma que, desde os tempos de Euclides, a Matemática formula as suas teorias.

Sabemos que um teorema é uma afirmação declarativa sobre Matemática, para a qual existe uma prova ou demonstração. Mas, afinal, o que é uma demonstração?

A piada a seguir ilustra bem essa busca da verdade pelos matemáticos: “um engenheiro, um físico e um matemático estão fazendo um

passeio de trem pela Escócia e observam umas ovelhas negras em uma colina.

Olhe, diz o engenheiro, as ovelhas nesta parte da Escócia são negras!
Na verdade, responde o físico, você não deve tirar conclusões

Tudo o que podemos dizer é que, nesta parte da Escócia, há algumas ovelhas negras.

– Bem, ao menos de um lado, diz o matemático.

É com esse espírito que um matemático costuma desempenhar uma de suas atividades prediletas: demonstrar afirmações.

Pensando em afirmações demonstráveis, podemos dizer que uma demonstração é uma espécie de raciocínio que permite concluir ou estabelecer uma tese, supondo compreendidas as condições dadas nas hipóteses. O esquema seguinte (Figura 16) ilustra como se dá esse processo.

Figura 16 − Esquema do processo de demonstração

TIPOS DE DEMONSTRAÇÕES

Existem várias formas de se fazer demonstrações, entre as quais se destacam: Demonstrações Diretas ou Dedutivas: utilizam-se das informações contidas nas hipóteses e/ou de outras afirmações pertinentes e são obtidas por meio de uma sequência lógica coerente de raciocínios. Dito de outro modo, o método dedutivo para demonstrar um teorema do tipo P Þ Q consiste em deduzir que Q é verdadeira, assumindo que a proposição P é verdadeira e utilizando equivalências lógicas e fatos pré-estabelecidos. A

demonstração direta é o tipo de demonstração mais comum na Matemática.

Demonstrações por Contraposição: consistem na utilização da equivalência lógica P ® Q Û ~ Q ®~ P . Mostrarmos o teorema P Þ Q , utilizando o método de demonstração direta para provar que ~ Q Þ~ P . Esse tipo de demonstração é também muito utilizado na Matemática, uma vez que, para muitas afirmações, é mais fácil demonstrar sua contrapositiva.

Demonstrações por Redução ao Absurdo ou por Contradições ou Indiretas:

consistem na utilização da equivalência lógica

P ® Q Û (PÙ ~ Q) ® ~ P .

Mostrarmos o teorema P Þ Q , indicando que (PÙ ~ Q) ® ~ P . Isso resulta em um absurdo, uma vez que P é verdadeira e concluímos que ~ P

também é verdadeira, resultando que

PÙ ~ P

é também verdadeira. Isso é evidentemente uma contradição. Portanto, estrategicamente, a demonstração por redução ao absurdo, ou simplesmente demonstração por absurdo, é baseada na negação lógica da tese e consequente contradição da hipótese. Esse tipo de demonstração é considerada por alguns autores uma “jóia do raciocínio dedutivo”, sendo uma das mais sutis e grandes “armas” da Matemática.

Demonstração por Indução: técnica de demonstração que consiste em, partindo de certas observações particulares, obter conclusões mais gerais. Demonstrações por indução são também bastante comuns dentro da Matemática. A indução por enumeração é o tipo mais simples de demonstração por indução. Nela, uma conclusão sobre todos os elementos de uma classe é obtida de premissas que se referem a elementos particulares dessa classe. Destacamos o Princípio da Indução Matemática, utilizado para demonstrar proposições que dependem dos números inteiros.

Durante todo o seu curso, você terá várias oportunidades de ver e resolver cada um desses tipos de demonstrações.

Nesta aula, vimos as relações de implicação e de equivalência lógica e os principais tipos de afirmações e de demonstrações usadas na Matemática. Na próxima aula, trataremos de sentenças abertas e de quantificadores.

Existem inúmeras demonstrações diretas na Matemática. Nos exercícios,

proporemos que o aluno faça algumas delas. Ele deverá pesquisar nos livros de Matemática as demonstrações que já viu e verificar de que tipo de demonstração se trata.

AULA 6

Sentenças abertas e quantificadores

Esta é a nossa última aula. Nela trataremos de dois temas que estão bem presentes nas afirmações e demonstrações da Matemática, fazendo mesmo parte da linguagem e da notação comumente utilizadas nesta área: as sentenças abertas e os quantificadores.

Sentenças abertas e quantificadores são elementos da chamada Lógica de Primeira Ordem (LPO) ou Cálculo de Predicados de Primeira Ordem (CPPO). A LPO é um sistema lógico que generaliza a lógica que estudamos até aqui – a Lógica Proposicional ou Cálculo Proposicional. Veremos que é possível operar na LPO da mesma forma que na Lógica Proposicional. As sentenças abertas funcionam como operandos na LPO e os quantificadores são operadores especiais que transformam sentenças abertas em proposições. Então, anime-se e vamos iniciar o trabalho!

Objetivos

Conhecer sentenças abertas
Determinar o conjunto-verdade de sentenças abertas
Conhecer operações de quantificação e quantificadores
Determinar o valor lógico de sentenças abertas quantificadas
Construir algumas demonstrações

TÓPICO 1

Sentenças abertas com uma variável

OBjeTIVOs

Definir sentenças abertas com uma variável
Determinar conjuntos-verdade de sentenças abertas
Construir sentenças abertas

INTRODUÇÃO

té aqui, temos tratado da Lógica Proposicional (ou Cálculo Proposicional), cujo elemento central são as proposições. Sabemos que as proposições são sentenças para as quais é possível estabelecer um

valor lógico (verdade ou falsidade) e que elas podem ser relacionadas por meio de operações lógicas definidas pelos conectivos lógicos.

Introduzindo novos símbolos na linguagem do Cálculo Proposicional, é possível tratar de sentenças mais gerais e complexas. É o que faz a Lógica de Primeira Ordem (ou o Cálculo de Predicados de Primeira Ordem). Além de ser dotada de uma linguagem mais rica, a LPO tem várias aplicações importantes para a Matemática e para outras áreas, especialmente para as Ciências Exatas.

Nesta nova linguagem, além dos conectivos do cálculo proposicional e dos parênteses, teremos novos símbolos: variáveis, constantes, símbolos de funções proposicionais (sentenças abertas), quantificadores e termos.

Vamos iniciar considerando as seguintes sentenças ou expressões:

ExEMPLO 1:

p: > 3

q: x² – 3x = 0

É fácil perceber que a sentença p é uma proposição cujo valor lógico é V(p) =

V. Já a sentença q carece de valor lógico, ou seja, não é possível atribuir um valor lógico a q. Portanto, q não é uma proposição. Para sermos mais precisos, devemos

dizer que o valor lógico de q será conhecido apenas quando x for identificado, ou seja, V(q) será conhecido para cada atribuição de valor a x, podendo ser verdadeira

ou falsa, dependendo de tal atribuição. Por exemplo:

® Para x = 0 ou x = 3 , q será uma proposição verdadeira, isto é, V(q) = V.

® Para

x ¹ 0 e

x ¹ 3 , q será uma proposição falsa, isto é, V(q) = F.

Esse exemplo deixa claro que existem sentenças para as quais não temos como decidir se assumem valor lógico verdadeiro ou falso. Vejamos mais alguns exemplos:

ExEMPLO 2:

x² – 7x +10 = 0 .
Ela é aluna do curso de Matemática.
Ele e ela formam um lindo

Novamente aqui não temos como dizer o valor lógico dessas sentenças, a menos que os objetos desconhecidos em cada uma delas, a saber, “x” em (1), “ela” em (2) e “ele” e “ela” em (3) sejam identificados.

Sentenças como essas do Exemplo 2 são denominadas de funções proposicionais, proposições abertas ou sentenças abertas. Os objetos desconhecidos nas sentenças abertas são chamados variáveis e os elementos que uma variável de uma sentença aberta pode assumir, transformando-a em uma proposição, formam o que chamamos de universo de discurso (ou simplesmente universo), que será denotado por U.

A seguir, definimos de modo mais formal sentença aberta com uma variável. Posteriormente, estenderemos essa definição para sentenças abertas com duas ou mais variáveis.

SENTENÇA ABERTA COM UMA VARIÁVEL – DEFINIÇÕES

DEFINIçÃO 1
Dado um conjunto A, uma sentença aberta com uma variável em um conjunto A ou simplesmente uma sentença aberta em A é uma expressão P(x) tal que P(a) é uma proposição (verdadeira ou falsa) para todo elemento aÎA. O conjunto A é chamado de conjunto-universo ou apenas universo ou ainda domínio da variável x e um elemento qualquer aÎA é chamado de valor da variável x.

Uma sentença aberta com uma variável em A é também chamada função proposicional com uma variável em A ou simplesmente função proposicional em A ou ainda condição em A.

Quando, nas sentenças abertas, substituímos as variáveis por constantes, estamos fazendo o que chamamos de uma interpretação ou instanciação da sentença.

Assim,“ 3² – 7 × 3 +10 = 0 ” é uma interpretação de

“ x² – 7x +10 = 0 ” pela substituição de x por 3. “Sara é aluna do curso de Matemática” é

uma instanciação de “Ela é aluna do curso de Matemática” pela substituição de ela por Sara.

Essas interpretações são proposições, cujo valor lógico é V ou F. No primeiro caso, ela é F. Quando, em uma sentença aberta P(x)

em A, temos que P(a) é verdadeira (V) para a

ÎA, dizemos que a satisfaz ou verifica P(x). Definimos:

DEFINIçÃO 2

Conjunto-verdade de uma sentença aberta P(x) em A, denotado por VP , é o conjunto de todos elementos aÎA que satisfazem (verificam) P(x), ou seja, é o conjunto de todos elementos aÎA tais que P(a) é uma proposição verdadeira. Simbolicamente,

VP = {a | a Î A Ù P(a) é V}.

De um modo mais simples, o conjunto- verdade de uma sentença aberta P(x) em A é dado por:

VP = {a | a Î A Ù P(a)} ou ainda por

VP = {a Î A | P(a)}.

ExEMPLO 3:

Seja

 = {1, 2, 3, …}

conjunto dos números As seguintes

expressões são sentenças abertas com uma variável em  : 1. P(x): 2x +1 < 12

Q(x): 2^x = x²
R(x): x é divisor de 10
S(x): x é quadrado perfeito

Os conjuntos-verdade dessas sentenças abertas são respectivamente: 1. VP = {a Î  | 2a +1 < 12} = {1, 2, 3, 4, 5}

VQ = {a Î  | 2^a = a²} = {2, 4}
VR = {a Î  | a é divisor de 10} = {1, 2, 5, 10}
VS = {a Î  | a é quadrado perfeito} = {1, 4, 9, …} = {a² com a Î }

Vejamos mais alguns exemplos de sentenças abertas interessantes, cujos conjuntos-verdade têm certas peculiaridades:

ExERCÍCIO RESOLvIDO 1:

Determine o conjunto-verdade de cada uma das seguintes sentenças abertas com uma variável:

P(x):
Q(x):

x² = 2 em  (conjunto dos inteiros)

x² + 3 ³ 0 em ℝ (conjunto dos reais)

SOLuÇÃO:

Sabemos que não existe número inteiro x cujo quadrado seja igual a 2 (na

verdade, os únicos números cujo quadrado é igual a 2 são – e

que não são

inteiros). Desde que o quadrado de um número real qualquer é maior ou igual a 0, sua soma com 3 é também maior ou igual a 0. Portanto, temos:

VP= {a Î | a² = 2} = Æ e 2. VQ = {a Î ℝ | a² + 3 ³ 0} = ℝ

O Exemplo 3 e o Exercício resolvido 1 mostram que são possíveis três casos

para uma sentença aberta P(x) em A:

® Nenhum x Î A satisfaz P(x), isto é, VP = Æ . Neste caso, dizemos que

P(x) é uma condição impossível ou uma propriedade impossível em A.

® Alguns (mas não todos) x Î A satisfazem P(x), isto é, Æ ¹ VP  A (

VP é um subconjunto próprio de A). Neste caso, P(x) é dita ser uma

condição possível ou uma propriedade possível em A.

® Todo x Î A satisfaz P(x), isto é, VP = A . Dizemos, então, que P(x) é uma condição universal ou uma propriedade universal em A.

A condição P(x):

x² = 2

é impossível

em  (conforme vimos no Exercício resolvido 1, VP = Æ ), mas é possível em ℝ (

VP = {-

2, 2}). A condição Q(x):

x + 5 > 2

é universal em  , possível em  e impossível

em A = {-50, -40, -30, -20, -10}.

Neste tópico, vimos o que são sentenças

abertas com uma variável e determinamos os conjuntos-verdade de algumas delas. No tópico seguinte, estenderemos esses conceitos para sentenças abertas com várias variáveis.

TÓPICO 2

Sentenças abertas com mais de uma variável

OBjeTIVOs

Definir sentenças abertas com mais de uma variável
Determinar conjuntos-verdade de sentenças abertas
Construir sentenças abertas

2.1 INTRODUÇÃO – DEFINIÇÕES

Nas definições seguintes, estendemos os conceitos de sentença aberta e de conjunto-verdade de uma sentença aberta para sentenças com mais de uma variável.

DEFINIçÃO 4

Conjunto-verdade de uma sentença aberta P(x, y) em A´ B, denotado por VP , é o conjunto de todos os pares ordenados (a, b) Î A ´ B que satisfazem (verificam) P(x, y), ou seja, é o conjunto de todos os pares ordenados (a, b) Î A

´ B tais que P(a, b) é uma proposição verdadeira. Simbolicamente,

VP = {(a, b) | a Î A Ù b Î B Ù P(a, b) é V}.

De um modo mais simples, o conjunto-verdade de uma sentença aberta

P(x, y) em A ´ B é dado por:

VP = {(a, b) | a Î A Ù b Î B Ù P(a, b)}

ou ainda por

VP = {(a, b) Î A´ B | P(a, b)}.

ExEMPLO 4:

Sejam os conjuntos

A = {-2,

-1, 0, 1, 2} e

B = {1, 4, 9}. As

seguintes expressões são sentenças abertas com duas variáveis em A´ B :

P(x):
Q(x):

x + y ³ 5

x² = y

R(x): x é divisor y
S(x): 3x + y = 0

Observe que o par ordenado (2, 4) Î A ´ B, por exemplo, satisfaz as sentenças abertas P(x), Q(x) e R(x), mas não satisfaz S(x). Portanto, temos que

(2,4)ÎV_P , (2,4)ÎV_Q , (2,4)ÎV_R e (2,4)ÎV_S .

Por curiosidade, considerando o Exemplo 3: quantos são os pares ordenados de A

´ B? Quais são eles? Quais são todos os pares todos os pares que satisfazem P(x)? O par (1, 9) satisfaz Q(x)? Ele satisfaz R(x)? Algum dos pares satisfaz S(x)? No exercício

seguinte, respondemos a alguns destes questionamentos.

ExERCÍCIO RESOLvIDO 2:

Determine o conjunto-verdade de cada uma das sentenças abertas do Exemplo 3.

SOLuÇÃO:

O produto cartesiano A´ B é constituído de 5´ 3 = 15 pares ordenados, a saber:

{ (-2, 1) , (-2, 4) , (-2, 9) , (-1, 1) , (-1, 4) , (-1, 9) , (0, 1) , (0, 4) , (0, 9) ,

(1, 1) , (1, 4) , (1, 9) , (2, 1) , (2, 4) , (2, 9) }.

Os conjuntos-verdade das sentenças abertas dadas são respectivamente:

1.VP ={(a, b) ∈ A×B|a + b ≥ 5}={(−2, 9), (−1, 9), (0, 9), (1, 4), (1, 9), (2, 4), (2, 9)}

2.VQ ={(a, b) ∈ A×B|a = b}={(−2, 4), (−1,1), (1,1), (2, 4)}

3.VR ={(a, b) ∈ A×B|a Ødivisor de b} = {(-2,4), (-1,1), (-1,4), (-1,9), (1,1),

(1,4) (1,9), (2,4)}

4.VS ={(a, b) ∈ A×B|3a + b = 0}= ∅

DEFINIçÃO 6

Conjunto-verdade de uma sentença aberta P(x , x , …, x ) em A ´A ´ … ´A ,

1 2 n 1 2 n

denotado por VP , é o conjunto de todas as n-uplas ordenadas (a1, a2, …, an) Î A1

´A ´ … ´A que satisfazem (verificam) P(x , x , …, x ), ou seja, é o conjunto de

2 n 1 2 n

todas as n-uplas ordenadas (a , a , …, a ) Î A ´A ´ … ´A tais que P(a , a , …, a )

1 2 n 1 2 n 1 2 n

é uma proposição verdadeira. Simbolicamente,

VP ={(a1 , a2 , …, an )|a1 ∈ A1 ∧ a2 ∈ A2 ∧ … ∧ an ∈ An ∧ P(a1 , a2 , …, an ) ØV}.

De um modo mais simples, o conjunto-

verdade de uma sentença aberta P(x1, x2, …, xn)

1 2 n

em A ´ A ´ … ´ A

é dado por:

VP ={(a1 , a2 , …, an )|a1 ∈ A1 ∧ a2 ∈ A2 ∧ … ∧

a ∈ A ∧ P(a , a , …, a )}

n n 1 2 n

ou ainda por

V ={(a , a , …, a ) ∈ (A ×A × … ×A )

P 1 2 n 1 2 n

|P(a , a , …, a )} .

1 2 n

ExEMPLO 5:

Seja  = {1, 2, 3, …} o conjunto dos números naturais. A expressão

P(x):

x + 2 y + 3z £ 10

é uma sentença aberta com três variáveis em ´ ´  :

Observe que a tripla ordenada (1, 1, 1) Î ´ ´  satisfaz P(x), pois

1+ 2 ×1+ 3×1 £ 10 é verdade (V). Por outro lado, a tripla ordenada (1, 2, 3) Î

´ ´  não satisfaz P(x), pois 1+ 2 × 2 + 3× 3 £ 10

verdade da sentença aberta P(x) é:

VP = {(x, y, z) Î ´ ´  | x + 2 y + 3z £ 10}

é falsa (F). O conjunto-

={(1,1,1), (1,1,2), (1,2,1), (1,3,1), (2,1,1), (2,1,2), (2,2,1), (3,1,1), (3,2,1)}.

Finalizamos este tópico com a seguinte observação vista em Alencar Filho (2002, p. 161):

Em Matemática, as equações e as inequações são sentenças abertas que exprimem relação de igualdade e desigualdade, respectivamente, entre duas expressões com variáveis. Mas, o conceito de sentença aberta é muito mais amplo que o de equação ou inequação; assim, “x divide y”, “x é primo com y”, “x é filho de y”, etc., são sentenças abertas, sem serem equações nem inequações.

Neste tópico, tratamos das sentenças abertas com mais de uma variável, determinando seus conjuntos-verdade. No próximo tópico, veremos como operar com sentenças abertas.

TÓPICO 3

Operando com sentenças abertas

OBjeTIVOs

Conhecer as operações com sentenças abertas
Construir sentenças abertas
Determinar conjuntos-verdade de sentenças abertas

s AIBA MAIs!
Dados dois números inteiros a e b, dizemos que “a divide b” e denotamos por a \| b se existir um número inteiro n tal que b = a·n.

INTRODUÇÃO

s sentenças abertas podem também combinar-se do mesmo modo que as proposições se combinam, por

meio dos conectivos lógicos, formando novas sentenças abertas. Como exemplo, vamos considerar as seguintes sentenças abertas com uma variável em  :

p(x) : 4 | x (4 divide x), q(x) : x < 20.

Podemos ligar as sentenças abertas nova sentença aberta em  :

p(x) e q(x) pelo conectivo Ù (“e”) e obter uma

p(x) Ù q(x) : 4 | x Ù x < 20

que será satisfeita por todos (e somente por eles) os valores a Î  que

satisfazem simultaneamente as duas sentenças abertas

p(x)

e q(x) . A exemplo

do que foi feito para proposições, é natural chamar essa nova sentença aberta

p(x) Ù q(x) de conjunção das sentenças abertas p(x) e q(x) .

De modo similar, podemos definir operações com sentenças abertas usando os conectivos Ú (“ou”), ~ (“não”), ® (“se … então”) e « (“se, e somente se,”).

Assim, dadas as sentenças abertas

p(x) e q(x)

em A, temos:

® Conjunção de

p(x)

e q(x)

é a sentença aberta

p(x) Ù q(x) em

A, satisfeita pelos valores a Î A

(e somente por eles) que satisfazem

simultaneamente

p(x) e q(x) .

® Disjunção de

p(x)

e q(x)

é a sentença aberta

p(x) Ú q(x)

em A,

satisfeita pelos valores a Î A

pelo menos uma das sentenças

(e somente por eles) que satisfazem a

p(x) e q(x) .

® Negação de p(x) é a sentença ~ p(x) em A, satisfeita pelos valores

a Î A

(e somente por eles) que não satisfazem

p(x) .

® Condicional de

p(x)

e q(x)

é a sentença aberta

p(x) ® q(x) em

A, que só não é satisfeita pelos valores a Î A

mas não satisfazem q(x) .

que satisfazem

p(x) ,

® Bicondicional de

p(x)

e q(x)

é a sentença aberta

p(x) « q(x) em

A, que é satisfeita pelos valores a Î A

(e somente por eles) que satisfazem

simultaneamente

p(x) e q(x) .

p(x)

e q(x)

ou que simultaneamente não satisfazem

Do modo como foram definidas, sendo Vp o conjunto-verdade de p(x) e Vq o

conjunto-verdade de q(x), os conjuntos-verdade dessas novas sentenças abertas serão

VpÙq = Vp ÇVq = {a Î A | p(a)}Ç{a Î A | q(a)} .
VpÚq = Vp ÈVq = {a Î A | p(a)}È{a Î A | q(a)} .

V~ p = CA Vp = CA {a Î A | p(a)}.
Vp®q = V~ pÚq = V~ p ÈVq = CA Vp ÈVq = CA{a Î A | p(a)}È{a Î A | q(a)}
Vp«q =V( p®q)Ù(q® p) = Vp®q ÇVq® p = (CA Vp ÈVq ) Ç (CA Vq ÈVp )

= (CA{a Î A | p(a)}È{a Î A | q(a)}) Ç ({a Î A | p(a)}È CA{a Î A | q(a)}) . Note que a primeira igualdade em (4) e em (5) seguem das equivalências

p ® q Û ~ p Ú q e p « q Û ( p ® q) Ù (q ® p) .

ExEMPLO 6:

Seja

 = {1, 2, 3, …} o conjunto dos números naturais. Consideremos as

sentenças abertas em  :

p(x) : x + 1 > 8 ,

q(x) : x ² – 5x + 6 = 0

e r(x) : x é divisor de 3 .

Atribuindo o valor 1Î  à variável x, teremos que as sentenças abertas p(x), q(x) e r(x) se tornarão proposições cujos valores lógicos serão, respectivamente, F, F e V, isto é, V ( p(1)) = F, V (q(1)) = F e V (r(1)) = V. Dito de outro modo, o valor 1Î  satisfaz a sentença aberta r(x), mas não satisfaz p(x) nem q(x). Portanto, segue que o valor 1Î  :

não satisfaz a conjunção
não satisfaz a disjunção
não satisfaz a conjunção

p(x) Ù q(x) , isto é, 1ÏVpÙq ;

p(x) Ú q(x) , isto é, 1ÏVpÚq ;

p(x) Ù r(x) , isto é, 1ÏVpÙr ;

satisfaz a disjunção

p(x) Ú r(x) , isto é, 1ÎVpÚr ;

satisfaz a negação ~ p(x) , isto é, 1ÎV~ p ;
não satisfaz a negação ~ r(x) , isto é, 1ÏV~r ;
satisfaz a condicional q(x) ® r(x) , isto é, 1ÎVq®r ;
não satisfaz a condicional r(x) ® q(x) , isto é, 1ÏVr®q ;

satisfaz a bicondicional

p(x) « q(x) , isto é, 1ÎVp«q ;

não satisfaz a bicondicional

p(x) « r(x) , isto é, 1ÏVp«r .

ExERCÍCIO RESOLvIDO 2:

Consideremos as sentenças abertas em  = {1, 2, 3, …} :

p(x): x +1 < 7 ,

q(x) : x² -14x + 45 = 0

e r(x) : x é divisor de 12 .

Determine o conjunto-verdade das seguintes sentenças abertas:

1. p(x) Ù r(x)	2. q
3. ~ p(x)	4. p
5. q(x) « r(x	) 6. ~

(x) Ú r(x)

(x) ® r(x)

p(x) Ú (q(x) Ù r(x))

SOLuÇÃO:

Observe inicialmente que

x +1 < 7 Û x < 6 , que as raízes da equação

x² -14x + 45 = 0 são 5 e 9 (verifique!) e que os divisores positivos de 12 são 1, 2, 3, 4, 6 e 12. Portanto, os conjuntos-verdade das sentenças abertas p(x), q(x) e r(x) são respectivamente:

Vp = {1, 2, 3, 4, 5}, Vq = {5, 9} e Vr

= {1, 2, 3, 4, 6, 12}.

Determinemos agora os conjuntos-verdade das sentenças abertas dadas.

Temos:

VpÙr = Vp ÇVr = {1, 2, 3, 4, 5} Ç {1, 2, 3, 4, 6, 12} = {1, 2, 3, 4}
VqÚr = Vq ÈVr = {5, 9} È {1, 2, 3, 4, 6, 12} = {1, 2, 3, 4, 5, 6, 9, 12}
V~ p = C Vp= C{1, 2, 3, 4, 5} =  -{1, 2, 3, 4, 5} = {6, 7, 8, …}
Vp®r= C Vp ÈVr= C{1, 2, 3, 4, 5}È{1, 2, 3, 4, 6, 12} =  -{5}
1. Vq«r= (C Vq ÈVr ) Ç (C Vr ÈVq )

= ( C{5, 9}È{1, 2, 3, 4, 6, 12} ) Ç ({5, 9}È C{1, 2, 3, 4, 6, 12} )

= (  -{5, 9} ) Ç (  -{1, 2, 3, 4, 6, 12} ) =  -{1, 2, 3, 4, 5, 6, 9, 12}

V~ pÚ(qÙr ) =V~ p ÈVqÙr = C Vp È (Vq ÇVr )

= C{1, 2, 3, 4, 5} È ({5, 9} Ç {1, 2, 3, 4, 6, 12})

= (  -{1, 2, 3, 4, 5} ) È Æ = Æ

De modo similar, poderíamos, usando os conectivos lógicos, definir essas mesmas operações com sentenças abertas com mais de uma variável. Assim, para as

sentenças abertas com n variáveis as sentenças abertas compostas:

p(x1 , x2 ,…, xn )

e q(x1 , x2 ,…, xn ) , teríamos

p(x1 ,…, xn ) Ù q(x1 ,… xn )

p(x1 ,…, xn ) Ú q(x1 ,… xn )

~ p(x₁,…, xn )

p(x1 ,…, xn ) ® q(x1 ,… xn )

p(x1 ,…, xn ) « q(x1 ,… xn )

Neste tópico, vimos as principais operações com sentenças abertas e determinamos os conjuntos-verdade das novas sentenças abertas obtidas. No próximo tópico, estudaremos as operações de quantificação.

TÓPICO 4

Quantificadores

OBjeTIVOs

Conhecer as operações de quantificação
Conhecer os quantificadores universal e existencial
Determinar o valor lógico de sentenças abertas quan- tificadas

INTRODUÇÃO

os tópicos anteriores, vimos que uma forma bem simples de transformar uma sentença aberta em uma proposição. Neste tópico, veremos outra forma bem interessante de transformar sentenças abertas em proposições.

Podemos construir proposições (isto é, sentenças que podem assumir valor

lógico verdadeiro ou falso) a partir de uma dada sentença aberta P, de duas maneiras:

® atribuindo valores do domínio às variáveis de P, isto é, substituindo as variáveis de P por elementos do domínio das variáveis.

® quantificando as variáveis de P, usando os quantificadores universal (

” ) e existencial ( $ ).

QUANTIFICADOR UNIVERSAL ( ” )

Seja A um conjunto não vazio ( A ¹Æ ) e p(x) uma sentença aberta em A tal que Vp = A , isto é, p(x) é uma condição universal. Neste caso, podemos dizer (Alencar Filho, 2002):

“Para todo elemento x de A, p(x) é verdadeira (V)”.
“Qualquer que seja o elemento x de A, p(x) é verdadeira (V)”. Ou, dito de modo mais simples:
“Para todo x de A, p(x)”.
“Qualquer que seja x de A, p(x)”.

Simbolicamente, denotamos estas duas afirmações (ambas iguais), escrevendo:

(“x Î A)( p(x))

ou “x Î A, p(x)

ou “x Î A : p(x) .

Por questões de simplicidade, desde que não haja dúvidas quanto ao domínio, podemos omiti-lo e escrever:

(“x)( p(x))

ou “x, p(x)

ou “x : p(x) .

Portanto, o símbolo ” , chamado quantificador universal define a operação

– denomida quantificação universal – que transforma a sentença aberta p(x) em uma proposição que é verdadeira (V) quando p(x) é uma condição universal (Vp = A ) e falsa

(F) quando p(x) não é uma condição universal (Vp ¹ A ). Tal proposição é denotada por

(“x Î A)( p(x)) e lida “para todo x de A, p(x)” ou “qualquer que seja x de A, p(x)”.

ExEMPLO 7:

A proposição (” n Î )(n + 4 > 3) , na qual

 = {1, 2, 3, …} é o

conjunto dos números naturais, é verdadeira (V), pois a sentença aberta que a define p(n): n + 4 > 3 é uma condição universal em  (Vp =  ). Já a proposição

(“nÎ )(n + 2 > 8)

é falsa (F), pois a condição q(n):

n + 2 > 8

é possível e não

universal em  (V_p = {7, 8, 9,…} ¹  ).

QUANTIFICADOR EXISTENCIAL ( $ )

Seja A um conjunto não vazio ( A ¹Æ ) e p(x) uma sentença aberta em A tal que Vp ¹Æ , isto é, p(x) é uma condição possível. Neste caso, podemos dizer (Alencar Filho, 2002):

“Existe pelo menos um elemento x de A tal que p(x) é verdadeira (V)”.
“Para algum elemento x de A, p(x) é verdadeira (V)”. Ou, dito de modo mais simples:
“Existe x de A tal que p(x)”.
“Para algum x de A, p(x)”.

Simbolicamente, denotamos estas duas afirmações (que dizem a mesma coisa) escrevendo:

($x Î A)( p(x)) Í ou

$x Î A, p(x)

ou $x Î A : p(x) .

Por questões de simplicidade, desde que não haja dúvidas quanto ao domínio, podemos omiti-lo e escrever:

($x)( p(x))

ou $x, p(x)

ou $x : p(x) . Portanto, o símbolo

$ , chamado quantificador existencial define a operação, denomida quantificação existencial, que transforma a sentença aberta p(x) em uma proposição que é verdadeira

(V) quando p(x) é uma condição possível (Vp ¹Æ ) e falsa (F) quando p(x) é uma

condição impossível (Vp = Æ ). Tal proposição é denotada por ($x Î A)( p(x)) e lida “existe x de A tal que p(x)” ou “para algum x de A, p(x)”.

ExEMPLO 8:

A proposição ($nÎ )(n + 4 < 7) , na qual  = {1, 2, 3, …} é o conjunto dos números naturais, é verdadeira (V), pois a sentença aberta que a define p(n): n + 4 < 7 é possível em  (V_p = {1, 2} ¹Æ ). Por outro lado, a proposição ($n Î N )(n + 6 < 4) é falsa (F), pois a condição q(n): n + 6 < 4 é impossível em  (Vp = Æ ).

QUANTIFICADOR DE EXISTÊNCIA E UNICIDADE ( $ |)

Quando existe e é único o elemento no conjunto universo A que satisfaz a

sentença aberta

p(x) , ou seja, que torna

p(x)

uma proposição verdadeira (V),

denotamos essa proposição por ( $ |xÎ A )( p(x) ), lida “existe um único x de A tal

que

p(x) ” ou “existe um x de A e um só tal que

p(x) ”.

ExEMPLO 9:

São verdadeiras as proposições: ( $ | xÎ  )( x² = 4 )

( $ |xÎ  )( -1 < x < 1 )

Finalizaremos este tópico dizendo que a negação transforma o quantificador universal em quantificador existencial e vice-versa, ou seja, transforma o quantificador existencial em

quantificador universal. Estas são as chamada segundas regras de De Morgan e, simbolicamente, dizem:

~ [(” x Î A)( p(x))] Û ($ x Î A)(~
~ [($ x Î A)( p(x))] Û (” x Î A)(~

p(x)) .

Desde que não haja dúvidas quanto ao domínio, podemos omiti-lo e escrever simplesmente:

~ [(” x)( p(x))] Û ($ x)(~
~ [($x)( p(x))] Û (6x)(~ p(x)).

p(x)) .

Vejamos alguns exemplos extraídos de Daghlian (1995, p. 94-95):

ExERCÍCIO RESOLvIDO 3:

Negar a sentença Todos os pescadores são mentirosos.

SOLuÇÃO:

A sentença é uma proposição do tipo:

” x,

p(x)

Sua negação é equivalente a:

~ (” x, p(x)) Û $ x, ~ p(x)

Portanto, sua negação é a proposição:

Existe pescador que não é mentiroso.

Ou, dito em outras palavras:

Algum pescador não é mentiroso.

ExERCÍCIO RESOLvIDO 4:

Negar a sentença Alguns alunos são estudiosos.

SOLuÇÃO:

A sentença é uma proposição do tipo:

Sua negação é equivalente a:

$ x,

p(x))

~ ($ x, p(x)) Û ” x, ~ p(x)

Portanto, sua negação é a proposição:

Todos os alunos não são estudiosos.

Ou, dito em outras palavras:

Qualquer que seja o aluno, ele não é estudioso.

ExERCÍCIO RESOLvIDO 5:

Negar a sentença ” x,

x – 1 ³ 5 .

SOLuÇÃO:

~ (” x,

x – 1 ³ 5) Û $ x,

x – 1 < 5 .

ExERCÍCIO RESOLvIDO 6:

Negar a sentença $ x,

x² = 1 ® x ¹ 0 .

SOLuÇÃO:

~ ($ x,

x² = 1 ® x ¹ 0)

Û ” x, ~ (x² = 1 ® x ¹ 0)

Û ” x, ~ (~ (x² = 1) Ú (x ¹ 0))

Û ” x, ~ (~ (x² = 1))Ù ~ (x ¹ 0) .

Û ” x, (x² = 1) Ù (x = 0)

Aqui usamos a equivalência conhecida:

p ® q Û ~ p Ú q .

Na Matemática, muitas vezes, temos de mostrar que uma proposição do tipo “Para todo x de A, p(x)”, isto é,

(” x Î A)( p(x))

é falsa (F). Da equivalência

~ [(” x Î A)( p(x))] Û ($ x Î A)(~

uma forma de fazer isso é mostrar que

p(x)) ,

($ x Î A)(~

p(x))

é uma proposição verdadeira (V). Portanto, temos de mostrar que existe

pelo menos um elemento

x₀ Î A tal que

p(x0)

é uma proposição falsa (F). Um

s AIBA MAIs!

Um elemento x0 Î A tal que p(x0) é uma proposição falsa (F) é chamado contra-exemplo para a proposição

(” x Î A)( p(x)) .

tal elemento recebe uma denominação especial muito comum em Matemática:

ExEMLO 10:

A proposição (” x Î ℝ)(x² ³ x) é

falsa (F). Um contra-exemplo é o número 2 ,

pois

æ 1 ö2 1

ç ÷ ³

è ø 2

é falsa (F). Os números 0 e 3

s AIBA MAIs!

Consulte as referências que citamos ou outras da área e acesse páginas da internet relacionadas para complementar seus conhecimentos. Abaixo, listamos algumas páginas que poderão ajudá-lo. Bons estudos!

1. https://www.ime.unicamp.br/~valle/ PastCourses/Licao4.pdf

2. www.pucrs.br/famat/ruth/logica_b/9quant.doc

também são contra-exemplos. Verifique!

Neste tópico, aprendemos a quantificar

sentenças abertas com uma variável e vimos como obter a negação de sentenças abertas quantificadas. Todos esses conceitos podem ser estendidos para a quantificação de sentenças abertas com mais de uma variável.

Chegamos ao final de nossa disciplina! Queremos deixar claro que essa foi apenas uma breve introdução ao estudo da Lógica e dos Conjuntos. Entretanto, devemos ressaltar que os conhecimentos adquiridos aqui serão essenciais

para que você possa ter um bom desempenho em todo o curso. Esperamos que você esteja motivado para continuar estudando e aprofundar seus conhecimentos.

Obrigado pela sua participação e até uma próxima oportunidade.

REFERÊNCIAS

ABAR, Celina Aparecida Almeida Pereira. Noções de lógica matemática. 2004. Disponível em:

<http://www.pucsp.br/~logica>. Acesso em: 18 jan. 2009.

ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, 2002.

DRUCK, Iole de Freitas. A linguagem lógica. Revista do Professor de Matemática, Rio de Janeiro: Sociedade Brasileira de Matemática, n. 17, p. 10-18, 1990.

DAGHLIAN, Jacob. Lógica e álgebra de Boole. 4. ed. São Paulo: Atlas, 1995.

LIMA, Elon Lages et al. A Matemática do ensino médio. Rio de Janeiro: SBM, 2000. SILVA, Josimar et al. É divertido resolver problemas. Rio de Janeiro: LTC, 2000.

CURRÍCULO

Francisco Gêvane Muniz Cunha é professor efetivo do Instituto Federal do Ceará – IFCE desde 1993. Nascido em São João do Jaguaribe – CE em 1970, é técnico em informática industrial pela Escola Técnica Federal do Ceará (1993). Licenciado (1993) e bacharel (1994) em matemática pela Universidade Federal do Ceará – UFC. Possui mestrado em matemática (1997) e mestrado em ciência da computação (2002), ambos pela UFC. É doutor em engenharia de sistemas e computação (2007) pela Universidade Federal do Rio de Janeiro com tese na linha de otimização. Tem experiência na área de matemática aplicada, no ensino de matemática, na formação de professores, no uso de tecnologias e no ensino na modalidade a distância. Atualmente é professor de disciplinas de matemática dos cursos de licenciatura em matemática, engenharias e outros do IFCE. Na modalidade semi-presencial é professor conteudista e formador de disciplinas de matemática do curso licenciatura em matemática do IFCE, tendo produzido diversos livros didáticos. Orienta alunos em nível de graduação e pós-graduação em matemática, ensino de Matemática ou educação Matemática. Tem interesse no uso de ambientes informatizados e, em especial, no uso de softwares educativos como apoio para o ensino de matemática. Dentre outras atividades, gosta de ler a bíblia, ajudar as pessoas, ensinar, estudar matemática e computação e assistir corridas de fórmula 1.

Cookie	Duração	Descrição
cookielawinfo-checkbox-analytics	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional	11 months	The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy	11 months	The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.

Talvez você goste também

Ciências Humanas: Encceja

políticas e culturais entre diferentes países

Legações e embaixadas do Brasil pdf

Deixe um comentário Cancelar resposta