Lógica Formal

ARGUMENTAÇÃO E LÓGICA FORMAL
FILOSOFIA – 10º ANO

O que é a Lógica
• O termo "lógica" é derivado do

vocábulo grego logos que significa
"ideia", "palavra", "razão" e
"regularidade".
• A lógica foi criada por Aristóteles,

no século IV a.C., como uma ciência
autónoma que se dedica ao estudo
dos atos do pensamento - Conceito,
Juízo, Raciocínio, Demonstração-
do ponto de vista da sua estrutura
ou forma lógica, sem ter em conta
qualquer conteúdo material.
A lógica formal ou matemática apareceu no fim do século XIX,
quando o filósofo alemão Friedrich Frege transformou a
linguagem corrente em expressão matemática, para tentar
analisar a verdade e validade dos argumentos.
Na década de 1960 do século XX, a linguagem da lógica passou a

ser utilizada na programação de computadores e, atualmente, é
utilizada no desenvolvimento de inteligência artificial.
IMPORTÂNCIA DA LÓGICA
• Ajuda-nos a adquirir competências que nos permitem avaliar a
validade dos argumentos que nos são oferecidos, ajudando a
desenvolver a autonomia e o espírito crítico.
• Proporciona-nos meios que possibilitam a organização coerente dos

pensamentos, desenvolvendo competências argumentativas e
demonstrativas, a fim de os podermos comunicar com rigor, coerência
e inteligibilidade.
• Nenhuma ciência pode prescindir da lógica pois que cada ciência

procura o conhecimento verdadeiro do seu objeto de estudo. Para
alcançar esse conhecimento e, sobretudo, para o transmitir com rigor e
coerência, o cientista deve obedecer aos princípios e às regras
lógicas. Nenhuma ciência pode prescindir de recorrer a essas regras,
sob pena de se tornar um discurso ininteligível.
INSTRUMENTOS LÓGICOS DO PENSAMENTO
CONCEITO
Representação mental, abstrata e geral, que
reúne os carateres comuns ao conjunto de
seres de uma espécie e os distingue dos
seres de uma espécie diferente.
TERMO: Expressão verbal do conceito.

INSTRUMENTOS LÓGICOS DO PENSAMENTO
O mesmo termo pode expressar diferentes conceitos

(compasso – instrumento de desenho / divisão de
tempo na musica)
O mesmo conceito pode ser expresso por termos

diferentes (diferentes línguas por exemplo):
Homem(Ser Humano)- Homem, hombre, homme
Rei – King, Roi, Ti(chinês)
Pão – Molete, Papo-seco
JUÍZO
Operação intelectual mediante a qual se estabelece uma
relação de concordância ou discordância entre
conceitos:
Marte é um planeta
Marte não é planeta
Ninguém é profeta na sua terra
A Terra anda à volta do Sol
PROPOSIÇÃO
A proposição é a expressão verbal do juízo.
As proposições são frases declarativas – afirmam ou negam algo.
Exprimem um valor de verdade - podem ser verdadeiras ou

falsas.
Não devemos confundir proposições com frases. Há vários
tipos de frases: declarativas, interrogativas, imperativas e
exclamativas.
Mas só as frases declarativas exprimem proposições.

EXEMPLOS DE FRASES QUE NÃO EXPRESSAM PROPOSIÇÕES
EXEMPLOS TIPO DE FRASE

Saia da minha frente! Frase imperativa.
Que belo jardim você tem! Frase exclamativa.
Quem sou eu? Frase interrogativa.
Farei o que me mandas fazer. Frase que traduz uma promessa.
Ajuda-me a transportar estes sacos. Frase que expressa um pedido.
Mas as frases seguintes exprimem proposições, porque
são declarativas e têm valor de verdade, isto é, são
verdadeiras ou falsas, ainda que, acerca de algumas,
não saibamos, neste momento, se são verdadeiras ou
falsas:
1. Braga é a capital de Portugal.

2. Braga é uma cidade minhota.
3. A neve é branca.
4. Há seres extraterrestres inteligentes.
RACIOCÍNIOS E ARGUMENTOS
Os raciocínios são encadeamentos (lógicos e coerentes) de juízos
e exprimem-se verbalmente em argumentos. Os argumentos
são válidos ou inválidos.
• Um argumento é um conjunto de proposições que utilizamos para
justificar (provar, dar razão, suportar) algo. A proposição que queremos
justificar tem o nome de conclusão; as proposições que pretendem apoiar a
conclusão ou a justificam têm o nome de premissas.

