Tipos de proposições

PROPOSIÇÃO

Pensamento ou conteúdo expresso por uma frase declarativa, suscetível de

ser considerada verdadeira ou falsa.

As proposições têm valor de verdade.

Simples ou elementares Complexas ou compostas

É aquela não pode decompor-se. resulta da ligação de proposições

São proposições em que não simples.
estão presentes quaisquer São proposições em que está presente
operadores. um operador ou mais do que um.
Exemplos Exemplos
As casas são brancas. As casas são amarelas. As casas são brancas ou as casas são amarelas.
Gertrudes é arquiteta. Paulo é engenheiro. Gertrudes é arquiteta e Paulo é engenheiro.
Deus existe. O mundo foi criado por Deus. Se Deus existe, então o mundo foi criado por ele.
Eu sou jogador de futebol. Eu não sou jogador de futebol.
 Proposições

Simples Complexas

O seu valor de verdade

O seu valor de verdade
depende do valor de
depende do facto de elas
verdade das proposições
estarem ou não de acordo
simples e dos operadores
com a realidade.
utilizados.

Gertrudes é arquiteta. Paulo é engenheiro.

Gertrudes é arquiteta e Paulo é engenheiro.

verdadeira
falsa
falsa
 Letras proposicionais ( que se utilizam para
designar as proposições) Gertrudes é arquiteta ou Paulo é engenheiro.

Letras maiúsculas do meio do alfabeto “P”, “Q”, “R”

verdadeira
…que representam proposições simples.
 Operadores Proposicionais

Trata-se de palavras ou expressões que, sendo ligadas a determinada(s) proposição(ões),

permitem formar novas proposições. Passando a proposições complexas

«Penso que», «visto

que», «acredito «E», «ou», «se…,
que», «é possível então», etc.
que», etc.

Operadores
verofuncionais
(operadores lógicos
ou conetivas
Proposição complexa função de verdade proposicionais).

Operadores que nos permitem, uma vez conhecidos os valores de verdade das
proposições simples, determinar, apenas com base nessa informação, o valor de
verdade da proposição resultante.
 Variáveis Letras P: Deus existe.
proposicionais proposicionais Q: A vida tem sentido.

Exemplo Forma lógica

Deus existe e a vida tem sentido. P e Q.

Logo, Deus existe. Logo, P.

Argumento dedutivamente válido.

É possível determinar, com base nos operadores

verofuncionais, a validade dos argumentos em que as
proposições se integram.
 OPERADORES VEROFUNCIONAIS
Símbolo Leitura Formas proposicionais

~ não Negação

 e Conjunção
Constantes
lógicas  ou Disjunção

→ se..., então Condicional

↔ se, e só se Bicondicional
 Forma lógica Exemplos
~P Não P. Deus não existe.
PQ P e Q. Deus existe e a vida tem sentido.
PQ P ou Q. Deus existe ou a vida tem sentido.
P→Q Se P, então Q. Se Deus existe, então a vida tem sentido.
P↔Q P se, e só se, Q. Deus existe se, e só se, a vida tiver sentido.

Operador singular,
Aplica-se apenas a uma proposição. «Não».
unário ou monádico

Operador binário ou «E», «ou», «se...,

Aplica-se a duas proposições.
diádico então», «se, e só se».
 Negação
P: Portugal é um país asiático.
~ P (Não P)
Portugal não é um país asiático.
Expressões
alternativas
Não é verdade que Portugal é um país asiático.
É falso que Portugal seja um país asiático.
É errado afirmar que Portugal é um país asiático.
A negação é uma proposição com a
forma «Não P», representando-se por
«~ P». Se P é verdadeira, ~ P é falsa;
Coluna de referência
se P é falsa, ~ P é verdadeira.
A negação de uma negação (ou dupla
negação) – que se representa por «~~ P» –
equivale a uma afirmação.
Tabela de verdade
Tabela que apresenta as diversas condições
de verdade de uma forma proposicional
específica, permitindo determinar de modo
mecânico a sua verdade ou falsidade.
A tabela de verdade exibe os valores de
verdade possíveis da(s) proposição(ões) e os
valores de verdade resultantes das operações
efetuadas.
Tabela de verdade da
negação
P ~P
V F
F V
Primeira parte Segunda parte
Sendo o operador da negação o único operador
unário, só haverá duas filas na tabela.
 Tabela de verdade da conjunção
