3 Lógica sentencial (ou proposicional). Flashcards
O que é lógica sentencial?
Também chamada de lógica proposicional, é um sistema formal que trata do raciocínio expresso por sentenças, ou proposições, que podem ser julgadas como verdadeiras (V) ou falsas (F).
O que é a tabela verdade?
é uma ferramenta usada no estudo da lógica matemática para determinar se uma proposição é verdadeira ou falsa. Basicamente, ela ajuda a avaliar o valor lógico de uma sentença.
Qual é a utilidade de uma tabela verdade?
é especialmente útil para analisar proposições compostas, formadas por combinações de proposições simples. O valor lógico de uma proposição composta depende do valor de cada uma das proposições que a compõem.
Para combinar essas proposições simples e criar proposições compostas, utilizamos conectivos lógicos, sendo símbolos que representam operações lógicas.
Sobre a construção da tabela verdade:
Na tabela verdade são colocados os valores lógicos possíveis (verdadeiro ou falso) para cada uma das proposições simples que formam a proposição composta e a combinação destes.
Número de linhas na tabela verdade:
O número de linhas da tabela dependerá da quantidade de sentenças que compõem a proposição. A tabela verdade de uma proposição formada por n proposições simples terá 2n linhas.
Por exemplo, a tabela verdade da proposição “x é um número real e maior que 5 e menor que 10” terá 8 linhas, pois a sentença é formada por 3 proposições (n = 3).
Sendo 3 proposições simples, n = 3.
2 ao cubo igual a 8 espaço linhas
Número de colunas da tabela verdade:
Visando colocarmos todas as possibilidades de valores lógicos na tabela, devemos preencher cada coluna com 2n-k valores verdadeiros seguidos de 2n-k valores falsos, com k variando de 1 até n.
No exemplo com três proposições simples (n = 3):
Na primeiro coluna: 2 à potência de reto n menos reto k fim do exponencial igual a 2 à potência de 3 menos 1 fim do exponencial igual a 2 ao quadrado igual a 4
Assim, a primeira coluna é preenchida com quatro verdadeiros seguidos de quatro falsos.
Após preencher a tabela com os valores lógicos das proposições, devemos adicionar colunas relativas aos resultados das operações com os conectivos.
Passo a passo de como construir uma tabela verdade:
Passo 1: Identificar as proposições simples
Passo 2: Determinar o número de linhas da tabela
Passo 3: Preencher os valores lógicos das proposições simples
Passo 4: Aplicar os conectivos lógicos
Passo 5: Preencher a coluna da proposição composta
Passo 6: Analisar o resultado
A Tabela Verdade da Negação:
Os possíveis valores de verdade de uma negação são opostos aos possíveis valores de verdade da declaração que ela nega. Se p for verdadeiro, então ∼ p é falso. Se p for falso, então ∼ p é verdadeiro.
p ∼ p
E F
F E
A Tabela Verdade da Conjunção:
Uma conjunção p * q é verdadeira somente quando ambas as suas conjunções são verdadeiras. Ela é falsa em todos os outros três casos.
p q p^q
E E E
E F F
F F F
F F F
A Tabela Verdade da Disjunção:
Uma disjunção p ∨ q é falsa somente quando ambas as suas disjunções são falsas. Nos outros três casos, a disjunção é verdadeira.
p q pVq
E E E
E F E
F F E
F F F
A Tabela Verdade do Condicional:
Uma condicional é falsa somente quando seu antecedente é verdadeiro, mas seu consequente é falso. Isso ocorre porque p ⊃ q diz que p é uma condição suficiente de q . Agora, se p é verdadeiro, mas q é falso, então p não pode ser uma condição suficiente para q . Consequentemente, a condicional p ⊃ q seria falsa.
p q p⊃q
E E E
E F F
F F E
F F E
A Tabela Verdade do Bicondicional:
Um bicondicional p ≡ q é verdadeiro somente quando p e q compartilham o mesmo valor verdade. Se p e q têm valores verdade opostos, então o bicondicional é falso.
p q p≡q
E E E
E F F
F F F
F F E
O que é equivalência lógica?
é uma relação entre duas proposições que possuem o mesmo valor lógico ou a mesma informação, mesmo que de formas diferentes. Para indicar que duas proposições são equivalentes, usa-se a notação 𝐴⇔𝐵.
Como verificar equivalência lógica?
Para verificar se duas proposições são equivalentes, pode-se analisar as suas tabelas-verdade, que devem ser idênticas. As colunas com os valores das proposições devem ser iguais.
Alguns exemplos de equivalências lógicas são:
A dupla negação, ~(~p), é equivalente a p
A equivalência da condicional, 𝒑 → 𝒒 ⇔ ~𝒑 ∨ 𝒒
A equivalência da disjunção, 𝒑 ∨ 𝒒 ⇔ ~𝒑 → 𝒒
A equivalência da bicondicional, 𝒑 ↔ 𝒒 ⇔ (𝒑 → 𝒒) ∧ (𝒒 → 𝒑)
