Você está na página 1de 10

RACIOCÍNIO LÓGICO

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)

3. Estudo das Proposições Simples e Compostas


3.1. Proposições Simples (ou Atômicas)
São aquelas que vêm desacompanhadas de conectivos, de elementos de
ligação. As proposições simples são formadas por uma única oração.
Exemplos:
Hoje é sábado.
Ontem choveu.

3.2. Proposições Compostas (ou Moleculares)


São aquelas formadas por duas ou mais proposições simples (duas ou mais
orações) que vêm conectadas entre si.
Exemplos:
Hoje é domingo e amanhã não choverá.

1
Hoje é domingo ou amanhã não choverá.

4. O que são Conectivos Lógicos?


Chamam se conectivos lógicos as palavras ou os símbolos que usamos para
formar proposições compostas, a partir de proposições simples dadas. São
conectivos usuais em Lógica Matemática: “e”, “ou”, “Ou... ou...”, “Se... então...”, “...
se e somente se ...”.

4.1. O conectivo “Λ” (lê-se: “e”)


Quando colocamos o conectivo “Λ” entre duas proposições P e Q, obtemos
uma proposição composta P Λ Q (lê-se: “P e Q”), chamada conjunção.
A conjunção P Λ Q será verdadeira se P for verdadeira e Q for verdadeira. Se
ao menos uma delas for falsa, P Λ Q será falsa.
Exemplos:
a)
P: Cinco é menor que nove. (V)
Q: Onze é um número primo. (V)
P Λ Q: Cinco é menor que nove e onze é um número primo. (V)
b)
P: O quadrado de dois é quatro. (V)
Q: Três divide sete. (F)
P Λ Q: O quadrado de dois é quatro e três divide sete. (F)

4.2. O conectivo “v” (lê-se: “ou”)


Quando colocamos o conectivo “v” entre duas proposições P e Q, obtemos
uma proposição composta P v Q (lê-se: “P ou Q”), chamada disjunção.
A disjunção P v Q será verdadeira se ao menos uma das proposições P ou Q
for verdadeira. Se P e Q forem ambas falsas, então P v Q será falsa.
Exemplos:
a)
P: Cinco é maior que dois. (V)
Q: Três é ímpar. (V)
P v Q: Cinco é maior que dois ou três é ímpar. (V)

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)

4.3. O conectivo “v” (lê-se: “ou... ou...”)


Além da disjunção inclusiva “ou”, também chamada simplesmente de
disjunção, simbolicamente representada por “v”, existe a chamada disjunção
exclusiva, dada pelo conectivo “ou ... ou...” e simbolicamente representada por “v
A disjunção exclusiva P v Q será verdadeira se uma das proposições for
verdadeira e a outra for falsa. Nos demais casos, ou seja, quando ambas as
proposições forem verdadeiras ou falsas, a disjunção exclusiva será falsa.
Exemplos:
a)
P: Dois é par. (V)
Q: Três é ímpar. (V)
P v Q: Ou dois é par ou três é ímpar. (F)
b)
P: Brasília é a capital do Brasil. (V)
Q: São Paulo é a capital federal. (F)
P v Q: Ou Brasília é a capital do Brasil ou São Paulo é a capital federal. (V)

4.4. O conectivo “→” (lê-se: “se... então...”)


Quando colocamos o conectivo “→ ” entre duas proposições P e Q, obtemos
uma nova proposição P → Q (lê-se: “se P, então Q”), chamada condicional.
A condicional P → Q é falsa somente quando P é verdadeira e Q é falsa. Em
qualquer outro caso, P → Q é verdadeira.
Exemplos:
a)
P: Cinco é menor que sete. (V)
Q: Dois é divisor de seis. (V)
P → Q: Se cinco é menor que sete, então dois é divisor de seis. (V)
b)
3
P: Todo número par é múltiplo de dois. (V)
Q: Cinco não é primo. (F)
P → Q: Se todo número par é múltiplo de dois, então cinco não é primo. (F)

4.5. O conectivo “↔” (lê-se: “... se e somente se...”)


Quando colocamos o conectivo “↔” entre duas proposições P e Q, obtemos
uma nova proposição P ↔ Q (lê-se: “P se e somente se Q”), chamada bicondicional.
A bicondicional P ↔ Q é verdadeira somente quando P e Q são ambas
verdadeiras ou ambas falsas. Em qualquer outro caso, a bicondicional é falsa.

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

5.2. Tabela-Verdade das Proposições Compostas


Veja um exemplo de uma tabela-verdade para uma proposição composta
(P v Q) → P:

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

5.4. Tabela-Verdade da Disjunção

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.6. Tabela-Verdade da Condicional