Conjunção
P Q PQ
P: A vida é enigmática.
Q: A morte é enigmática. V V V
V F F
P  Q (P e Q) F V F
A vida é enigmática e a morte é F F F
enigmática.
Sendo o operador da conjunção, à semelhança dos
que estudaremos a seguir, um operador binário,
Expressões haverá na tabela quatro condições de verdade.
alternativas
A vida é enigmática e a morte também o é. A conjunção é uma proposição com a
A vida e a morte são enigmáticas. forma «P e Q», simbolizando-se por
A vida é enigmática, mas a morte é-o igualmente. «P  Q», a qual é verdadeira se as
Quer a vida quer a morte são enigmáticas.. proposições conectadas – que
também se chamam «proposições
conjuntas» – forem verdadeiras e é
falsa desde que pelo menos uma
dessas proposições seja falsa.
 P: Vou ao cinema. Tabela de verdade da
Disjunção
disjunção inclusiva
inclusiva Q: Fico em casa.
P Q PQ
P  Q (P ou Q) V V V
V F V
vou ao cinema ou fico em casa. F V V
F F F
A disjunção é uma proposição com a forma «P ou Q», simbolizando-se por «P  Q», a qual será sempre
verdadeira, exceto quando P e Q forem simultaneamente falsas.
 Tabela de verdade da
Condicional P: Marco golos. condicional
(implicação Q: Sou desportista.
P Q P→Q
material)
P → Q (Se P, então Q) V V V
Se marco golos, então sou V F F
desportista. F V V
F F V
Expressões
Antecedente É uma condição suficiente
alternativas
(P) para o consequente.
Sou desportista, se marco golos.
Sou desportista, caso marque golos. Consequente É uma condição necessária
Desde que eu marque golos, sou desportista. (Q) para o antecedente.
Ser desportista é condição necessária para eu
A condicional é uma proposição
marcar golos.
composta com a forma «Se P, então
Marcar golos é condição suficiente para eu ser
Q», simbolizando-se por «P → Q», a
desportista.
qual só é falsa se P – o antecedente –
Se marco golos, sou desportista.
é verdadeira e Q – o consequente – é
Não sou desportista, a menos que marque golos.
falsa. Em todas as restantes
 
situações, a nova proposição é
verdadeira.
 Tabela de verdade da
Bicondicional P: Sou escritor. bicondicional
(equivalência Q: Publico livros.
material) P Q P↔Q
P ↔ Q (Se, e só se) V V V
Sou escritor se, e só se, publico V F F
livros. F V F
F F V

Expressões
alternativas
Sou escritor se, e somente se, publico livros.
Sou escritor se, e apenas se, publico livros.
Publicar livros é condição necessária e suficiente
para eu ser escritor.
Se sou escritor, publico livros e vice-versa.
 
A bicondicional é uma proposição
composta com a forma «P se, e só se,
Q», simbolizando-se por «P ↔ Q», a
qual é verdadeira se ambas as
proposições tiverem o mesmo valor
lógico e falsa se as proposições
tiverem valores lógicos distintos.
 Formas proposicionais e operadores verofuncionais
Proposições
Disjunção
simples
Negação Conjunção Condicional Bicondicional
inclusiva

P Q P Q PQ PQ P→Q P↔Q

V V F F V V V V
V F F V F V F F
F V V F F V V F
F F V V F F V V
 Âmbito dos operadores P: Eu sonho.
Q: Eu estudo.

Operador principal:  Eu sonho e não estudo. P~Q

Uma conjunção e uma negação que incide sobre a proposição Q.

Operador principal: ~ É falso afirmar que eu sonho e não estudo. ~ (P  ~Q)

Uma negação que incide sobre a conjunção de P e de ~ Q.