Exemplo
ANTECEDEN Premissa Todos os portugueses são europeus.

TE Premissa Os alentejanos são portugueses.
CONSEQUEN
Conclusão Logo, os alentejanos são europeus.
TE
Indicador de
Nexo lógico
conclusão
Não se enquadram na categoria de «argumentos» aqueles que são

meros conjuntos de proposições sem qualquer conexão lógica entre si.
Exemplo
Um argumento tem subjacente uma
A praia é boa.
inferência ou raciocínio, uma operação
As cerejas fazem bem à saúde.
que efetua a transição lógica entre
Logo, as férias devem continuar.
proposições.
ARGUMENTO
Supõe alguém quer pedir aos pais um aumento da

"mesada". Como justifica este aumento? Recorrendo a
razões, não é? Dirá qualquer coisa como:
Os preços no bar da escola subiram; como eu lancho no
bar da escola, o lanche fica me mais caro. Portanto,
preciso de um aumento da "mesada".
Temos aqui um argumento, cuja conclusão é: "preciso de
um aumento da “mesada”. E como justifica esta
conclusão? Com a subida dos preços no bar da escola e
com o facto de lanchar no bar. Então, estas são as
premissas do argumento, são as razões utilizadas para
defender a conclusão.
VALIDADE E VERDADE
A Lógica não se ocupa com o conteúdo do pensamento (significado
das proposições que constituem o raciocínio) mas com a sua
forma (encadeamento das proposições) ou validade.
A validade é a coerência interna de um raciocínio. A validade diz-nos

que, num argumento dedutivo, se as premissas forem verdadeiras,
a conclusão terá que ser necessariamente verdadeira.
Ex: Se for verdade que:

Todos as portuguesas são bonitas
A Maria é portuguesa
Logo a Maria é bonita
VALIDADE E VERDADE
Qualquer fatia de queijo é mais inteligente
do que um estudante de filosofia.
O meu gato é uma fatia de queijo.
Logo, o meu gato é mais inteligente do que

um estudante de filosofia.
Apesar de ser constituído por proposições falsas é um argumento

válido, apresenta uma estrutura formal coerente.
VALIDADE E VERDADE
Pode haver argumentos dedutivos válidos com premissas e conclusão falsas.
Todos os portugueses são pintores.

Bertrand Russell é português.
Logo, Bertrand Russell é pintor.
Pode haver argumentos dedutivos inválidos com premissas e conclusão verdadeiras.
Todos os naturais de Lisboa são portugueses.

Fernando Pessoa é português.
Logo, Fernando Pessoa é natural de Lisboa.
QUADRADO DA OPOSIÇÃO
VALIDADE E VERDADE
→ Das proposições dizemos que são verdadeiras ou falsas.
→ Dos argumentos afirmamos que são válidos ou inválidos.
→ A validade refere-se à forma/estrutura dos argumentos.
→ A verdade diz respeito ao conteúdo/matéria das proposições.
ARGUMENTOS SÓLIDOS OU BONS
Estamos perante um argumento sólido quando e só

quando:
1. o argumento é válido;
2. as premissas são de facto verdadeiras (e por
conseguinte, a conclusão também é verdadeira).
Todos os homens são mortais.

Sócrates é homem.
Logo, Sócrates é mortal.
Argumentos cogentes
Contudo, a solidez também não é suficiente para que um argumento seja persuasivo.
O dinheiro da mesada é insuficiente.

Portanto, preciso de um aumento de mesada.
Este argumento é válido, mas não nos foi apresentada uma boa razão para acreditar na
verdade desta conclusão, portanto não é cogente.
Diz-se que um argumento é cogente quando, além de ser sólido, tem premissas mais
plausíveis (ou aceitáveis) do que a conclusão.
TIPOS DE ARGUMENTOS
DEDUÇÃO
Operação intelectual que, a partir de uma ou mais
premissas gerais tomadas como antecedente, chega a
uma conclusão ou consequente particular.
Todos os planetas giram à volta do Sol

