Na Lógica consideramos apenas afirmações sobre as quais se

Noções básicas de Lógica possa decidir se são verdadeiras ou falsas - a que chamamos
Consideremos uma linguagem, com certos símbolos. proposições.

O valor lógico de uma proposição é

Chamamos expressão a uma sequências de símbolos.
↙↘
uma expressão com significado verdade falso
Uma expressão pode ser ↗ se a prop. for verdadeira se a prop. for falsa
↘ ↓ ↓
expressão sem significado denota-se por V ou 1 denota-se por F ou 0

designar um objecto Toda a proposição tem um, e um só, dos valores V ou F.

Uma exp. com significado pode ↗

↘ Duas proposições dizem-se equivalentes quando têm o mesmo
valor lógico.
traduzir uma afirmação
Termo ou designação é uma expressão com significado que
designa um objecto.

Exemplo:
1. Em português, “Ana” e “gato” são termos ou designações;
“Setúbal é uma cidade” é uma afirmação.

2. Na linguagem dos reais, “0” e “3 × 2 − 5” são termos ou

designações e “3 ≥ 5 + 2” uma afirmação.

Nota: As aspas permitem distinguir a designação do ente

designado; quando não há risco de confusão, dispensamos o seu
uso.

Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 1 Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 2
 Cálculo Proposicional • a conjunção de p e q representa-se por p ∧ q e lê-se “p e q”.
Podemos obter novas proposições a partir doutras, por meio das
operações lógicas:
p ∧ q é verdadeira caso p e q sejam ambas verdadeiras
negação, conjunção, disjunção, implicação e equivalência,
e é falsa se pelo menos uma delas for falsa.

associadas aos símbolos ∼, ∧, ∨, ⇒, ⇔

A sua tabela de verdade é p q p∧q
V V V
chamados conectivos lógicos.
V F F
No Cálculo Proposicional estudam-se estas operações e as suas F V F
propriedades. F F F

A tabela de verdade de uma operação lógica (ou de uma

proposição) dá-nos o valor de verdade da nova proposição, em
função do valor de verdade das proposições de que foi obtida. • a disjunção p e q representa-se por p ∨ q e lê-se “p ou q”.

Sejam p e q proposições:
p ∨ q é verdadeira se pelo menos uma das proposições
• a negação de p representa-se por ∼ p e lê-se “não p”.
iniciais for verdadeira e falsa se ambas são falsas.

∼ p é verdadeira se e só se p é falsa
A sua tabela de verdade é p q p∨q
V V V
A sua tabela de verdade é p ∼p V F V
V F F V V
F V F F F

Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 3 Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 4
 • a implicação de p por q representa-se por p ⇒ q e lê-se Nota: Podemos definir outras operações lógicas.
“p implica q” ou “se p então q”. O símbolo ∨̇ lê-se “ou exclusivo” e representa a disjunção
exclusiva:
- p é o antecedente e q é o consequente
- p é uma condição suficiente para q a sua tabela de verdade é p q p ∨̇ q
- q é uma condição necessária para p. V V F
V F V
O único caso em que a implicação é falsa é quando
F V V
o antecedente é verdadeiro e o consequente é falso.
F F F

A sua tabela de verdade é p q p⇒q

V V V
Usam-se parêntesis para indicar a ordem pela qual se realizam as
V F F operações lógicas, sobrepondo-se à seguinte convencão de
F V V prioridade das operações:
F F V • primeiro a negação;
• depois a conjunção e disjunção;

• a equivalência entre p e q representa-se por p ⇔ q e lê-se • por último a implicação e a equivalência.

“p equivale a q” ou “p se e só se q”.

p ⇔ q é verdadeira quando p e q têm o mesmo valor lógico Uma proposição diz-se uma tautologia se o seu valor lógico for
sempre V.
e é falsa caso contrário.

A sua tabela de verdade é p q p⇔q

V V V
V F F
F V F
F F V

Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 5 Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 6
 Propriedades das operações lógicas Propriedades da implicação
Sejam p, q e r proposições.
São tautologias:

