Escolar Documentos
Profissional Documentos
Cultura Documentos
CIÊNCIA DA COMPUTAÇÃO
PROF. PAULO
PROPOSIÇÔES SIMPLES
Proposição (ou declaração): sentença que é falsa ou verdadeira.
A sentença (b) não pode ser considerada falsa ou verdadeira, pois é uma pergunta. Ela
não tem valor verdadeiro nem falso e, portanto, não é uma proposição.
A sentença (c) não é falsa nem verdadeira, pois "ela" não está especificada; por isso, (c)
A sentença (d) é uma proposição já que é ou falsa ou verdadeira; não é preciso sermos
1
CONECTIVOS LÓGICOS
As proposições simples podem ser combinadas entre si e, para representar tais
combinações são usados os conectivos lógicos:
TABELAS VERDADE
A lógica clássica é governada por três princípios (entre outros) que podem ser formulados
como segue:
2
1.Tabela verdade da "negação" : ¬A é verdadeira (falsa) se e somente se A é falsa
(verdadeira).
A ¬A
V F
F V
A B A∧ B
V V V
V F F
F V F
F F F
A B A∨ B
V V V
V F V
F V V
F F F
A B A→ B
V V V
V F F
F V V
F F V
3
5. Tabela verdade da "bi-implicação": a bi-implicação é verdadeira se, e somente se
seus componentes são ou ambos verdadeiros ou ambos falsos.
A B A↔ B
V V V
V F F
F V F
F F V
¬A não A;
não se dá que A;
não é fato que A;
não é verdade que A;
não se tem A;
A∧B A e B;
A, mas B;
A, embora B;
A assim como B;
A e, além disso, B;
tanto A como B;
A e também B;
não só A, mas também B;
A, apesar de B;
A∨B A ou B ou ambos;
A salvo quando B;
A→B se A, então B;
se A, isto significa que B;
tendo-se A, então B;
no caso de A, B;
sempre que A, B;
B, sempre que se tenha A;
B contanto que A;
A é condição suficiente para B;
B é condição necessária para A;
A só se B;
A somente quando B;
B, se A;
B quando A;
A↔B A se e somente se B
A é condição necessária e suficiente para
B;
4
PRECEDENCIA ENTRE OS CONECTIVOS
1º : ¬
2º: ∧ e ∨
3º: →
4º : ↔
((( A ∨ B) ∨ (¬ C )) ↔ A) ↔ (¬ B) .
Cada proposição simples (atômica) tem dois valores V ou F, que se excluem. Para
Exemplos:
a) ((A ∨ (B ∧ ¬B))↔ A)
b) ¬ (( A ∧ ¬ B) → ¬ C )
c) ( A ∧ ¬ A) → ( B ∧ ¬ B)
5
FÓRMULAS BEM FORMADAS
Definições:
1. TAUTOLOGIA
É uma fbf) tal que a última coluna de sua tabela verdade é constituída somente de
valores verdades V, isto todos os valores da fbf são V, independente das sentenças
simples envolvidas.
Notação: 1 ou v
Exemplos:
1) 1 : ¬ ( A ∧ B) → ¬ A ∨ ¬ B)
2) v : ( A → B ) ↔ (¬ B → ¬ A)
2. CONTRADIÇÃO
É uma fbf tal que a última coluna de sua tabela verdade é constituída somente de valores
verdades F, isto é todos os valores da fbf são F, independente das sentenças simples
envolvidas.
Notação: 0 ou f
Exemplo:
f : ( A ∧ ¬ A) → ( B ∧ ¬ B)
3. EQUIVALÊNCIA LÓGICA
Uma fbf R é logicamente equivalente a uma fbf S se, e somente se ambas, R e S,
possuem a última coluna da tabela-verdade iguais.
Observando a tabela-verdade da bi-condicional,
`` A fbf R é logicamente equivalente a fbf S se, e somente se
R ↔ S é uma tautologia.''
Notação: R ⇔ S
6
Exemplos:
1. v : ( A → B) ↔ (¬ B → ¬ A) mostra que ( A → B) ⇔ (¬ B → ¬ A)
2. ( A → B) ⇔ (¬ B → ¬ A)
3) ( A ↔ B) ⇔ (¬ A ∨ B) ∧ (¬ B ∨ A)
Observações:
1. Duas sentenças logicamente equivalentes atuam de maneira lógica diferente mas
fornecem o mesmo resultado.
4. A equivalência lógica também não é uma operação sobre proposições e sim uma
relação.
1. COMUTATIVIDADE:
(a) A∧ B ⇔ B ∧ A (b) A∨ B ⇔ B ∨ A
2. ASSOCIATIVIDADE:
(a) A∧ ( B ∧ C) ⇔ (A∧ B) ∧ C
(b) A∨ ( B ∨ C) ⇔ (A∨ B) ∨ C
3. IDEMPOTÊNCIA:
(a) A∧ A⇔ A (b) A∨ A⇔ A
4. DISTRIBUTIVIDADE:
a) A∧ ( B ∨ C) ⇔ (A∧ B) ∨ (A∧ C)
b) A∨ ( B ∧ C) ⇔ (A∨ B ) ∧ ( A∨ C)
5. LEIS DE MORGAN:
(a) ∼ ( A∧ B) ⇔ ∼A∨ ∼B (b) ∼ ( A∨ B) ⇔ ∼A∧ ∼B
6. DUPLA NEGAÇÃO:
∼∼ A⇔ A
7. ABSORÇÃO:
7
(a) A∨ (A∧ B) ⇔ A (b) A∧ (A∨ B) ⇔ A
(c) (A∧ B) ∨ ∼B ⇔ A ∨ ∼B (d) (A ∨ B) ∧ ∼ B ⇔ A∧ ∼B