Marte é um planeta
Logo, Marte gira à volta do Sol
TIPOS DE ARGUMENTOS
DEDUÇÃO
A validade de um argumento dedutivo depende
unicamente da forma lógica do argumento, ou seja,
da relação correta que se dá entre as premissas e a
conclusão (sejam estas de facto verdadeiras ou não).
Todos os queijos são filósofos.

Alguns produtos do Jumbo são queijos.
Logo, alguns produtos do Jumbo são filósofos.
TIPOS DE ARGUMENTOS
INDUÇÃO
Operação intelectual que a partir de proposições ou
antecedentes particulares, chega a uma conclusão,
ou consequente, expressa por uma proposição
geral.
O ferro, o cobre e o zinco dilatam com o calor

O ferro, o cobre e o zinco são metais
Logo, todos os metais dilatam com o calor
TIPOS DE ARGUMENTOS
ANALOGIA
Operação intelectual que de certas semelhanças entre objetos

ou entre dois grupos de objetos, extrai novas semelhanças.
O primeiro-ministro é semelhante a um capitão de um navio.

Como o capitão de um navio dispões de uma larga autoridade
relativamente ao equipamento e aos passageiros;
Então, o primeiro-ministro deveria dispor também de uma
larga autoridade relativamente ao governo e aos cidadãos.
TIPOS DE ARGUMENTOS
ANALOGIA
Os resultados obtidos com este novo medicamento em

experiências feitas com animais foram positivos. Logo,
terão os mesmos resultados em seres humanos.
Nunca estudei para os testes e tiro positiva

Vou ter teste de filosofia
Não vou estudar
Vou ter positiva.
LÓGICA PROPOSICIONAL
ARGUMENTAÇÃO E LÓGICA FORMAL
VERDADE E FALSIDADE
A Lógica proposicional centra-se na proposição como
expressão linguística do juízo.
Verdade (V) e Falsidade (F) são os valores lógicos que

convêm às proposições tratadas na lógica. As
proposições são frases declarativas que têm valor de
verdade.
VARIÁVEIS PROPOSICIONAIS
Cada proposição é substituída por um símbolo. As letra p, q, r,
que substituem as proposições, designam-se por variáveis
proposicionais.
Tomemos como exemplo o seguinte argumento:
Todo o homem é mortal

Sócrates é homem
Logo, Sócrates é mortal
VARIÁVEIS PROPOSICIONAIS
Pode escrever-se:
p
q
___
\r
ou (pÙq) ® r
em que:
p= Todo o homem é mortal
q= Sócrates é homem
r= Sócrates é mortal
PROPOSIÇÕES SIMPLES E COMPLEXAS
Existem dois tipos de proposições: as simples ou atómicas e as
complexas (compostas) ou moleculares:
PROPOSIÇÕES SIMPLES E COMPLEXAS
PROPOSIÇÕES CATEGÓRICAS
O quadrado da oposição resume as relações lógicas que ocorrem entre as quatro
formas de proposições categóricas quantificadas.
Com o auxílio deste quadrado podemos então concluir que, relativamente às
proposições categóricas:
Exemplo Negação
A – Universal afirmativa Todos os portugueses são Alguns portugueses não são

continentais. continentais.
E – Universal negativa Nenhum português é continental. Alguns portugueses são continentais.
I – Particular afirmativa Alguns portugueses são Nenhum português é continental.

continentais.
O – Particular negativa Alguns portugueses não são Todos os portugueses são continentais.
continentais.
CONETIVAS PROPOSICIONAIS
Principais conetivas
Sinal gráfico Significado Operação lógica
Ù E, mas Conjunção
Ú Ou Disjunção inclusiva
Ú Ou … ou Disjunção exclusiva
~ ¬ Não, não é verdade Negação
® Se…então Condicional
« Se e só se Bicondicional
A casa é amarela e está isolada p Ùq (conjunção)
A casa é amarela ou está isolada pÚq (disjunção inclusiva)
Ou a casa é amarela ou está isolada pÚq (disjunção exclusiva)

