resumo aula-05-linguagem-da-logica-formal-tabela-verdade

Prévia do material em texto

1
Linguagem da Lógica Formal – Tabela-Verdade
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TAÇ
Õ
ES
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)
2
Linguagem da Lógica Formal –Tabela-Verdade
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TA
Ç
Õ
ES
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. 
3
Linguagem da Lógica Formal – Tabela-Verdade
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TAÇ
Õ
ES
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.