Pequeno glossrio de lgica formal clssica ou aristotlica:

- Compreenso (do Termo) - Conjunto das Qualidades de um Termo

- Sujeito proposicional - Primeiro Termo da Proposio
- Juzo - Relao entre dois Conceitos
- Induo - Operao sinttica que vai da Experincia Particular para o Conceito Geral
- Concluso - Proposio que completa um Argumento Padro
- Silogismo - Argumento dedutivo Categrico de trs Proposies e trs Termos
- Modo do Silogismo - A sequncia de Tipos das trs Proposies que constituem o Silogismo
- Validade do Argumento - Qualidade formal do Argumento cuja concluso segue as
condies das premissas
- Raciocnio - Relao entre Juzos
- Tipo ou Classe de Proposio - Um dos quatro gneros de Proposio (A:E:I:O)
- Verdade (proposicional) - Qualidade da Proposio que descreve um facto fielmente
- Predicado - Segundo Termo da Proposio, que declara algo sobre o sujeito
- Termo - Expresso verbal de um Conceito
- Forma do Silogismo - Reunio do Modo e da Figura de um Silogismo
- Proposio - Relao em Quantidade e Qualidade entre dois Termos
- Argumentar - Concluir a partir de Premissa
- Premissa - Condio, garantia ou ponto de partida da Concluso
- Deduo - Anlise independente da Experincia de um Conceito
- Extenso do Termo - Nmero de indivduos aferidos a um Termo; pode ser universal (na sua
totalidade) ou particular
- Conceito - Representao mental ou Sntese intelectual de Objecto
- Qualidade da Proposio - Caracterstica verbal da Proposio enquanto Afirmativa ou
Negativa
- Quantidade da Proposio - Caracterstica da Proposio enquanto Universal ou Particular
- Termo menor - Termo "S" do Silogismo, sujeito da concluso
- Inferncia - Estabelecimento de uma Concluso a partir de alguma Premissa
- Oposio - Divergncia entre duas Proposies em quantidade, qualidade ou ambas
- Termo maior - Termo "P" do Silogismo, predicado da concluso
- Figura (do Silogismo) - Designa as quatro posies possveis do Termo Mdio nas Premissas
do Silogismo
- Termo mdio - O Termo M que figura nas duas premissas do Silogismo categrico
- Converso - a inverso na ordem dos termos predicado e sujeito numa proposio
- Inferncia Imediata - Situao em que estamos perante um argumento com uma nica
premissa

PREMISSA: Uma afirmao usada num argumento para sustentar uma concluso. Por exemplo,
a premissa do argumento "O aborto no permissvel porque a vida sagrada" a afirmao
"A vida sagrada".
PROPOSIO: O pensamento literalmente expresso por uma frase declarativa. Diferentes
frases ou afirmaes podem exprimir a mesma proposio: "Lisboa uma cidade" e "Lisbon is
a city" exprimem a mesma proposio.
ARGUMENTO: Um argumento um conjunto de afirmaes de tal modo estruturadas que se
pretende que uma delas (a concluso) seja apoiada pelas outras (as premissas). Por exemplo:
"A vida tem de fazer sentido porque Deus existe" um argumento; a premissa "Deus existe" e
a concluso "A vida tem de fazer sentido". Mas "Ou Deus existe, ou a vida no faz sentido" no
um argumento, dado ser apenas uma afirmao que no est a ser apoiada por outras
afirmaes. Os argumentos podem ser vlidos ou invlidos, mas no podem ser verdadeiros ou
falsos. Um argumento vlido quando as suas premissas apoiam a sua concluso (ver
VALIDADE/INVALIDADE). H dois grandes grupos de argumentos: os dedutivos e os no
dedutivos (ver DEDUO e INDUO).
DEDUO: Um argumento cuja validade depende unicamente da sua forma lgica, ou da sua
forma lgica juntamente com os conceitos usados. Por exemplo, o argumento seguinte
dedutivo: "Se os animais tm direitos, tm deveres; dado que no tm deveres, no tm
direitos". dedutivo porque a sua validade depende unicamente da sua forma lgica, que este
caso a seguinte: "Se P, ento Q; no Q; logo, no P". O argumento seguinte dedutivo porque a
sua validade depende unicamente da sua forma lgica juntamente com os conceitos usados: "A
neve branca; logo, tem cor". No verdade que nos argumentos dedutivos se parta sempre do
geral para o particular. O argumento seguinte dedutivo e tanto a sua premissa como a sua
concluso so particulares: "Alguns filsofos so gregos; logo, alguns gregos so filsofos". Ver
INDUO
INDUO: Geralmente usa-se este termo para falar de dois tipos diferentes de argumentos: as
generalizaes e as previses. Uma generalizao um ARGUMENTO quantificacional (ver
QUANTIFICADOR) no dedutivo cujas premissas so menos gerais do que a concluso. Este
tipo de argumentos apresenta a seguinte FORMA LGICA, ou outras formas lgicas anlogas:
"Alguns F so G. Logo, todos os F so G". Por exemplo: "Alguns corvos so pretos; logo, todos os
corvos so pretos". Uma previso um argumento quantificacional no dedutivo cujas
premissas se baseiam no passado e cuja concluso um caso particular. Por exemplo: "Todos
os corvos observados at hoje so pretos; logo, o corvo do Joo preto". defensvel que
qualquer argumento no dedutivo se baseia na induo, nomeadamente qualquer
ARGUMENTO DE AUTORIDADE e ARGUMENTO POR ANALOGIA. Ver PROBLEMA DA INDUO

Proposies so sentenas que exigem os chamados conectivos lgicos ou simplesmente

conectivos. As palavras ou smbolos que se usam para formar novas proposies utilizam-se
dos conectivos lgicos para integrar outras proposies dadas.
Os conectivos usuais da lgica matemtica so as seguintes palavras:
ou
e
no
Se ento
se e somente se
Respectivamente cada conectivo possuem os seguintes smbolos para represent-los:

No raciocnio lgico esses so os conectivos. interessante possu-los bem definidos em mente

para resolver questes.
muito importante saber traduzir da linguagem lgica para linguagem corrente. Observe a
tabela e memorize este glossrio:
Linguagem
Simblica

Linguagem
Corrente
no
e
ou
seento

se e somente se

Linguagem Matemtica
Modificador
Conjuno
Disjuno
Implicao ou condicional
Bicondicional ou
equivalncia