Curso de Raciocínio

Lógico
Linguagem da lógica formal e Tabelas-verdade.

Professor Josimar Padilha

Nessa aula iremos abordar 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 proposiçã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

Curiosidade!
Linguagem da lógica formal?

...Você sabia que este assunto tem sido explorado por lógicos e matemáticos
desde os tempos de Aristóteles, mas tomou rumos fascinantes 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
01. CONJUNÇÃO: “ e, mas, tanto como” símbolo: ˄

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

ligadas (operadas) pelo conectivo "e".
Exemplo:
02. DISJUNÇÃO INCLUSIVA: “ OU ” símbolo: ˅

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

proposições simples que estejam ligadas (operadas) pelo conectivo “ou”.
Exemplo:
03. DISJUNÇÃO EXCLUSIVA: “ 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...”
Exemplo:
04.CONDICIONAL: “SE..., ENTÃO...” símbolo: →
Agora é muito importante sua atenção, pois iremos estudar o principal
dos operadores lógicos, ou seja, o CONDICIONAL, isso pela incidência em
questõ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”, “Como” e etc.
Exemplo:
05. BICONDICIONAL:“SE,E SOMENTE SE”símbolo: ↔

Temos agora o operador bicondicional que será identificado pelo termo

“se, e somente se”. A proposição composta formada por duas proposições que
estejam ligadas por esse conectivo.
Exemplo:
06.NEGAÇÃO OU MODIFICADOR LÓGICO SÍMBOLO: ¬ OU ~
Exemplo: