Algoritmos

Operações Lógicas
Sobre Proposições
Adorilson Bezerra
adorilson.bezerra@ifrn.edu.br
http://docente.ifrn.edu.br/adorilsonbezerra
 Operações Lógicas
Sobre Proposições

Definição de operação:
Procedimento realizados sobre
elementos e que obedecem a regras
de cálculo, gerando um novo valor
 Operações Lógicas
Sobre Proposições

Definição de operação lógica:

Procedimento realizados sobre
proposições e que obedecem a regras
de cálculo, gerando um novo valor
lógico
 Operações Lógicas
Sobre Proposições

Operações lógicas
1)Negação
2)Conjunção
3)Disjunção
4)Disjunção exclusiva
5)Condicional
6)Bicondicional
 Operações Lógicas
Sobre Proposições

NEGAÇÃO (~)
●
Negação de uma proposição p é a
proposição cujo valor é a verdade quando p
é falsa e a falsidade quando p é
verdadeira
●
Representação: não p
●
Simbologia: ~p p ~p
●
~V = F, ~F=V 1 V F
●
V(~p) = ~ V(p) 2 F V
 Operações Lógicas
Sobre Proposições

Exemplos da operação negação:

1) p: 2 + 3 = 5 (V)
~p: 2 + 3 ≠ 5 (F)
V(~p) = ~V(p) = ~V = F

2) r: Roma é a capital da França (F)

~r: Roma não é a capital da França (V)
V(~r) = ~V(r) = ~F = V
 Operações Lógicas
Sobre Proposições

Observação
●
t: Todos os homens são elegantes
●
~t: Nem todos os homens são elegantes

●
n: Nenhum homem é elegante
●
~n: Algum homem é elegante
 Operações Lógicas
Sobre Proposições

CONJUNÇÃO (˄)
●
Conjunção de proposições é proposição cujo valor
lógico é a verdade quando todas a proposições
formadoras também são verdadeiras
●
Representação: p e q
●
Simbologia: p ˄ q p q
p˄q
●
V˄V=V 1 V V V
●
V˄F=F
2 V F F
●
F˄V=V
●
F˄F=F 3 F V F
●
V (p ˄ q) = V(p) ˄ V(q) 4 F F F
 Operações Lógicas
Sobre Proposições

Exemplos da operação conjunção:

1) p: A neve é branca (V)
q: 2 < 5 (V)
p ˄ q: A neve é branca e 2 < 5
V(p˄q) = V(p) ˄ V(r) = V ˄ V = V

2) t: Turing nasceu no Reino Unido (V)

k: Donald Knuth é médico (F)
t ˄ q: Turing nasceu no Reino Unido e D. Knuth é médico
V(t ˄ k) = V(t)˄V(k) = V ˄ F = F
 Operações Lógicas
Sobre Proposições

DISJUNÇÃO (˅)
●
Disjunção de proposições é proposição cujo valor lógico
é a verdade quando pelo menos uma das proposições
formadoras também é verdadeira
●
Representação: p ou q
Simbologia: p ˅ q p q
p˅q
●

●
V˅V=V
1 V V V
●
V˅F=V
2 V F V
●
F˅V=V
●
F˅F=F 3 F V V
●
V (p ˅ q) = V(p) ˅ V(q) 4 F F F
 Operações Lógicas
Sobre Proposições

Exemplos da operação disjunção:

1)p: A neve é branca (V)
q: 2 < 5 (V)
p ˅ q: A neve é branca ou 2 < 5
V(p ˅ q) = V(p) ˅ V(r) = V ˅ V = V

2)t: Turing nasceu no Reino Unido (V)

k: Donald Knuth é médico (F)
t ˅ q: Turing nasceu no Reino Unido ou D. Knuth é médico
V(t ˅ k) = V(t) ˅ V(k) = V ˅ F = V
 Operações Lógicas
Sobre Proposições

DISJUNÇÃO EXCLUSIVA (⩡)

●
Disjunção exclusiva de proposições é proposição cujo
valor lógico é a verdade quando uma proposição
formadora é verdade e a outra é falsa
●
Representação: ou p ou q
Simbologia: p ⩡ q
p⩡q
●
p q
●
V⩡V=F
1 V V F
●
V⩡F=V
2 V F V
●
F⩡V=V
●
F⩡F=F 3 F V V
●
V (p ⩡ q) = V(p) ⩡ V(q) 4 F F F
 Operações Lógicas
Sobre Proposições

Exemplos da operação disjunção exclusiva:

1)p: A neve é branca (V)
q: 2 < 5 (V)
p ⩡ q: Ou a neve é branca ou 2 < 5
V(p ⩡ q) = V(p) ⩡ V(r) = V ⩡ V = F

2)t: Turing nasceu no Reino Unido (V)

k: Donald Knuth é médico (F)
t ⩡ q: Ou Turing nasceu no Reino Unido ou D. Knuth é
médico
V(t ⩡ k) = V(t) ⩡ V(k) = V ⩡ F = V
 Operações Lógicas
Sobre Proposições

