a

i
f
o
s
o
l
i
F
o
n
A
1 1

Unidade 1
Racionalidade
argumentativa
e Filosofia:
Lgica e Filosofia

Captulo II
A Lgica Proposicional

ndice

Captulo II A lgica Proposicional

Proposio: O que ? / Constituio

Operadores lgicos
Tipos de Proposio
Operadores Verofuncionais/ Letras Proposicionais
Negao
Conjuno
Disjuno
Condicional
Bicondicional

ndice

Captulo II A lgica Proposicional

Tabelas de verdade

Falcias formais

Equivalncia
Tautologia
Contradio
Afirmao do consequente
Negao do antecedente

Formas vlidas

Modus ponens
Modus tollens

Proposio: o que ?

Todo aquele pensamento que tem

verdade.

valor de

Assim sendo, s as frases declarativas podem ser

consideradas proposies.

Operadores lgicos
Operadores Lgicos
Os operadores de formao de frases so partculas
que servem para articular e dar sentido a uma
frase.
Exemplo:

E
Dado que
falso que
Se ento

Proposies simples
Proposies Simples
So aquelas que no se podem decompor noutras,
pelo que o seu valor de verdade depende do confronto
com os factos que pretende descrever.
Exemplo:

O Joo veloz.
A gua ferve a 100 C .
As gazelas so mamferos.

Proposies compostas
Proposies Compostas
So aquelas que se podem decompor em
proposies simples. Pelo que o seu valor de verdade
depende:
1. da verdade ou falsidade das proposies simples;
2. do modo como essa verdade ou falsidade se
conecta na proposio complexa.

Proposies compostas
Proposies Compostas
Exemplo:
Londres cidade e o Porto aldeia.
Londres cidade ou Porto aldeia.

A Lgica Proposicional
Proposio Simples
Portugal
um pas.

Proposio Complexa

Lisboa uma Portugal um pas

cidade.
Lisboa uma cidade.

Lus est a Lus

est Lus est a dormir ou Lus
dormir.
acordado.
est acordado.
Eu
dieta.

fao Eu
emagreo.

Se fao dieta,
emagreo.

ento

Operadores
verofuncionais
Partculas de ligao entre as proposies.
Traduzem-se pelos seguintes sinais:

negao
^ conjuno
v disjuno

condicional
bicondicional

Letras proposicionais:

Qualquer letra do alfabeto latino utilizada para

traduzir uma proposio.

Operadores
verofuncionais
Designa
o

Smbol
o

Uso

Leitura

Exemplo

Negao

No P

falso
Descartes
empirista.

Conjuno

P^Q

PeQ

Descartes
racionalista
Hume empirista.

Disjuno

PvQ

P ou Q

Descartes

racionalista
ou
Hume empirista.

Condicional

PQ

Se P, ento Q

Se
Descartes

racionalista ento
Hume empirista.

Bicondiciona
l

P
Q

P se e s se Q

Descartes

racionalista, se e
s se Hume for
empirista.

que
seja

Operadores verofuncionais Negao

Negao
Proposio

Formalizao

Espinosa empirista.

falso que
empirista.

Espinosa

seja

No verdade que Espinosa

seja empirista.
Espinosa no empirista.
um erro afirmar que Espinosa
empirista.

Operadores verofuncionais Negao

Negao
P

O Joo
inteligente.

O Joo no
inteligente.

Operadores verofuncionais Conjuno

Conjuno
Proposio

Formalizao

Maria saiu.

P
Q

Jos ficou em casa.

Maria saiu, mas o Jos ficou em
casa.
Maria saiu, apesar
ficado em casa.

do

Jos

ter

Maria saiu e Jos ficou em casa.

Maria saiu quando o Jos ficou.
Maria saiu, embora o Jos tenha
ficado.

P^Q

Operadores verofuncionais Conjuno

Conjuno
P
Joo vai praia.

Q
Miguel
cinema.

vai

P^Q
ao Joo vai praia e
Miguel
vai
ao
cinema.

Operadores verofuncionais Disjuno

Disjuno
Proposio

Formalizao

Joo vai ao cinema.

Joo vai ao futebol.

Joo vai ao cinema ou Joo vai ao

futebol.
Joo vai ao cinema, a menos que v
ao futebol.
Joo vai ao cinema ou ao futebol.
Joo ou vai ao cinema ou vai ao
futebol.

PVQ

Operadores verofuncionais Disjuno

Disjuno
P
Joo
vai
cinema.

Q
ao Joo
vai
futebol.

PVQ
ao Joo vai ao cinema
ou Joo vai ao
futebol.

Operadores verofuncionais
A condicional
Condicional

Proposio

Formalizao

Deus existe.

A vida faz sentido.

Se Deus existe, ento a vida faz

sentido.
A vida faz sentido se Deus existe.
Caso Deus exista, a vida faz sentido.
Para que a vida faa sentido, basta
que Deus exista.

PQ

Operadores verofuncionais
A condicional
Condicional
P

PQ

Joo estuda.

Joo vai ao
cinema.

Se o Joo estuda,
ento vai ao
cinema.

A Lgica Proposicional A
bicondicional
Bicondicional
Proposio

Formalizao

Joo vai ao cinema.

Joo estuda.

Joo vai ao cinema se e apenas se

estudar.
Joo vai ao cinema se e somente se
estudar.
Se Joo
estudou.

for

ao

cinema

porque

Estudar condio necessria para o

Joo ir ao cinema.

PQ