5
5.7. Tabela-Verdade da Bicondicional

P Q P↔Q
V V V
V F F
F V F
F F V

5.8. Tabela-Verdade com Várias Proposições Inter-Relacionadas


Exemplo: Mostre, através de uma tabela-verdade, que, para todos os possíveis valores
lógicos atribuídos às proposições simples P e Q, a proposição composta (P Λ Q) v P tem
exatamente 2 valores lógicos verdadeiros e 2 falsos.

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. Tautologia, Contradição e Contingência


6.1. Tautologia
Chama-se tautologia ou proposição logicamente verdadeira toda proposição
composta em que, na última coluna de sua tabela-verdade, encerra-se somente o
valor lógico verdadeiro (V), ou seja, tautologia é toda proposição composta, cujo
valor lógico é sempre a verdade, independentemente do valor lógico (V ou F) das
proposições simples que a compõe.
Exemplo: A proposição composta ¬(P Λ ¬P) é uma tautologia. Veja a tabela-verdade
dessa proposição:

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.

2. Estudo das Proposições Simples e Compostas

2.1. Proposições Simples

São aquelas que vêm desacompanhadas de conectivos, de elementos de ligação. As


proposições simples são formadas por uma única oração.

2.2. Proposições Compostas

São aquelas formadas por duas ou mais proposições simples (duas ou mais orações)
que vêm conectadas entre si.

3. O que são Conectivos Lógicos?

Chamam se conectivos lógicos as palavras ou os símbolos que usamos para formar


proposições compostas, a partir de proposições simples dadas. São conectivos usuais
em Lógica Matemática: “e”, “ou”, “Ou... ou...”, “Se... então...”, “... se e somente se ...”.

3.1. O conectivo “Λ” (lê-se: “e”)

Quando colocamos o conectivo “Λ” entre duas proposições P e Q, obtemos uma


proposição composta P Λ Q (lê-se: “P e Q”), chamada conjunção. A conjunção P Λ Q
será verdadeira se P for verdadeira e Q for verdadeira; se ao menos uma delas for
falsa, P Λ Q será falsa.

3.2. O conectivo “v” (lê-se: “ou”)

Quando colocamos o conectivo “v” entre duas proposições P e Q, obtemos uma


proposição composta P v Q (lê-se: “P ou Q”), chamada disjunção. A disjunção P v Q
será verdadeira se ao menos uma das proposições P ou Q for verdadeira; se P e Q
forem ambas falsas, então P v Q será falsa.

3.3. O conectivo “v” (lê-se: “ou... ou...”)

Além da disjunção inclusiva “ou”, também chamada simplesmente de disjunção,


simbolicamente representada por “v”, existe a chamada disjunção exclusiva, dada pelo
conectivo “ou ... ou...” e simbolicamente representada por “v”. A disjunção exclusiva
P v Q será verdadeira se uma das proposições for verdadeira e a outra for falsa; nos
demais casos, ou seja, quando ambas as proposições forem verdadeiras ou falsas, a
disjunção exclusiva será falsa.

8
3.4. O conectivo “→” (lê-se: “se... então...”)

Quando colocamos o conectivo “→ ” entre duas proposições P e Q, obtemos uma nova


proposição P → Q (lê-se: “se P, então Q”), chamada condicional. A condicional só é
falsa quando temos V → F; em qualquer outra situação, a condicional é verdadeira.

3.5. O conectivo “↔” (lê-se: “...se e somente se...”)

Quando colocamos o conectivo “↔” entre duas proposições P e Q, obtemos uma


nova proposição P ↔ Q (lê-se: “P se e somente se Q”), chamada bicondicional. A
bicondicional P ↔ Q é verdadeira somente quando P e Q são ambas verdadeiras ou
ambas falsas; em qualquer outro caso, a bicondicional é falsa.

4. Estudo da Tabela-Verdade

Veja a tabela a seguir que resume os valores lógicos das proposições compostas:

P Q PΛQ PvQ PvQ P→Q P↔Q

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

Para calcularmos o número de linhas de linhas da tabela-verdade, utilizamos a


expressão 2N, em que N representa o número de proposições simples componentes.

5. Tautologia, Contradição e Contingência

5.1. Tautologia

Chama-se tautologia ou proposição logicamente verdadeira toda proposição composta


em que, na última coluna de sua tabela-verdade, encerra-se somente o valor lógico
verdadeiro (V), ou seja, tautologia é toda proposição composta, cujo valor lógico é
sempre a verdade, independentemente do valor lógico (V ou F) das proposições
simples que a compõe.

5.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.

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

Você também pode gostar