A casa não é amarela
~ p (negação)
Se estiver sol, então irei à praia
p®q (condicional)
Se e só se estiver sol, irei à praia
p«q (bicondicional)
EXERCÍCIOS
FORMALIZE AS SEGUINTES FRASES:
1. Formalize as seguintes frases:
1. A eutanásia é permitida por lei se for praticada na Holanda.
2. A eutanásia deve ser permitida se, e só se, for aplicada a
doentes terminais.
3. Se Picasso é espanhol e está vivo, então não é pintor.
4. Picasso é espanhol e, se está vivo, então não é pintor.
5. Picasso é espanhol, mas não está vivo.
6. Picasso não está vivo, embora seja espanhol e pintor.
7. Se o professor não se despachar, chega tarde à escola e os
alunos têm folga.
8. Pedro e Inês amam-se.
1. A eutanásia é permitida por lei se for praticada na Holanda.
p: «A eutanásia é permitida por lei.»
q: «A eutanásia é permitida na Holanda.»
qp
2. A eutanásia deve ser permitida se, e só se, for aplicada a doentes

terminais.
p: «A eutanásia deve ser permitida.»
q: «A eutanásia é aplicada a doentes terminais.»
pq
3. Se Picasso é espanhol e está vivo, então não é pintor.
p: «Picasso é espanhol.»
q: «Picasso está vivo.»
r: «Picasso é pintor.»
(p  q)  ~r
4. Picasso é espanhol e, se está vivo, então não é pintor.

p (q  ~r)
5. Picasso é espanhol, mas não está vivo.
p  ~q
6. Picasso não está vivo, embora seja espanhol e pintor.

p: «Picasso está vivo.»
q: «Picasso é espanhol.»
~p  (q  r)
7. Se o professor não se despachar, chega tarde à escola e os alunos
têm folga.
p: «O professor despacha-se.»
q: «O professor chega tarde à escola.»
r: «Os alunos têm folga.»
~p  (q  r)
8. Pedro e Inês amam-se.

p: «Pedro ama Inês.»
q: «Inês ama Pedro.»
pq
NEGAÇÃO ~
NEGAÇÃO ~
Tomemos a seguinte proposição:
D. Afonso Henriques foi o primeiro rei de Portugal – p
A sua negação será uma nova proposição representada por ~p
Não é verdade que D. Afonso Henriques foi o primeiro rei de

Portugal
Ou
D. Afonso Henriques não foi o primeiro rei de Portugal
NEGAÇÃO
REGRA DA NEGAÇÃO: A negação é verdadeira se a proposição
inicial for falsa. É falsa se a proposição inicial for verdadeira.
(se p é verdadeira ~p é falsa: se p é falsa, ~p é verdadeira)
p ~p
V F
F V
CONJUNÇÃO - Ù
CONJUNÇÃO - Ù
Considerando duas proposições simples
Está sol
A temperatura está amena
Podemos obter uma proposição complexa com a conectiva e (Ù)
Está sol e a temperatura está amena.

CONJUNÇÃO - Ù
REGRA DA CONJUNÇÃO: A conjunção é verdadeira se
todas as proposições forem verdadeiras. Basta que
uma proposição seja falsa para a conjunção ser falsa.
p q pÙq
V V
V F
F V
F F
Está sol e a temperatura está amena

CONJUNÇÃO - Ù
REGRA DA CONJUNÇÃO: A conjunção é verdadeira se
todas as proposições forem verdadeiras. Basta que
uma proposição seja falsa para a conjunção ser falsa.
p q pÙq
V V V
V F F
F V F
F F F
Está sol e a temperatura está amena

DISJUNÇÃO INCLUSIVA – Ú
DISJUNÇÃO INCLUSIVA Ú
O almoço é constituído por carne ou
por peixe
Hoje quero ir à praia ou ao cinema
Estas expressões traduzem

alternativas que não se excluem.
Podemos aceitar uma, outra ou ambas.
REGRA DA DISJUNÇÃO INCLUSIVA – A disjunção
inclusiva só é falsa quando as duas proposições
simples são falsas. Basta que uma proposição seja
verdadeira para que a disjunção seja verdadeira.
p q pÚq
V V
V F
F V
F F
O almoço é constituído por carne ou por peixe

REGRA DA DISJUNÇÃO INCLUSIVA – A disjunção
inclusiva só é falsa quando as duas proposições
simples são falsas. Basta que uma proposição seja
verdadeira para que a disjunção seja verdadeira.
p q pÚq
V V V
V F V
F V V
F F F
O almoço é constituído por carne ou por peixe

DISJUNÇÃO EXCLUSIVA Ú
Alguns autores entendem que pode ser
considerado um tipo menos comum de
disjunção: a chamada disjunção exclusiva.
António ou passa nos exames ou terá de repetir o