Âmbito de um operador: refere-se à proposição (ou proposições)

sobre a qual (ou sobre as quais) esse operador incide.

No segundo exemplo, o operador da negação (enquanto operador principal) apresenta

um âmbito diferente do do outro operador da negação.
 Formalizar proposições complexas

Isolar as proposições simples

que as constituem e atribuir
Colocar as proposições na variáveis proposicionais a
forma canónica, identificando cada uma. A isto se chama Simbolizar ou formalizar a
os operadores verofuncionais «construir o dicionário» proposição complexa.
envolvidos. dessas proposições ou
proceder à sua
«interpretação».

Exemplo: Não sou bom aluno a Filosofia, a não ser que estude lógica.

Expressão canónica Interpretação (dicionário) Formalização

Se estudo lógica, então sou P: Estudo lógica.

P→Q
bom aluno a Filosofia. Q: Sou bom aluno a Filosofia.
Exemplo: Não sou rico se, e só se, não tenho dinheiro.

Expressão canónica Interpretação (dicionário) Formalização

Não sou rico se, e só se, não P: Sou rico.

~P↔~Q
tenho dinheiro. Q: Tenho dinheiro.

Exemplo: O ser humano não é feliz, a não ser que o dizer-se que Deus não existe e a
vida é absurda constitua uma falsidade.

Expressão canónica Interpretação (dicionário) Formalização

Se é falso que Deus não existe P: Deus existe.

e que a vida é absurda, então Q: A vida é absurda. ~ (~P  Q) → R
o ser humano é feliz. R: O ser humano é feliz.
 O método das tabelas de verdade

Expressão canónica Interpretação Formalização

Não é verdade que se está sol P: Está sol.

~ (P → Q))
então está bom tempo. Q: Está bom tempo.

1. P Q ~ (P → Q) 2. P Q ~ (P → Q)
Desenhar a tabela, Colocar na tabela
colocando aí as os valores de V V
verdade das
letras
proposições
V F
proposicionais e a
proposição simples, esgotando F V
complexa. as possibilidades.
F F

3. P Q ~ (P → Q) 4. P Q ~ (P → Q)
Calcular os valores
de verdade das V V V Calcular os valores V V F V
proposições, de verdade da
excetuando os
V F F proposição relativa
V F V F
daquela que é F V V ao operador F V F V
relativa ao principal.
operador principal. F F V F F F V
 
Para duas variáveis, são necessárias quatro filas; para
três, oito; para quatro, dezasseis, etc.

P Q R [R  (P  Q)] ↔ (R  Q)
Determinamos primeiro os valores
V V V V V V V de verdade da conjunção «P  Q» e
V V F V V V V da disjunção «R  Q» (a ordem neste
V F V V F V V caso é irrelevante). De seguida,
V F F F F V F determinamos os valores da
F V V V F V V disjunção «R  (P  Q)». Por fim,
determinamos os valores da
F V F F F F V
bicondicional a partir dos valores
F F V V F V V obtidos para as duas disjunções.
F F F F F V F
 Tautologias ou
verdades lógicas

Fórmulas proposicionais que são sempre verdadeiras, qualquer que seja o

valor de verdade das proposições simples que as constituem.

Exemplo Forma lógica

Se acendo e apago a luz,

(P  Q) → P
então acendo a luz.

P Q (P  Q) → P
V V V V
V F F V
F V F V
F F F V
 Contradições ou
falsidades lógicas

Fórmulas proposicionais que são sempre falsas, independentemente do valor

de verdade das proposições simples que as compõem.

Exemplo Forma lógica

Não penso ou não sonho se, e

( P   Q) ↔ (P  Q)
só se, penso e sonho.

P Q ( P   Q) ↔ (P  Q)
V V F F F F V
V F F V V F F
F V V V F F F
F F V V V F F
 Contingências ou proposições indeterminadas

Fórmulas proposicionais que tanto podem ser verdadeiras como falsas,

consoante os valores lógicos das proposições simples que as compõem.
Exemplo Forma lógica

Se passeio ou corro, então

