Lógica

| Lógica → A lógica fornece-nos regras e

técnicas para determinar se um argumento
é válido.
z Matemática
Lógica → Demonstração de teoremas
z Ciências de computação
Lógica → Verificação de programas
z Vida corrente (raciocínios lógicos)

Lógica – Raciocínios correntes

| Raciocínios lógicos e não lógicos

Exemplos
• Os peixes vivem na água, a baleia vive
na água, logo a baleia é um peixe.
• Ontem disse que, se amanhã chovesse,
ia ao cinema. Como choveu, vim ao
cinema.
• Ontem disse que, se amanhã chovesse,
ia ao cinema. Vim ao cinema, logo está a
chover.

1
Lógica - Formalismo

| Proposição é uma afirmação que é verdadeira ou

falsa mas nunca ambas
Exemplos
Proposições Não proposições
2+3=5 (V) 2+ x =5 ( x =?)

2+2=5 (F) Estudem! (ordem)

∀x∈|N 2+ x =5 (F) Já tocou? (interrogação)

∃ x∈|N 2+ x =5 (V)

Lógica – Proposições simples e compostas

| Proposições simples (variáveis)→ p, q, r, …

| Operações lógicas →~, ∧, ∨, ∨& , ⇒, ⇔

Proposições Operações Proposições

simples + lógicas → compostas

Exemplos
● (3 > 5 ∧ 7 = 4) ∨ 6 > 3 (V)
● Hoje, às 3h, vou à aula e ao café. (F)

2
Lógica – Operações lógicas

| Negação - ~ (não) - ~p é o caso contrário de p

Tabela de verdade

p ~p Exemplo
● 2+1>1 (V) → ~(2+1>1) (F)
V F
F V (2+1≤ 1)

Lógica – Operações lógicas

| Conjunção - ∧ ( e ) - p ∧ q só é verdadeiro
quando p e q forem ambos verdadeiros
Tabela de verdade

p q p∧q
V V V
V F F Exemplos
F V F ● 2 < 3 ∧ -5 > -8 (V)

F F F ● 5 < 3 ∧ -5 > -8 (F)

3
Lógica – Operações lógicas

| Disjunção - ∨ ( ou inclusivo ) - p ∨ q só é
falso quando p e q forem ambos falsos
Tabela de verdade

p q p∨q
Exemplos
V V V
● 2 < 3 ∨ -5 > -8 (V)
V F V
● 5 < 3 ∨ -5 > -8 (V)
F V V
● - 2 < -3 ∨ 5 > 8 (F)
F F F

Lógica – Operações lógicas

| Disjunção - ∨& ( ou exclusivo ) - p ∨& q é verdadeiro

quando apenas um (p ou q) for verdadeiro ( pouco usado na
matemática)
Tabela de verdade
p q p∨
&q Exemplos
V V F ● Vou para Engenharia Civil
V F V ou Electrotécnica. (V)
F V V ● 2<3 ∨ & -5 > -8 (F)
F F F ● ∀x∈|R x >1 ∨ & x ≤1 (V)

4
Lógica – Operações lógicas
| Implicação – ⇒ ( se … então ) - p ⇒ q só é falso quando p
é verdadeiro e q é falso
Tabela de verdade
p q p⇒q
V V V Exemplos
V F F ● 3+2=4 ⇒ 3 par (V)
● ∀x∈|N 2+x =4 ⇒ x par (V)
F V V
F F V Linguagem corrente:
● p implica q; ● q se p; ● p só se q;
● p é condição suficiente para q
(= se p ocorre q também ocorre, mas, há casos em q ocorre e p não) ;
● q é condição necessária para p
(= se q não ocorre p também não, mas, há casos em que q ocorre e p não).

Lógica – Operações lógicas

| Equivalência – ⇔ ( …se e só se … ) - p ⇔ q é verdadeiro
quando p e q forem ambos verdadeiros ou ambos falsos
Tabela de verdade

p q p⇔q
V V V Exemplos
V F F ● 4×5>2 ⇔ 5 > 2 / 4 (V)
F V F ● ∀x∈|N 2+x =4 ⇔ x par (F)
F F V
Linguagem corrente:
● p se e só se q;
● p é condição necessária e suficiente para q
(= basta verificar a ocorrência de p para garantir q e vice-versa ) ;

10

5
Lógica

| Tautologia – proposição que é sempre

verdadeira, qualquer que seja o valor lógico das suas
variáveis.

| Contradição ou Absurdo – proposição