CONDICIONAL ( → )
●
Condicional é proposição cujo valor lógico é falso quando
o antecedente é verdadeiro e o consequente é falso,
verdade nos demais casos.
●
Representação: Se p então q (p é o antecedente e q o
consequente)
p q p→ q
●
Simbologia: p → q
●
V→V=V 1 V V V
●
V→F=F
2 V F F
●
F→V=F
●
F→F=V 3 F V V
●
V (p → q) = V(p) → V(q) 4 F F V
 Operações Lógicas
Sobre Proposições

Exemplos da operação condicional:

1)p: A neve é branca (V)
q: 2 < 5 (V)
p → q: Se a neve é branca então 2 < 5
V(p → q) = V(p) → V(r) = V → V = V

2)t: Turing nasceu no Reino Unido (V)

k: Donald Knuth é médico (F)
t → q: Se Turing nasceu no Reino Unido então D. Knuth é
médico
V(t → k) = V(t) → V(k) = V → F = F
 Operações Lógicas
Sobre Proposições

Observação
●
Uma condicional p→q não afirma que o
consequente q se deduz ou é
consequência de p
●
Uma condicional afirma unicamente uma
relação entre os valores lógicos do
antecedente e do consequente de acordo
com a tabela-verdade anterior
 Operações Lógicas
Sobre Proposições

BICONDICIONAL ( ↔ )
●
Bicondicional é proposição cujo valor lógico é verdade
quando os valores lógicos das proposições formadoras
são iguais, ou seja, ambas falsas ou ambas verdadeiras
●
Representação: p se e somente se q
●
Simbologia: p ↔ q
p q
●
V↔V=V p↔ q
●
V↔F=F 1 V V V
●
F↔V=F 2 V F F
●
F↔F=V
3 F V V
●
V (p ↔ q) = V(p) ↔ V(q)
4 F F F
 Operações Lógicas
Sobre Proposições

Exemplos da operação bicondicional:

1)p: A neve é branca (V)
q: 2 < 5 (V)
p ↔ q: A neve é branca se e somente se 2 < 5
V(p ↔ q) = V(p) ↔ V(r) = V ↔ V = V

2)t: Turing nasceu no Reino Unido (V)

k: Donald Knuth é médico (F)
t ↔ q: Turing nasceu no Reino Unido se e somente se D.
Knuth é médico
V(t ↔ k) = V(t) ↔ V(k) = V ↔ F = F
 Operações Lógicas
Sobre Proposições

Exercícios para agora

1)Considere p: Está frio e q: Está chovendo. Traduzir para a

linguagem corrente as seguintes proposições
A: ~p B: p↔q C: p → ~q D: p→q

2) Considere p: Marcos é alto e q: Marcos é elegante.

Traduzir para a linguagem simbólica as seguintes
proposições
A: Marcos é alto e elegante
B Marcos é alto, mas não é elegante
C: Marcos não é nem alto e nem elegante
D: É falso que Marcos é baixo ou que não é elegante
 Operações Lógicas
Sobre Proposições
Precedência dos operadores
lógicos e outros símbolos

Outros
Ordem Operação Símbolo
símbolos

1 Negação ~ ˥

2 Conjunção ˄ ᐧ &

3 Disjunção ⩡
4 Condicional → ᑐ

5 Bicondicional ↔
 Operações Lógicas
Sobre Proposições

Exercícios para agora

1)Considere p: Está frio e q: Está chovendo.

Traduzir para a linguagem corrente as
seguintes proposições
A: p ^ ~q → p B: ~ p ^ q → p C: ~p ↔ ~q

2) Determinar V(p) e V(q) em cada um dos

seguintes casos, sabendo:
a)V(p → q) = V e V(p ^ q) = F
b)V(p → q) = V e V(p v q) = F
 Operações Lógicas
Sobre Proposições

Exercícios para casa

1) Capítulo 2 do livro Iniciação

à Lógica Matemática
2) Capítulo 2 do livro Lógica
para Ciência da Computação
→ Ler capítulos e fazer os
exercícios
 Operações Lógicas
Sobre Proposições

Exercícios para casa

1) Pesquisar sobre vida e obra

de:
a) Alan Turing
b) Donald Knuth
Perguntas
 Referências e créditos

Leitura Obrigatória

Alencar Filho, Edgard de. Iniciação à lógica matemática. São

Paulo: Nobel, 2002.

Souza, João Nunes de. Lógica para ciência da computação:

uma introdução concisa. Rio de Janeiro: Elsevier, 2008
 Referências e créditos

Leitura recomendada

Lógica matemática
http://bianchi.pro.br/logicamat/logicamatematica.php

Lógica https://pt.wikipedia.org/wiki/L%C3%B3gica

Lógica Matemática https://pt.wikipedia.org/wiki/L

%C3%B3gica_matem%C3%A1tica

RACIOCÍNIO LÓGICO DESCOMPLICADO - TABELA VERDADE

https://www.youtube.com/watch?v=tyLgDVuMt1I
 Licença

Este trabalho foi licenciado com a Licença

Creative Commons Atribuição - CompartilhaIgual
3.0 Não Adaptada. Para ver uma cópia desta
licença, visite
http://creativecommons.org/licenses/by-sa/3.0/
ou envie um pedido por carta para Creative
Commons, 444 Castro Street, Suite 900,
Mountain View, California, 94041, USA.