Propriedades da negação • p ⇒ q ⇔∼ p ∨ q;
• ∼ p ⇒ q ⇔ p ∧∼ q;
Ver sebenta
• p ⇒ q ⇔ ∼ q ⇒∼ p
Propriedades da conjunção e da disjunção (uma implicação e sua contra-recíproca têm o mesmo valor
de verdade);
A conjunção e a disjunção:
• p ⇒ q ∧ q ⇒ r  p ⇒ r.
• são comutativas;
• são associativas; Propriedades da equivalência
• têm elemento neutro; Ver sebenta
• têm elemento absorvente.

⋆ A conjunção é distributiva relativamente à disjunção

p ∧ q ∨ r ⇔ p ∧ q ∨ p ∧ r.

⋆ A disjunção é distributiva relativamente à conjunção

p ∨ q ∧ r ⇔ p ∨ q ∧ p ∨ r.

Primeiras Leis de De Morgan

São tautologias:
• ∼ p ∧ q ⇔ ∼ p ∨∼ q;
• ∼ p ∨ q ⇔ ∼ p ∧∼ q.

Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 7 Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 8
 Temos:
Expressões com variáveis
Para estudar uma certa teoria temos que: - o Universo (o "mundo" em que estamos a trabalhar);

1º - definir uma linguagem adequada → (que inclui os símbolos - o domínio de uma expressão → valores (desse universo) por
fundamentais da teoria); que podemos substituir as variáveis que nela ocorrem;

2º - considerar um universo → conjunto em que os símbolos - o conjunto solução da expressão proposicional → valores do
fundamentais são interpretados; seu domínio que a transformam numa proposição verdadeira.

3º - interpretar nesse universo os símbolos fundamentais da

Num Universo, uma expressão proposicional pode ser:
teoria.
possível ou impossível
Em geral necessitamos de:
↙↘
variáveis → símbolos (ou agrupamento de símbolos) que podem universal não universal
ser substituído por elementos do universo.
• é possível se existem valores que substituídos nas variáveis a
obtendo-se assim transformam numa proposição verdadeira e impossível caso
contrário.
expressões com significado
• é universal se, ao substituírmos as suas variáveis por
↗ quaisquer valores dos respectivos domínios, obtemos sempre
expressões com variáveis
↘ proposições verdadeiras.
expressões sem significado
Cálculo proposicional com variáveis
As expressões (com variáveis) com significado, dividem-se em:
• expressões designatórias → originam designações quando As operações lógicas associadas a ∼, ∧, ∨, ⇒ e ⇔ permitem
obter novas condições a partir de condições mais simples.
se substituem as variáveis por valores concretos.

• expressões proposicionais (condições ou propriedades) → Num certo Universo, duas condições dizem-se:
originam proposições (verdadeiras ou falsas) quando se • incompatíveis, se a sua conjunção é uma cond. impossível;
substituem as variáveis por valores concretos.
• compatíveis, caso contrário.

Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 9 Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 10
 Quantificador de existência e unicidade → ∃1
quantificação universal
↗ • ∃ 1 x, px é uma proposição, que se lê “existe um e um só x
tal que px”.
Vamos definir três novas operações → quantificação existencial Num certo universo,
↘
quantificação de existência ∃ 1 x, px é verdadeira sse
e unicidade a condição px tem uma única solução.

Seja px uma expressão proposicional na variável x. Notação: ∀x ∈ D, px, ∃x ∈ D, px, ∃ 1 x ∈ D, px
indicam que a variável x varia em D (subconjunto do universo).
Quantificador universal → ∀
• ∀x, px é uma proposição, que se lê “qualquer que seja x, Convenção: o quantificador abrange a mais pequena expressão
px”. proposicional que o segue.
Num certo universo,
Quantificação múltipla
• A troca de ordem de dois quantificadores consecutivos
∀x, px é verdadeira sse a condição px é universal. do mesmo tipo transforma uma condição (ou proposição)
numa equivalente.
Quantificador existencial → ∃ • Pelo contrário, a troca de ordem de quantificadores
que não são do mesmo tipo, origina condições (ou
• ∃x, px é uma proposição, que se lê “existe pelo menos um proposições) que, em geral, não são equivalentes às iniciais.
x tal que px”.
Num certo universo,
Segundas leis de De Morgan
Sendo p uma condição tem-se:
∃x, px é verdadeira sse a condição px é possível.
• ∼ ∀x, p ⇔ ∃x, ∼ p;
• ∼ ∃x, p ⇔ ∀x, ∼ p.

Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 11 Ana Matos - AMI 07/08 (versão de 17 de Outubro 07) Lógica 12