Responda as questões a seguir, justificando suas respostas.
Quantos tipos de símbolos possui o alfabeto da Lógica Proposicional? Quais sãoesses símbolos?
Quantos tipos de símbolos possui o alfabeto da Lógica Proposicional? Quais sãoesses símbolos?
Passo 1
O enunciado pergunta sobre o alfabeto da Lógica Proposicional: isto é, o conjunto de símbolos básicos a partir dos quais construímos fórmulas. Para responder, precisamos recordar como se define esse alfabeto e em que categorias costumamos agrupar seus elementos.
Passo 2
O alfabeto da Lógica Proposicional é normalmente dividido em três tipos de símbolos, conforme a sua função na construção das fórmulas:
- Símbolos proposicionais
- Símbolos conectivos
- Símbolos auxiliares (pontuação)
Passo 3
Símbolos proposicionais são as variáveis que representam proposições atômicas. Costumamos denotá-las por
ou de modo genérico por .
ou de modo genérico por
Passo 4
Símbolos conectivos são os operadores lógicos que combinam ou modificam proposições. Os mais usados são
(negação),
(conjunção),
(disjunção),
(implicação) e
(bicondicional).
Passo 5
Símbolos auxiliares servem para delimitar a estrutura das fórmulas. São eles os parênteses
e
,
às vezes também colchetes ou chaves, mas o essencial são e
.
às vezes também colchetes ou chaves, mas o essencial são
Resposta
O alfabeto da Lógica Proposicional possui 3 tipos de símbolos:
- Símbolos proposicionais:
- Símbolos conectivos:
- Símbolos auxiliares (parênteses):
,