ano. pÚq
Em casos como estes as alternativas excluem-se,

pelo que podemos aceitar uma ou outra, mas
não ambas.
REGRA DA DISJUNÇÃO EXCLUSIVA: A disjunção exclusiva é
verdadeira quando as proposições simples possuem valores
lógicos diferentes. É falsa quando as proposições são ambas
verdadeiras ou ambas falsas.
p q pÚq
V V
V F
F V
F F
António ou passa nos exames ou terá de repetir o ano

REGRA DA DISJUNÇÃO EXCLUSIVA: A disjunção exclusiva é
verdadeira quando as proposições simples possuem valores
lógicos diferentes. É falsa quando as proposições são ambas
verdadeiras ou ambas falsas.
p q pÚq
V V F
V F V
F V V
F F F
António ou passa nos exames ou terá de repetir o ano

CONDICIONAL (IMPLICAÇÃO) ®
Se está sol, então a temperatura está amena. p®q
O antecedente é condição bastante para que se verifique

o consequente, mas não única.
REGRA DA CONDICIONAL (IMPLICAÇÃO) – A
implicação só é falsa quando o antecedente for
verdadeiro e o consequente for falso. Nos outros
casos, é sempre verdadeira.
p q p®q
V V
V F
F V
F F
Se está sol, então a temperatura está amena.

REGRA DA CONDICIONAL (IMPLICAÇÃO) – A
implicação só é falsa quando o antecedente for
verdadeiro e o consequente for falso. Nos outros
casos, é sempre verdadeira.
p q p®q
V V V
V F F
F V V
F F V
Se está sol, então a temperatura está amena.

BICONDICIONAL (EQUIVALÊNCIA) «
Está sol – p
A temperatura está amena – q
Se, e somente se, está sol, a temperatura está amena.
p«q
REGRA DA BICONDICIONAL - Uma proposição
bicondicional é verdadeira se as proposições simples
forem ambas verdadeiras ou ambas falsas.
p q p«q
V V
V F
F V
F F

REGRA DA BICONDICIONAL - Uma proposição
bicondicional é verdadeira se as proposições simples
forem ambas verdadeiras ou ambas falsas.
p q p«q
V V V
V F F
F V F
F F V

NEGAÇÃO Deus não existe A negação é verdadeira se a
proposição inicial for falsa. É falsa se
a proposição inicial for verdadeira.
CONJUNÇÃO Sócrates é grego e filosofo Uma conjunção é verdadeira se, e só

se, as frases que a constituem forem
verdadeiras.
DISJUNÇÃO Sócrates é grego ou filósofo Uma disjunção (inclusiva) é falsa se,

INCLUSIVA e só se, as frases que a constituem
forem falsas.
DISJUNÇÃO Sócrates ou nasceu em Uma disjunção exclusiva é verdadeira

EXCLUSIVA Atenas ou em Roma se, e só se, as frases que a
constituem tiverem um diferente valor
de verdade.
CONDICIONAL Se tirar positiva a filosofia Uma condicional é falsa se, e só se, a

passo de ano. sua antecedente for verdadeira e a
consequente falsa.
BICONDICIONAL Passo de ano se, e só se, Uma bicondicional é verdadeira se, e

tirar positiva a filosofia. só se, as frases que a constituem
tiverem o mesmo valor de verdade
TABELAS DE VERDADE
TABELAS DE VERDADE
As tabelas de verdade são tabelas que podem formar-se

para determinar “mecanicamente” a verdade ou
falsidade de uma fórmula, uma vez conhecidos os
valores de verdade das fórmulas componentes.
(Ferrater Mora)
TABELAS DE VERDADE
 As tabelas de verdade indicam o valor de verdade de uma

proposição complexa na qual ocorre uma conectiva.
 Caso, numa proposição complexa, ocorra mais do que

uma conectiva, para sabermos o seu valor de verdade,
temos de fazer cálculos, aplicando sucessivamente as
tabelas de verdade.
TABELAS DE VERDADE
Ao construirmos uma tabela de verdade, para que todas as combinações possíveis
(circunstâncias ou casos) sejam tidas em consideração, importa saber:
• Se a fórmula for constituída por uma única proposição simples, teremos duas
combinações possíveis (2¹, isto é, dois valores de verdade – V e F – e uma proposição).
• Para as fórmulas constituídas por duas proposições simples, teremos quatro combinações
possíveis (2²).
• Quando a fórmula incluir três proposições simples, teremos oito combinações possíveis
(2³).
TABELAS DE VERDADE
 Consideremos o seguinte exemplo:

