Introdução a lógica

,-

INTRODUÇÃO À LÓGICA

FUNDAÇÃO EDITORA DA UNESP
Presidente do Conselho Curador

José Carlos Souza Trindade
Diretor-Presidente

José Castilho Marques Neto
Assessor-Editorial

Jézio Hernani Bomfim Gutierre
Conselho Editorial Acadêmico

Antonio Celso Wagner Zanin
Antonio de Pádua Pithon Cyrino
Benedito Antunes
Carlos Erivany Fantinati
Isabel Maria F. R. Loureiro
Lígia M. Vettorato Trevisan
Maria Sueli Parreira de Arruda
Raul Borges Guimarães
Roberto Kraenkel
Rosa Maria Feiteiro Cavalari
Editara-Executiva

Christine Rührig

IMPRENSA OFICIAL DO ESTADO
Diretar-Presidente

Sérgio Kobayashi
Diretor Vice-Presidente

Luiz Carlos Frigerio
Diretar Industria!

Carlos Nicolaewsky
Diretor Financeiro e Administrativo

Richard Vainberg
Coordenador Editaria!

Carlos Taufik Haddad

..

CEZARA. MORTARI

INTRODUÇAO À LÓGICA
Esta publicação contou com o apoio do Comitê dos
Produtores da Informação Educacional (COMPED) e teve sua reprodução contratada pelo Instituto Nacional de
Estudos e Pesquisas Educacionais (INEP), no âmbito do Programa Publicações de Apoio à Formação
Inicial e Continuada de Professores .

,lllllí

Cleo é um peixe.
Miau é um gato.
Cleo é um peixe e Miau é um gato.

Poderíamos usar a letra c para simbolizar 'Cleo', e a primeira pre­ missa do argumento, meio traduzida para a linguagem do CQC, fica­ ria assim:

c é um peixe.
Constantes individuais funcionam como nomes. Isso, contudo, não se restringe apenas aos nomes próprios em português (como 'João',
'Maria', 'Cleo' etc.) , mas pode incluir também o que chamamos de descrições definidas. Por exemplo, a expressão 'o autor de D. Quixote',

71

6. 1 . Símbolos individuais

embora não sej a um nome próprio, designa univocamente um indiví­ duo - bem como a expressão 'o navegador português que descobriu o Brasil'. Assim, uma frase como
O autor de D.

Quixote é espanhol

seria traduzida, para começar, por

a é espanhol, em que usamos