Escolar Documentos
Profissional Documentos
Cultura Documentos
Conteúdo do artigo
Conceitos Básicos do Raciocínio Lógico
o Proposições
Princípio da Não-Contradição
Princípio do Terceiro Excluído
o Valores Lógicos das Proposições
o Sentenças Abertas
o Conectivos
o Proposições Simples e Compostas
Proposições simples ou atômicas
Proposições compostas
Tabela Verdade
o Teorema Sobre o Número de Linhas da Tabela Verdade
o Operações Lógicas sobre as Proposições e a Tabela Verdade
Conjunção
Disjunção
Condicional
Bi-condicional
Negação
Tautologia
Exercícios Propostos
Proposições#
Chamamos proposições uma declaração que representa um sentido completo, que pode
ser verdadeira ou falsa.
Exemplo:
2 > 1: é uma proposição com valor lógico verdadeiro;
2 = 0: é uma proposição com valor lógico falso.
Princípio da Não-Contradição#
São proposições:
Sentenças Abertas#
A sentença é verdadeira se x = -1, caso contrário ela será falsa. Então, quando uma
sentença não pode ser classificada como verdadeira ou falsa, ela é chamada sentença
aberta.
Conectivos#
Os conectivos servem para conectar as proposições. São símbolos que ao conectarem as
proposições, podemos inferir uma conclusão, e a proposição composta terá valor lógico
verdadeiro ou falso determinado pelo valor lógico de cada proposição simples.
… e…
… ou…
não…
se… então…
Na lógica os conectivos são representados por símbolos, tais símbolos para cada um dos
conectivos acima são apresentados na tabela abaixo:
Conectivo Símbolo
e ∧
ou ∨
não ~ ou ¬
se … então … →
As proposições simples são formadas por um única proposição. Elas são nomeadas
pelas letras minúsculas do alfabeto.
Proposições compostas#
A: p ∧ q
B: b → e
C: r ∨ s
D: m ↔ v
Analisando agora os valores lógicos de cada uma das proposições podemos afirmar
que A, B, C e D possuem os seguintes valores lógicos: F, V, V e V, respectivamente.
Tabela Verdade#
A tabela verdade é utilizada para poder descobrir o valor lógico de uma proposição
composta. As proposições simples são relativamente fáceis de saber seu valor lógico,
mas uma proposição composta formada por outras proposições simples, pode ser difícil
dizer se é verdadeira ou falsa.
Por esse motivo é que usamos a tabela verdade para analisar cada caso e descobrir o
valor lógico da proposição.
Exemplo:
V V V
V F F
F V F
F F F
Pela tabela verdade não podemo afirmar que a expressão p ∧ q seja verdade. Ela
somente é verdade para um caso, quando p e q forem verdades.
No número de linhas que uma tabela verdade terá, considera-se o total de proposições
simples. Para determinar a quantidade de linhas da tabela verdade, utilizamos a seguinte
fórmula: 2 . Onde n é o total de proposições simples.
n
3. Aplicar os valores lógicos para cada uma das proposições na tabela verdade.
Exemplo:
p: Se há nuvens;
q: choverá;
r: teremos vento.
(p → q) ∨ r
Vamos então construir a tabela verdade para a proposição acima. A tabela terá 8 linhas,
pois a proposição composta, (p → q) ∨ r, é formada por três proposições
simples, p, q e r, então pelo teorema das linhas, temos que: 2 = 8.
3
Devemos agora colocar cada uma das proposições simples separadas em cada coluna.
Depois devemos olhar para as proposições com dependência, como p → q, que está em
parênteses; p e q dependem do valor lógico uma da outra. Por fim, na última coluna
colocamos toda a proposição composta.
p q r p→q (p → q) ∨ r
V V V V V
p q r p→q (p → q) ∨ r
V V F V V
V F V F V
V F F F F
F V V V V
F V F V V
F F V V V
F F F V V
Vamos agora analisar as operações lógicas das proposições e também o valor lógico
para as proposições de acordo com cada um dos conectivos usados. Vamos também
construir a tabela verdade para cada caso.
Conjunção#
V V V
V F F
p q p∧q
F V F
F F F
Disjunção#
V V V
V F V
F V V
F F F
Condicional#
V V V
V F F
F V V
F F V
Bi-condicional#
A bi-condicional de duas proposições, p e q, é indicada por: p ↔ q (leia-se: p se, e
somente se, q). A bi-condicional é verdadeira quando às duas proposições têm o mesmo
valor lógico.
V V V
V F F
F V F
F F V
Negação#
Negamos uma proposição atribuindo antes dela o sinal ¬ ou ~. Dessa forma a negação
da proposição p é: ¬p (leia-se: não p). A negação altera o valor lógico de uma
proposição, ou seja, se p tem valor lógico verdadeiro, então ¬p será falso e vice-versa.
V F
F V
Tautologia#
Tautologia é uma palavra de origem grega que tem o seguinte significado: tautó —
significa: o mesmo; e logos — significa: a mesma coisa já dita.
Na lógica matemática, uma tautologia é usada para dizer que uma proposição é sempre
verdadeira. No dia a dia usamos expressões que tem a mesma ideia.
Exemplo:
Exemplo:
O caso mais simples de tautologia é p ∨ (¬p) (leia-se: p ou não p). Podemos ver a
tabela verdade a seguir:
p ¬p p ∨ (¬p)
V F V
F V V
Exemplo:
V V V V
V F F V
F V V V
F F V V
Importante:
o (p ∧ q) ∨ (¬r)
o (p ∨ q) ↔ (p ∧ r)
Leia também:
Conjuntos
Conjuntos Numéricos
Raciocínio Lógico
VER TODOS OS ARTIGOS
COMPARTILHAR
INSCREVA-SE
Institucional
Sobre nós
Contato
Tópicos
Conjuntos
Equações
Frações
Múltiplos e Divisores
Sequências
Unidades de medidas
Estatística
Funções
Matrizes
Polinômios
Sistemas
Cadastre-se
Mapa do site
Categorias
Tags
Todos os artigos
Todos os exercícios
Tema escuro
Privacidade
Como citar
Uso do conteúdo