Se Portugal joga contra Espanha no campeonato do mundo de futebol,
então os adeptos espanhóis não apoiam os jogadores portugueses.
 Tradução da frase:
P – Portugal joga contra Espanha no campeonato do mundo de futebol.
Q – Os adeptos espanhóis apoiam os jogadores portugueses.
P → ¬Q
TABELAS DE VERDADE
P → ¬Q p q ~q p®~q
V V
Tabela da Negação
P ~P V F
V F
F V
F V
F F
Começamos por calcular ¬Q.

TABELAS DE VERDADE
Cálculo de ¬Q
P → ¬Q p q ~q p®~q
V V F
Tabela da Negação
P ~P
V F V
V F
F V
F V F
F F V
TABELAS DE VERDADE
Tabela da Condicional p q ~q p®~q

P Q PQ
V V V V V F
V F F
F V V
V F V
F F V
Uma condicional é falsa se, e só F V F

se, a sua antecedente for
verdadeira e a consequente falsa.
F F V
Depois de ¬Q, calculamos P → ¬Q. Nesse cálculo, vamos considerar os valores de

verdade de P e de ¬Q.
TABELAS DE VERDADE
Cálculo de P → ¬Q
Tabela da Condicional p q ~q p®~q
P Q PQ
V V V
V F F V V F F
F V V
F F V
V F V V
Uma condicional é falsa se, e só
se, a sua antecedente for F V F V
verdadeira e a consequente falsa.
F F V V
TABELAS DE VERDADE
P → ¬Q
P → ¬Q é verdadeira quando P é verdadeira e Q é falsa, quando P é falsa e Q é

verdadeira e quando P e Q são falsas.
P → ¬Q é falsa apenas quando P e Q são verdadeiras.
p q ~q p®~q
V V F F
V F V V
F V F V
F F V V
TABELAS DE VERDADE
«Se Portugal joga contra Espanha no campeonato do mundo de futebol, então
os adeptos espanhóis não apoiam os jogadores portugueses.»
A proposição complexa é falsa apenas quando

«Portugal joga contra Espanha no campeonato do mundo de futebol» e «Os
adeptos espanhóis apoiam os jogadores portugueses» são verdadeiras.
p q ~q p®~q
V V F F
V F V V
F V F V
F F V V
Quanto ao seu valor lógico, as proposições compostas
podem ser tautologias, contradições ou contingências.
TAUTOLOGIAS CONTRADIÇÕES CONTINGÊNCIAS
São sempre verdadeiras, quaisquer Contradições ou falsidades lógicas são Podem ser verdadeiras em certos
que sejam os valores de verdade proposições que são sempre falsas, casos e falsas noutros, dependendo do
atribuídos às variáveis.
independentemente do valor de valor de verdade atribuído às
verdade das proposições simples que variáveis.
as compõem.
A Etiópia é um país africano ou a A Etiópia é um país africano e não é A Etiópia é um país africano e o Nepal
Etiópia não é um país africano um país africano (P V ¬P). é um país asiático (P^Q).
(P V¬P).
INSPETORES DE CIRCUNSTÂNCIAS
Podemos determinar a validade dedutiva de muitos
argumentos através de um certo tipo de tabelas de
verdade – os inspetores de circunstâncias.
Se num inspetor de circunstâncias existir pelo menos