que é sempre falsa.
| Contingência – proposição que pode ser
verdadeira ou falsa, conforme o valor das variáveis.
Exemplo:
● p ∧ ∼p → absurdo

11

Lógica

Exemplos:
● (p ⇒ q) ⇔ (∼q ⇒ ∼p) → tautologia
p q p ⇒ q ∼p ∼q ∼q ⇒ ∼p (p ⇒ q) ⇔ (∼q ⇒ ∼p)
V V V F F V V
V F F F V F V
F V V V F V V
F F V V V V V

● (∼p ∧ q) ∨ (p ∧ ∼q) → contingência

12

6
Lógica - tautologias
1 p∧p⇔p p∨p⇔p Prop. de identidade
2 p∧q⇔q∧p p∨q⇔q∨p Prop. comutativa
3 (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r) (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) Prop. associativa
4 p∧(q∨r) ⇔ (p∧q)∨(p∧r) p∨(q∧r) ⇔ (p∨q)∧(p∨r) Prop. distributiva
5 ~ (p ∧ q) ⇔ (~p) ∨ (~q) ~ (p ∨ q) ⇔ (~p) ∧ (~q) Leis de Morgan
6 ~~p ⇔ p
7 p∨
& q ⇔(~p∧q)∨(p∧~q) alternativa para programar ∨&
8 p ⇒ q ⇔ ~p ∨ q alternativa para programar ⇒
9 p ⇒ q ⇔ ~q ⇒ ~p
10 p ⇔ q ⇔ (p ⇒ q) ∧ (q ⇒ p)
11 p⇔q ⇔ (p∧q)∨(~q∧~p) alternativa para programar ⇔
12 ~ (p ⇒ q) ⇔ p ∧ ~q
13 ~ (p ⇔ q) ⇔ (p ∧ ~q) ∨ (~p ∧ q)

13

Lógica - Exemplo

| Escreva um algoritmo para calcular f(x)

Algoritmo
−1 se x<0 Ler x
Se x<0 então

f (x) = 0 se x =0 f = -1
Senão se x=0 então
 1 se x >0 f=0
 Senão
f=1
Fim se
Nota: No 2º senão, ~(x<0)∧ ~(x=0)⇔ x≥0∧ x≠0 ⇔ x>0.
Logo, a condição do 3º ramo é sempre verificada.

14

7
Lógica – exercícios propostos
I. Use a tabela de verdade para verificar a tautologia 7 (diapositivo 13).
II. Use equivalências para, a partir de 10, obter a tautologia 11 (diapositivo 13).
III. Use as tautologias do diapositivo 13 para verificar as seguintes tautologias:

1 (p ∧ q) ⇒ p (p ∧ q) ⇒ q
2 p ⇒ (p ∨ q) q ⇒ (p ∨ q)
3 ~p ⇒ (p ⇒ q)
4 ~ (p ⇒ q) ⇒ p
5 [p ∧ (p ⇒ q) ]⇒ q
6 [~p ∧ (p ∨ q) ]⇒ q
7 [~q ∧ (p ⇒ q) ]⇒ ~p
8 [(p ⇒ q) ∧ (q ⇒ r) ]⇒ (p ⇒ r)

15

Lógica – algumas resoluções

III.1 (p ∧ q) ⇒ p ⇔ ~(p ∧ q) ∨ p ⇔ (~p ∨ ~q) ∨ p ⇔
⇔ (~p ∨ p) ∨ ~q ⇔ V ∨ ~q ⇔ V
III.4 ~ (p ⇒ q) ⇒ p ⇔ ~[~(~p ∨ q)] ∨ p ⇔ (~p ∨ q) ∨ p ⇔
⇔ (~p ∨ p) ∨ q ⇔ V ∨ q ⇔ V
(≈ se (p ⇒ q) é falso então p é verdadeiro e se (p ⇒ q) é verdadeiro então
p pode ser verdadeiro ou falso )

III.5 [p ∧ (p ⇒ q) ]⇒ q ⇔ ~[p ∧ (~p ∨ q)] ∨ q ⇔

⇔ ~[(p ∧ ~p) ∨ (p ∧ q)] ∨ q ⇔ ~[F ∨ (p ∧ q)] ∨ q ⇔
⇔ ~(p ∧ q) ∨ q ⇔ ~p ∨ (~q ∨ q ) ⇔ ~p ∨ V ⇔ V
(≈ se p é verdadeiro e (p ⇒ q) é verdadeiro então q é verdadeiro e )

16