Escolar Documentos
Profissional Documentos
Cultura Documentos
UNIDADE I
LÓGICA FORMAL
1. Breve Histórico
Em 1882, o alemão Friedrich Frege originou a lógica formal, também chamada
de lógica de predicados, adaptando o raciocínio abstrato humano à rigidez matemática
para investigar a validade e verdade das cadeias de pensamento, transformando
argumentos linguísticos em expressões da álgebra. Entretanto, foi Frege que criou o
vocabulário que permite traduzir a língua dominante para a Matemática, inserindo-se
este dentro do âmbito das regras e conceitos básicos da lógica aristotélica. (Coleção
Matemática Elementar, IEZZI e outros)
2. Conceito de Proposição
Proposição é toda oração declarativa que deve ser classificada em verdadeira
(V) ou falsa (F). Uma proposição exprime um pensamento de sentido completo.
Exemplos:
A Terra gira ao redor da Lua. (V)
Flamengo é time paulista. (F)
1
Hoje é domingo ou amanhã não choverá.
2
b)
P: Flamengo é time paulista. (F)
Q: A Lua é satélite natural da Terra. (V)
P v Q: Flamengo é time paulista ou a Lua é satélite natural da Terra. (V)
Exemplos:
a)
P: Oito divide dezesseis. (V)
Q: Cinco é múltiplo de vinte e cinco. (F)
P ↔ Q: Oito divide dezesseis se e somente se cinco é múltiplo de 25. (F)
b)
P: Num triângulo retângulo, o cateto é maior que a hipotenusa. (F)
Q: A área de um triângulo é a base vezes a altura. (F)
P ↔ Q: Num triângulo retângulo, o cateto é maior que a hipotenusa se e somente se
a área de um triângulo é a base vezes a altura. (V)
5. Estudo da Tabela-Verdade
5.1. Tabela-Verdade das Proposições Simples
Vimos que uma proposição simples (P) tem os seguintes valores lógicos: ou
verdadeiro (V) ou falso (F). Daí, a tabela-verdade de uma proposição simples tem o
seguinte formato:
P
V
F
4
Q P→Q
V V V
F V V
P Q P v Q (P v Q) → P
V F F
V V V V
F F V
V F V V
F V V F
5.3. Tabela-Verdade da F F F V Conjunção
Para uma conjunção, a tabela-verdade tem o seguinte formato:
P Q PΛQ
V V V
V F F
F V F
F F F
P Q PvQ
V V V
V F V
F V V
F F F
5.5. Tabela-Verdade da Disjunção Exclusiva
P Q PvQ
V V F
V F V
F V V
F F F
5
5.7. Tabela-Verdade da Bicondicional
P Q P↔Q
V V V
V F F
F V F
F F V
P Q PΛQ (P Λ Q) v P
V V V V
ATENÇÃO! Para calcularmos o
V F F V
número de linhas de linhas da tabela-
verdade, utilizamos F V F F a expressão 2N, em
que N representa o número de
F F F F
proposições simples componentes.
6
P ¬P P Λ ¬P ¬(P Λ ¬P)
V F F V
F V F V
2. Contradição
Chama-se contradição ou proposição logicamente falsa toda proposição
composta em que, na última coluna de sua tabela-verdade, encerra-se somente a
falsidade, ou seja, é toda proposição composta, cujo valor lógico é sempre falso,
independentemente dos valores lógicos das proposições simples que a compõem.
Exemplo: P Λ ¬P é uma contradição. Veja a tabela-verdade:
P ¬P P Λ ¬P
6.3. Contingência
Chama-se V F F contingência toda
proposição composta em que, na última coluna de
sua tabela-verdade, F V F figuram os valores V
(verdadeiro) e F (falso). Em outras palavras,
contingência é toda proposição composta que não é tautologia nem contradição.
Exemplo: A proposição (P v Q) → P é uma contingência. Veja a sua tabela-verdade:
P Q P v Q (P v Q) → P
V V V V
V F V V
F V V F
RESUMO DA UNIDADE F F F V I
LÓGICA FORMAL
7
1. Conceito de Proposição
É toda oração declarativa que deve ser classificada em verdadeira (V) ou falsa (F). Uma
proposição exprime um pensamento de sentido completo.
São aquelas formadas por duas ou mais proposições simples (duas ou mais orações)
que vêm conectadas entre si.
8
3.4. O conectivo “→” (lê-se: “se... então...”)
4. Estudo da Tabela-Verdade
Veja a tabela a seguir que resume os valores lógicos das proposições compostas:
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
5.1. Tautologia
5.2. Contradição
5.3. Contingência
9
Chama-se contingência toda proposição composta em que, na última coluna de sua
tabela-verdade, figuram os valores V (verdadeiro) e F (falso). Em outras palavras,
contingência é toda proposição composta que não é tautologia nem contradição.
10