RACIOCÍNIO LÓGICO

Linguagem da Lógica Formal – Tabela-Verdade

Produção: Equipe Pedagógica Gran Cursos Online

LINGUAGEM DA LÓGICA FORMAL – TABELA-VERDADE

Nesta aula, serão abordados os seguintes assuntos:

• Linguagem da lógica formal;
• Construção e aplicações das tabelas-verdade dos operadores: conjunção,
disjunção inclusiva, disjunção exclusiva, condicional, bicondicional e negação.

As tabelas-verdade apresentam as possíveis interpretações para uma pro-

posição simples ou composta, sabendo que, na lógica bivalente, as valorações
possíveis, valores lógicos, que nós temos são:

(V): verdade ou ( F): falso

Linguagem da lógica formal? Você sabia que esse assunto tem sido explorado
por lógicos e matemáticos desde os tempos de Aristóteles, mas tomou rumos fas-
cinantes principalmente a partir dos escritos de Frege, no século XIX? Quando
surgiram as primeiras linguagens formais (Frege, Peano, Russell, Carnap), o
ponto de vista dos estudiosos era basicamente “realista” e “normativo”.

OPERADORES OU CONECTIVOS LÓGICOS

1. Conjunção: “e, mas, tanto como” / símbolo ˄

Proposição composta formada por duas proposições quaisquer que estejam

ligadas (operadas) pelo conectivo "e".
Exemplos:
a) A liberdade é fundamental, mas o homem precisa de limites.
b) Tanto é falso que Lucas é brasileiro, como é falso que João é norte-ame-
ricano.
c) A vida é curta e a morte é certa.
d) Não sou traficante, sou usuário. (O “mas” está subentendido)
ANOTAÇÕES

1
www.grancursosonline.com.br
RACIOCÍNIO LÓGICO
Linguagem da Lógica Formal –Tabela-Verdade
Produção: Equipe Pedagógica Gran Cursos Online

2. Disjunção: “ou” / símbolo ˅

Disjunção inclusiva é uma proposição composta formada por duas proposi-

ções simples que estejam ligadas (operadas) pelo conectivo “ou”.
Exemplo:
a) José é um aluno dedicado ou André não sabe lógica.

3. Disjunção exclusiva: “ou…ou…” ou símbolo ˅

Temos, agora, o nosso terceiro operador lógico, denominado de disjunção

exclusiva. A proposição composta formada por duas proposições simples que
estejam ligadas (operadas) pelo conectivo “ou…ou…”.
Exemplos:
a) Ou o mordomo é o culpado ou a governanta é a culpada.
b) Amo a minha Pátria ou sou um espião, mas não os dois.

4. Condicional: “se…, então…” / símbolo: →

Esse é o principal dos operadores lógicos, em função da incidência em ques-

tões de concursos públicos e também pela sua complexidade.
Denomina-se condicional a proposição composta formada por duas proposi-
ções que estejam ligadas (operadas) pelo conectivo “se…, então…”/ “quando”,
“aquele”, “como” etc.
Exemplos:
a) Se estudo bastante, então sou bem-sucedido.
b) Quando estudo bastante, sou bem-sucedido.
c) Aquele que estuda bastante, é bem-sucedido.
d) Como estudo bastante, sou bem-sucedido.
e) Quem estuda bastante é bem-sucedido.

5. Bicondicional: “se, e somente se” / símbolo: ↔

O operador bicondicional será identificado pelo termo “se, e somente se”. A

proposição composta é formada por duas proposições que estejam ligadas por
esse conectivo.
ANOTAÇÕES

2
www.grancursosonline.com.br
RACIOCÍNIO LÓGICO
Linguagem da Lógica Formal – Tabela-Verdade
Produção: Equipe Pedagógica Gran Cursos Online

Exemplos:
a) Aladim beijou a princesa ontem se, e somente se, o dragão desaparecer
amanhã.
b) Todos os nossos atos têm causa se, somente se, não há atos livres.
O “se, e somente se” pode ser substituído por “assim como”.

6. Negação ou modificador lógico símbolo: ¬ ou ~

Exemplos:
a) P: José é um aluno dedicado.
b) Q: José passou no concurso.
c) ¬ P: José não é um aluno dedicado. / Não é verdade que José é um aluno
dedicado. / É falso que José é um aluno dedicado.
d) ¬ P ˄ Q: Não é verdade que José é um aluno dedicado e José passou no
concurso. / É falso que José é um aluno dedicado e José passou no concurso.

Atenção!
¬ ou ~ → não, não é verdade que, é falso que.

Este material foi elaborado pela equipe pedagógica do Gran Cursos Online, de acordo com a
aula preparada e ministrada pelo professor Josimar Padilha.

ANOTAÇÕES

3
www.grancursosonline.com.br