(P  Q) → R
mantenho a saúde.

P Q R (P  Q) → R

V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F V
F F F F V
 Equivalências lógicas

Duas proposições são logicamente equivalentes se apresentarem as mesmas

condições de verdade: quando uma for verdadeira, a outra também o será e,
quando uma for falsa, a outra sê-lo-á também. Tal significa que a sua
bicondicional constitui uma verdade lógica ou uma tautologia.

Bicondicional ou equivalência
Equivalência lógica
material

Pode ser verdadeira ou falsa. É sempre verdadeira.

 Exemplo: P Q P↔Q
As duas proposições
Trabalho se, e só se, tenho saúde. complexas são
V V V equivalentes, pois
Forma lógica
V F F apresentam as mesmas
F V F condições de verdade:
têm o mesmo valor de
P↔Q F F V
verdade em qualquer
circunstância.

Exemplo: P Q (P → Q)  (Q → P)
Se trabalho, então tenho saúde e,
se tenho saúde, então trabalho. V V V V V
Forma lógica
V F F F V
F V V F F
(P → Q)  (Q → P) F F V V V
 Tautologias e formas de inferência válida

Condicional Passagem das

ou implicação material premissas à conclusão

P Q [(P → Q)  P] → Q
V V V
V V
F F V
V F
V F V
F V
F F
V F V

Uma forma de inferência dedutiva é válida se, e somente se, a fórmula

proposicional (implicativa) que lhe corresponde for uma tautologia.
 Inspetores de
Argumento Interpretação Formalização
circunstâncias
Se sou português,
então sou conhecedor
Num inspetor de P: Sou português. P→Q
de Camões.
circunstâncias, um Q: Sou conhecedor de P
Sou português.
argumento válido será Camões. Q
Logo, sou conhecedor
aquele no qual não de Camões.
existe nenhuma linha
que torne todas as Nota: Em vez do símbolo , também poderemos usar o símbolo ,
premissas verdadeiras que se designa por «martelo semântico». Ambos se leem «Logo»,
e a conclusão falsa. um indicador de conclusão.

Premissa 1 Premissa 2 Conclusão

P Q P → Q, P Q A primeira linha exprime a única

circunstância em que ambas as
V V V V V premissas são verdadeiras. Ora,
dado que tal circunstância
V F F V F também torna a conclusão
F V V F V verdadeira, o argumento é
F F V F F considerado válido.
 Argumento Interpretação Formalização

Se corro, então sinto-

P→Q
me bem. P: Corro.
Q
Sinto-me bem. Q: Sinto-me bem.
P
Logo, corro.

Premissa 1 Premissa 2 Conclusão

A primeira e a terceira linhas
exprimem as únicas
circunstâncias em que ambas as
P Q P → Q, Q P premissas são verdadeiras.
Contudo, se na primeira linha a
V V V V V circunstância torna a conclusão
verdadeira, já na terceira linha a
V F F F V circunstância em causa torna a
F V V V F conclusão falsa. O argumento é,
F F V F F por isso, inválido.
 Argumento Interpretação Formalização

Se leio, aumento a minha inteligência. P: Leio.

Se aumento a minha inteligência, Q: Aumento a minha P→Q
aumento a minha autoestima. inteligência. Q→R
Logo, se leio, aumento R: Aumento a minha P→R
a minha autoestima. autoestima.

Premissa 1 Premissa 2 Conclusão

P Q R P → Q, Q→R P→R

V V V V V V
Estamos perante um argumento
V V F V F F
válido, pois nas circunstâncias
V F V F V V em que ambas as premissas são
V F F F V F verdadeiras, a conclusão
F V V V V V também o é.
F V F V F V
F F V V V V
F F F V V V
 Modus ponens: Exemplo Formalização
Algumas afirmação do
formas de antecedente na
segunda premissa Se está sol, então vou à praia. P→Q
inferência e do Está sol. P
válida consequente na Logo, vou à praia. Q
conclusão.

Modus tollens: Exemplo Formalização

