5 (2)
5 (2)
5 (2)
Computação
1. Conceito de proposição
2. Valores lógicos das proposições
3. Proposições simples e proposições composta
4. Conectivos
5. Tabela-verdade
6. Notação
7. Exercícios
Lógica – Conceitos Básicos
A partir dos conhecimentos tidos como verdadeiros, caberia à Lógica a formulação de leis
gerais de encadeamentos de conceitos e juízos que levariam à descoberta de novas verdades.
Essa forma de encadeamento é chamada, em Lógica, de argumento.
Proposições COMPOSTAS: duas ou mais proposições conectadas entre si, formando uma
só sentença. Habitualmente designadas por letras maiúsculas P, Q, R ...
Ex: João é médico e Pedro é dentista.
mim
p q r
iii 8
2
iqiii
V V V
V V F
V F V
p q
V F F
V V
iiii
F V V iii i
V F F V F
F V F F V
F F F F F
Notação
a) p: O Sol é verde
b) q: Um hexágono tem 9 diagonais
c) t: 2 é raiz da equação 𝑥 + 3𝑥 − 4 = 0
1. Negação
2. Conjunção
3. Disjunção
4. Disjunção exclusive
5. Condicional
6. Bicondicional
7. Exercícios
Operações Lógicas
p ~p
V F
F V
~V=F, ~F=V
V(~p)=~V(p)
Exemplo 1:
p: Carlos é mecânico
~p: Não é verdade que Carlos é mecânico
~p: É falso que Carlos é mecânico
Conectivo “e”: Conjunção
Proposições compostas em que está presente o conectivo “e”;
Simbolicamente representado por “ ”.
A sentença:
p q p∧q
V V V
V F F
F V F
F F F
Representação Matemática
p q pVq
V V V
V F V
F V V
F F F
Representação Matemática
Qual a diferença?
A segunda estrutura apresenta duas situações mutuamente
excludentes, de sorte que apenas uma delas pode ser verdadeira, e
a restante será necessariamente falsa. Ambas nunca poderão ser,
ao mesmo tempo, verdadeiras; ambas nunca poderão ser, ao
mesmo tempo, falsas.
Conectivo “Ou ... ou ...”:
Disjunção Exclusiva
Proposições compostas em que está presente o conectivo
“Ou ... ou ...”;
Simbolicamente representado por “V”.
Como se revela o valor lógico de uma disjunção exclusiva?
Uma disjunção exclusiva só será verdadeira se obedecer à mútua
exclusão das sentenças. Falando mais fácil: só será verdadeira se
houver uma das sentenças verdadeira e a outra falsa. Nos
demais casos, a disjunção exclusiva será falsa.
Disjunção Exclusiva
Vejamos a tabela-verdade de uma disjunção
exclusiva.
p q pVq
V V F
V F V
F V V
F F F
Conectivo “Se ... então ...”:
Condicional
Proposições compostas em que está presente o conectivo “Se ... então ....”;
Simbolicamente representado por “”.
A sentença:
p q pq
V V V
V F F
F V V
F F V
Dicas
Pedro ser rico é condição suficiente para Maria ser médica”,
“Pedro ser rico é condição suficiente para Maria ser médica” é igual a:
“Se Pedro for rico, então Maria é médica”
Se alguém disser que: “Maria ser médica é condição necessária para que
Pedro seja rico”, também poderemos traduzir isso de outra forma:
“Maria ser médica é condição necessária para que Pedro seja rico” é igual a:
“Se Pedro for rico, então Maria é médica”
Não esqueçam:
Uma condição suficiente gera um resultado necessário.
Representação Matemática
p q p↔q
V V V
V F F
F V F
F F V
Representação Matemática