Escolar Documentos
Profissional Documentos
Cultura Documentos
Definições de Lógica
Seção 1.1
SEÇÃO 1.1
Definições de Lógica
Conteúdo de aula:
Uma breve história da lógica
Introdução à lógica
Álgebra Booleana
Linguagem Formal
Exercícios
Uma breve histórica da lógica
Video no Youtube: https://youtu.be/ozMbmBp3onE
Uma breve histórica da lógica
“A é A”
ou
“Todo A é A”
Mesmo assim suas obras só se tornaram conhecidas no
início do século XX.
E – conjunção
Somente se as duas expressões forem verdadeiras a resposta será verdadeira
OU – disjunção
Se pelo menos uma das expressões for verdadeira, a resposta será verdadeira
NÃO – negação
Quando uma representação for verdadeira a resposta será falsa, e vice-versa.
Diagrama de Venn
Conjunção – E Disjunção – OU
(interseção) (união)
Negação - NÃO
Exemplo de expressão lógica
Tecnicamente, uma sentença (ou proposição) é uma frase que pode ser apenas
verdadeira ou falsa.
Considere o seguinte:
a. Dez é maior do que sete. VERDADEIRO
b. Como vai você? NÃO SE CLASSIFICA
c. Ela é muito talentosa. “Ela” é variável, logo NÃO SE PODE CLASSIFICAR
d. Existem formas de vida em outros planetas do universo. é VERDADEIRO OU FALSO
Linguagem Formal
Combinando as sentenças com o uso de conectivos criamos sentenças compostas,
cujo valor-verdade depende dos valores-verdade de cada sentença que o compõe
e dos conectivos usados.
Em português:
Tom é um gato E Tom caça ratos
p ^ q
Em linguagem proposicional:
p^q
Que se avaliado pode dar um resultado verdadeiro ou falso.
Linguagem Formal
Assim como na matemática os operadores de adição (+), subtração (-),
multiplicação (*) e divisão (/) possuem ordem de precedência, a linguagem
proposicional também possui a seguinte precedência:
1. Conforme prioridade semântica
2. Da direita para esquerda
Ex: ¬p ^ q é o mesmo que (¬p) ^ q
Ex 2:
Assumindo que:
r = Verdadeiro (V)
s = Falso (F)
Solução: Resolvendo:
1º Isolar as negações com parênteses: (V ^ (¬F)) → (V v ((¬F) ^ (¬V)))
r ^ (¬s) → r v (¬s) ^ (¬r) (V ^ V) → (V v (V ^ F))
V → (V v F)
2º Isolar as conjunções e disjunções: V→V
(r ^ (¬s)) → (r v ((¬s) ^ (¬r))) V
Resposta: verdadeiro.
Linguagem Formal
p q p→q
PREMISSAS:
V V V
p: chover
q: ficar em casa V F F
F V V
EXPRESSAO FORMADA: F F V
p→q
Note como o uso das premissas p e q representando afirmações combinada com
o conectivo → permite escrever resumida e formalmente uma expressão lógica!
Isso é lógica formal.
...RESUMINDO...
Álgebra Booleana
É uma formalização matemática para lidar com questões lógicas binárias.
Conectivos Lógicos
Símbolos utilizados para construir argumentações lógicas.
Val(p)
Val(p) = V Val(p) = F
Se for verdadeiro Se for falso
Notações
Proposição Valor-verdade
p: Jerusalém é a capital do Paraná. Val(p) = F
q: Estudar contribui para se ter um bom emprego. Val(q) = V
r: 10 vezes 9 é o mesmo que 10 somado 9 vezes. Val(r) = V
Proposições Simples e Compostas
Exemplos:
Val(a) = 0 Val(c) = 1
Val(b) = 1 Val(d) = 0
b) (𝑎⋁𝑏) ⋀ (𝑐⋀𝑑)
Exercício
b) p⋁𝑟
c) 𝑞⋀𝑟
d) ¬p⋁𝑞⋁𝑟
Exercício
a) 6 > 3
b) NÃO (6 > 3) ..... ¬(6 > 3)
c) (14 > 10) E (-1 > 0) .... (14 > 10) ^ (-1 > 0)
d) (8 > 9) OU (9 > 8) .... (8 > 9) v (9 > 8)
e) (1 < 2) OU (20 > 10) .... (1 < 2) v (20 > 10)
f) (11 > 10) E NÃO(1 < 0) .... (11 > 10) ^ ¬(1 < 0)
...entendendo o conceito...
Tome o exemplo anterior da letra a) 6 > 3.
Fica fácil avaliar que é verdadeiro. Mas, imagine que ao invés de 6 e 3 nós tivéssemos
variáveis, por exemplo p e q. Neste caso a expressão ficaria p > q. E agora, é verdadeiro ou
falso?
Perceba que a resposta agora depende de quanto vale p e q. Pode ser verdadeiro se p = 1 e
q = 0, mas pode ser falso se p = 0 e q = 8, por exemplo.
Agora imagine que ao invés de números nossas variáveis p e q fossem valores lógicos V ou
F e o operador fosse um E, por exemplo. Agora nossa expressão seria dada por p E q. E
agora como avaliar?
É simples, mais uma vez depende de quanto vale p e q, só que agora não são números, são
valores lógicos. Por exemplo, se p for verdadeiro (V) e q for falso (F), a expressão final é
falsa (verdadeiro E falso = falso), mas sempre depende de quem são p e q!
Tabela Verdade
Número de
proposições
simples
2 = Número de linhas
Solução:
Descobrir o numero de linhas da tabela verdade.
P(p,q) = 2²
P(p,q) = 4 linhas
Exemplo - Tabela Verdade
Considerando a proposição abaixo:
p q
Exemplo - Tabela Verdade
Considerando a proposição abaixo:
p q ¬q
Exemplo - Tabela Verdade
Considerando a proposição abaixo:
p q ¬q p ^ ¬q
Exemplo - Tabela Verdade
Considerando a proposição abaixo:
p q ¬q p ^ ¬q ¬(p ^ ¬q)
Exemplo - Tabela Verdade
Considerando a proposição abaixo:
p q ¬q p^¬q ¬ (p ^ ¬ q)
P(p,q) = 2²
P(p,q) = 4 4 linhas
Exemplo - Tabela Verdade
Considerando a proposição abaixo:
p q ¬q p^¬q ¬ (p ^ ¬ q)
V
V
F
F
Exemplo - Tabela Verdade
Considerando a proposição abaixo:
p q ¬q p^¬q ¬ (p ^ ¬ q)
V V
V F
F V
F F
Exemplo - Tabela Verdade
Considerando a proposição abaixo:
p q ¬q p^¬q ¬ (p ^ ¬ q)
V V F
V F V
F V F
F F V
Exemplo - Tabela Verdade
Considerando a proposição abaixo:
p q ¬q p^¬q ¬ (p ^ ¬ q)
V V F F
V F V V
F V F F
F F V F
Exemplo - Tabela Verdade
Considerando a proposição abaixo:
p q ¬q p^¬q ¬ (p ^ ¬ q)
V V F F V
V F V V F
F V F F V
F F V F V
Exemplo - Tabela Verdade
Resposta:
Falso (segunda linha da tabela verdade)
Tautologia, Contradição e
Contingência
Fonte: https://www.centralexatas.com.br/matematica/raciocinio-logico/867867
Exemplo de Contradição
Fonte: https://www.centralexatas.com.br/matematica/raciocinio-logico/867867
Exemplo de Contingência
Fonte: https://www.centralexatas.com.br/matematica/raciocinio-logico/867867