uma linha com todas as premissas verdadeiras e a
conclusão falsa, o argumento tem uma forma inválida.
Se compro a casa, então gasto muito dinheiro.
Compro a casa.
Logo, gasto muito dinheiro.
p – compro a casa
q – gasto muito dinheiro
[(p®q) Ù p ] ® q
[(p®q) Ù p ] ® q
p q p®q p \q
V V
V F
F V
F F
[(p®q) Ù p ] ® q
p q p®q p \q
V V V
V F F
F V V
F F V
[(p®q) Ù p ] ® q
p q p®q p \q
V V V V
V F F V
F V V F
F F V F
[(p®q) Ù p ] ® q
p q p®q p \q
V V V V V
V F F V F
F V V F V
F F V F F
[(p®q) Ù p ] ® q
p q p®q p \q
V V V V V
V F F V F
F V V F V
F F V F V
O argumento é válido. Em nenhuma circunstância tem premissas verdadeiras e
conclusão falsa.
Se compro a casa, então gasto muito dinheiro.
Gasto muito dinheiro.
Logo, compro a casa.
p – compro a casa
q – gasto muito dinheiro
[(p®q) Ù q ] ® p
[(p®q) Ù q ] ® p
p q p®q q \p
V V V V V
V F F F V
F V V V F
F F V F F
O argumento é inválido. Na terceira linha tem
premissas verdadeiras e conclusão falsa.
(“Não compro a casa e gasto muito dinheiro”)
FORMAS DE INFERÊNCIA VÁLIDA
MODUS PONENS (MODO DE POR – MODO POSITIVO
Dá-se a afirmação do antecedente.
Se o Pedro fala (antecedente), existe. (consequente)

Ora, o Pedro fala. (Afirmação do antecedente)
Logo, existe.
Formalizando: [(p®q) Ù p ] ® q
FALÁCIA DO MODUS PONENS
Falácia: Do latim fallere – enganar. Raciocínio errado

com aparência de verdadeiro.
 Quando uma falácia é cometida intencionalmente,
trata-se de um sofisma.
 Quando se comete o erro involuntariamente, comete-
se um paralogismo.
Se o Pedro fala, existe.
Ora, o Pedro existe.
Logo, fala.
[(p®q) Ù q ] ® p
Este raciocínio é falacioso, pois pelo facto de o Pedro existir, não

quer dizer que o Pedro fale. Afirma-se o consequente e não o
antecedente.
Se o Pedro fala, existe. p  q
Ora, o Pedro existe. q
Logo, fala. p
p q p®q q \p
V V
V F
F V
F F
Logo, fala. p
p q p®q q \p
V V V
V F F
F V V
F F V
Logo, fala. p
p q p®q q \p
V V V V
V F F F
F V V V
F F V F
Logo, fala. p
p q p®q q \p
V V V V V
V F F F V
F V V V F
F F V F F
Logo, fala. p
p q p®q q \p
V V V V V
V F F F V
F V V V F
F F V F F
O inspetor de circunstâncias prova que o argumento é falacioso
MODUS TOLLENS (MODO DE TIRAR – MODO NEGATIVO)
Dá-se a negação do consequente.
Se chove (antecedente), o chão fica molhado.

(consequente)
Ora, o chão não está molhado. (negação do
consequente)
Logo, não chove.
[(p®q) Ù ~q ] ® ~p
FALÁCIA DO MODUS TOLLENS
Se chove, o chão fica molhado.
Ora, não chove.
Logo, o chão não está molhado.
[(p®q) Ù ~p ] ® ~q
Pelo facto de não chover, não significa que o
chão não esteja molhado. Nega-se o
antecedente e não o consequente.
Se estou em Faro,
então estou no Algarve.
Não estou em Faro [(p®q) Ù ~p ] ® ~q
Logo, não estou no Algarve.
p q p®q ~p \ ~q
V V
V F
F V
F F
Se estou em Faro,
então estou no Algarve.
Não estou em Faro [(p®q) Ù ~p ] ® ~q
Logo, não estou no Algarve.
p q p®q ~p \ ~q
V V V F F
V F F F V
F V V V F
F F V V V
Posso estar em Olhão, ou em Tavira…
CONTRAPOSIÇÃO
Tanto podemos inferir a segunda proposição a partir da
primeira, como inferir a primeira proposição a partir
da segunda.
p ® q \ ~q ® ~q
Se Deus existe, a vida faz sentido.

Logo, a vida não faz sentido, se Deus não existe.
SILOGISMO HIPOTÉTICO
Se uma proposição implica uma segunda e esta, por sua
vez, implica uma terceira, então a primeira implica
igualmente a terceira.
Se a justiça é respeitada, então os cidadãos cumprem a

lei.
Se os cidadãos cumprem a lei, então há paz.
Logo, se a justiça é respeitada, então há paz.
(p ® q) Ù (q ® r) ® (p ® r)
SILOGISMO DISJUNTIVO
O silogismo disjuntivo apresenta a primeira premissa com duas alternativas que se
excluem. Se na segunda premissa se aceita uma delas, tem de se negar, na
conclusão, a outra alternativa; se se começa por negar uma alternativa, tem de se
aceitar a outra, na conclusão.
Sócrates é grego ou é romano.

Sócrates é grego.
Logo, Sócrates não é romano.
[(p Ú q) Ù p] ® ~q
Sócrates ou é grego, ou romano.

Sócrates não é romano.
Logo, Sócrates é grego.
[(p Ú q) Ù ~q] ® p
LEIS DE DE MORGAN
~(p Ú q) \ ~p Ù ~q
Negar um disjunção é o mesmo que negar p e negar q
~(p Ù q) \ ~p Ú ~q
Negar uma conjunção é o mesmo que negar p ou negar q

FIM

Lógica Formal

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Lógica Formal

Enviado por

Direitos autorais:

Formatos disponíveis

ARGUMENTAÇÃO E LÓGICA FORMAL

FILOSOFIA – 10º ANO

• O termo "lógica" é derivado do

• A lógica foi criada por Aristóteles,

Na década de 1960 do século XX, a linguagem da lógica passou a

• Proporciona-nos meios que possibilitam a organização coerente dos

• Nenhuma ciência pode prescindir da lógica pois que cada ciência

TERMO: Expressão verbal do conceito.

O mesmo termo pode expressar diferentes conceitos

O mesmo conceito pode ser expresso por termos

As proposições são frases declarativas – afirmam ou negam algo.

Exprimem um valor de verdade - podem ser verdadeiras ou

Mas só as frases declarativas exprimem proposições.

EXEMPLOS TIPO DE FRASE

1. Braga é a capital de Portugal.

• Um argumento é um conjunto de proposições que utilizamos para

justificar (provar, dar razão, suportar) algo. A proposição que queremos

justificar tem o nome de conclusão; as proposições que pretendem apoiar a

conclusão ou a justificam têm o nome de premissas.

ANTECEDEN Premissa Todos os portugueses são europeus.

Não se enquadram na categoria de «argumentos» aqueles que são

Supõe alguém quer pedir aos pais um aumento da

A validade é a coerência interna de um raciocínio. A validade diz-nos

Ex: Se for verdade que:

O meu gato é uma fatia de queijo.

Logo, o meu gato é mais inteligente do que

Apesar de ser constituído por proposições falsas é um argumento

Todos os portugueses são pintores.

Pode haver argumentos dedutivos inválidos com premissas e conclusão verdadeiras.

Todos os naturais de Lisboa são portugueses.

Estamos perante um argumento sólido quando e só

Todos os homens são mortais.

O dinheiro da mesada é insuficiente.

Todos os planetas giram à volta do Sol

Todos os queijos são filósofos.

O ferro, o cobre e o zinco dilatam com o calor

Operação intelectual que de certas semelhanças entre objetos

O primeiro-ministro é semelhante a um capitão de um navio.

Os resultados obtidos com este novo medicamento em

Nunca estudei para os testes e tiro positiva

Verdade (V) e Falsidade (F) são os valores lógicos que

Tomemos como exemplo o seguinte argumento:

Todo o homem é mortal

A – Universal afirmativa Todos os portugueses são Alguns portugueses não são

E – Universal negativa Nenhum português é continental. Alguns portugueses são continentais.

I – Particular afirmativa Alguns portugueses são Nenhum português é continental.

~ ¬ Não, não é verdade Negação

A casa é amarela ou está isolada pÚq (disjunção inclusiva)

Ou a casa é amarela ou está isolada pÚq (disjunção exclusiva)

2. A eutanásia deve ser permitida se, e só se, for aplicada a doentes

4. Picasso é espanhol e, se está vivo, então não é pintor.

6. Picasso não está vivo, embora seja espanhol e pintor.

8. Pedro e Inês amam-se.

A sua negação será uma nova proposição representada por ~p

Não é verdade que D. Afonso Henriques foi o primeiro rei de

Podemos obter uma proposição complexa com a conectiva e (Ù)

Está sol e a temperatura está amena.

Está sol e a temperatura está amena

Está sol e a temperatura está amena

Estas expressões traduzem

O almoço é constituído por carne ou por peixe

O almoço é constituído por carne ou por peixe

António ou passa nos exames ou terá de repetir o