A Lgica Proposicional A
bicondicional
Bicondicional
P

PQ

Joo vai ao
cinema.

Joo estuda.

Joo vai ao cinema

se e somente se
estudar.

A Lgica Proposicional
proposies complexas
Para se proceder simbolizao de proposies
complexas segue-se os seguintes passos:
1. Construir o dicionrio das proposies simples;
2. Identificar os operadores frsicos;
3. Proceder a uma simbolizao parcial da proposio
para esclarecer o mbito dos operadores.

A Lgica Proposicional
proposies complexas
Exemplo:
Se

falso que Mona Lisa bela,

ento a arte no precisa de beleza.

Passo 1:
P: Mona Lisa bela.
Q: A arte precisa de beleza.

A Lgica Proposicional
proposies complexas
Exemplo:
Se falso que Mona Lisa bela,
ento a arte no precisa de beleza.
Passo 2:
Operador Frsico: ;

A Lgica Proposicional
proposies complexas
Exemplo:
Se falso que Mona Lisa bela,
ento a arte no precisa de beleza.
Passo 3:
Simbolizao Parcial: Se (no P), ento (no Q).
Simbolizao Final: P Q

Tabelas de verdade
1. Passo: O cabealho da tabela tem duas
partes: na
primeira, esquerda, pomos as letras
proposicionais. Na segunda, mais
direita
pomos as letras com os
operadores.

(P ^ Q)

Tabelas de verdade
2. Passo: Feito o cabealho esgotam-se todas as
possibilidades de combinaes dos
valores de
verdade que P e Q podem ter.
P

(P ^ Q)

Tabelas de verdade
3. Passo: Depois disto efectuamos o clculo. O
clculo
processa-se das proposies simples
para as
complexas.
P
Q
(P ^
Q)
V

V V V

V F

F F

F F

Tabelas de verdade
4. Passo: Depois de efectuarmos o clculo das
proposies simples podemos
calcular o
valor do operador cujo mbito
maior.
P

(P ^
Q)

V V V

V F

F F

F F

Tabelas de verdade
Como fazer uma tabela com mais de duas
letras
proposicionais?

Para efectuar o clculo com mais de duas letras

precisamos de:
1.
descobrir
quantas
possibilidades
de
n
combinao existem atravs da frmula 2 (2
elevado a n sendo n o nmero das letras
proposicionais);
2. descobrir qual o operador com maior e menor

Tabelas de verdade
Tabelas de Verdade
Equivalncias/ Tautologias/ Contradies
Equivalncia: duas proposies so equivalentes
se e s se tiverem os mesmos valores de
verdade para todos os casos possveis.
Tautologia: proposies que tm sempre o
mesmo valor de verdade para todos os casos
possveis.
Contradio: proposies que so falsas em

Tabelas de verdade
equivalncia
P

(P

Q)

(Q

P)
V

V V

V V V

F F

F V V

V V

V F F

V F

F V F

Tabelas de verdade tautologia

Tabelas de verdade contradio

A

(A

A)
V

A Lgica dedutiva
A lgica dedutiva estuda os argumentos
dedutivos,
aqueles que devem garantir a verdade da
concluso.
Exemplo:
O Joo copiou ou Joo estudou
Joo no copiou
Logo, Joo estudou

A Lgica dedutiva
Exemplo:
O Joo copiou ou Joo estudou
PVQ
Joo no copiou
P
Logo, Joo estudou.
Q

P V Q, P

l=

Falcias formais

As falcias formais so erros de raciocnio

cuja
incorreco se deve a uma forma lgica
invlida.

1.

Afirmao do consequente;

2.

Negao do antecedente.

Falcias formais afirmao

do consequente
1. Afirmao do consequente:
Recebeu este nome porque na origem est o facto
de as pessoas pensarem que, afirmando um
consequente, devem afirmar o antecedente.
Pode provar que a pessoa que usou tal argumento
est errada usando um contra-argumento.

Falcias formais afirmao

do consequente
1. Afirmao do consequente:

Se a baleia for molusco, ento no

insecto
A baleia no um insecto
Logo, a baleia um molusco

Falcias formais negao

antecedente
2. Negao do antecedente:
Serve para mostrar que um argumento invlido pode
ter premissas falsas e concluso verdadeira.

Se D. Dinis era portugus, ento D.

Dinis era rei de Espanha.
D. Dinis no era portugus.
Logo, D. Dinis no era rei de Espanha.

Formas vlidas

A regra: se um argumento vlido, ento o padro

que
obtemos
substituindo
todas
as
letras
proposicionais por variveis de frmula vlido.

1. Modus Ponens;
2. Modus Tollens.

Formas vlidas

1. Modus Ponens:
Vejamos o seguinte argumento:

Se a baleia mamfero, ento tem pulmes

A baleia mamfero
Logo, a baleia tem pulmes

Formas vlidas modus

ponens
1. Modus Ponens:
Dicionrio:
P: A baleia mamfero.
Q: A baleia tem pulmes.
P Q,

l= Q

Formas vlidas modus

tollens
2. Modus Tollens:
Vejamos o seguinte argumento:

Se a Maria gosta do Miguel, ento Maria aparece no

caf
falso que Maria tenha aparecido no caf
Logo, falso que a Maria goste do Miguel

A Lgica Proposicional
modus tollens
2. Modus Tollens:
Dicionrio:
P: A Maria gosta do Miguel.
Q: A Maria apareceu no caf.
P Q,

l= Q