negação do
consequente na Se está sol, então vou à praia. P→Q
segunda premissa Não vou à praia. Q
e do antecedente Logo, não está sol.  P
na conclusão.

Exemplo Formalização

Se Deus existe, então o mundo é finito.

P→Q
Logo, se o mundo não é finito, então
 Q →  P
Deus não existe.
Contraposição
Exemplo Formalização
Se o mundo não é finito, então Deus não
existe. Q→P
Logo, se Deus existe, então o mundo é P → Q
finito.
 Exemplo Formalização

Canto ou assobio. PQ

Silogismo
Não canto. P
disjuntivo
Logo, assobio. Q
(disjunção
inclusiva) ou Exemplo Formalização
modus tollendo
ponens Canto ou assobio. PQ
Não assobio. Q
Logo, canto. P

Exemplo Formalização
Se viajar, então aprendo novas coisas.
Silogismo Se aprendo novas coisas, então torno- P→Q
hipotético me melhor pessoa. Q→R
Logo, se viajar, então torno-me melhor P → R
pessoa.
 Exemplo Formalização
Leis de De
Morgan: Não é verdade que fumo e que tenho
indicam-nos  (P  Q)
saúde.
 P   Q
que de uma Negação Logo, não fumo ou não tenho saúde.
conjunção da
conjunção Exemplo Formalização
negativa
podemos Não fumo ou não tenho saúde.
inferir uma PQ
Logo, não é verdade que fumo e que
 (P  Q)
disjunção tenho saúde..
de
negações, e Exemplo Formalização
que de uma
disjunção Não é verdade que há sol ou chuva.  (P  Q)
negativa Logo, não há sol e não há chuva.  P   Q
Negação
podemos da
inferir uma disjunção Exemplo Formalização
conjunção
Não há sol e não há chuva.
de PQ
Logo, não é verdade que há sol ou
negações.   (P  Q)
chuva.
 Formas argumentativas inválidas
Exemplo Formalização

Falácia da
afirmação do Se és meu amigo, então dizes-me sempre a verdade. P→Q
consequente Dizes-me sempre a verdade. Q
Logo, és meu amigo. P

Comete-se quando, a partir de uma proposição condicional, se afirma o consequente na

segunda premissa, concluindo-se com a afirmação do antecedente.

Exemplo Formalização

Falácia da
negação do Se és meu amigo, então dizes-me sempre a verdade. P→Q
antecedente Não és meu amigo. P
Logo, não me dizes sempre a verdade. Q

Comete-se quando, a partir de uma proposição condicional, se nega o antecedente na

segunda premissa, concluindo-se com a negação do consequente.
 Variáveis de fórmula
Representam qualquer tipo de proposição (simples ou complexas). Usam-se
as letras iniciais do alfabeto: A, B, C, etc.

P: Tenho livros. Exemplo 1 Formalização

Q: Estudo.
Se tenho livros, então estudo. P→Q
R: Sou feliz.
Não estudo. Q
Logo, não tenho livros.  P

Exemplo 2 Formalização

Se tenho livros, então estudo e sou feliz. P → (Q  R)

Não é verdade que estudo e que sou feliz.  (Q  R)
Logo, não tenho livros.  P

Exemplo 2 Formalização

Se tenho livros, então estudo e sou feliz. A→B

Não é verdade que estudo e que sou feliz. B
Logo, não tenho livros.  A
 Modus ponens Modus tollens
A→B A→B
A B
B  A
Silogismo disjuntivo Silogismo hipotético
AB AB A→B
A B B→C
B A A → C
FORMAS DE
INFERÊNCIA
Contraposição Leis de De Morgan
VÁLIDA
A→B B→A  (A  B) AB
 B →  A A→B
  A   B   (A  B))
O
OU A→BB→A  (A  B)   A   B
U

Nota: o símbolo  significa, no presente  (A  B) AB

  A   B   (A  B)
contexto, que tanto se pode inferir validamente
num como noutro sentido. O
 (A  B)   A   B
U
Afirmação do consequente Negação do antecedente
FORMAS A→B A→B
FALACIOSAS B A
A B