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?

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:
  1. Símbolos proposicionais
  2. Símbolos conectivos
  3. 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 \{p_{1},p_{2},p_{3},\dots\}
ou de modo genérico por \{P,Q,R,\dots\}.

Passo 4

Símbolos conectivos são os operadores lógicos que combinam ou modificam proposições. Os mais usados são \neg (negação), \wedge (conjunção), \vee (disjunção), \to (implicação) e \leftrightarrow (bicondicional).

Passo 5

Símbolos auxiliares servem para delimitar a estrutura das fórmulas. São eles os parênteses \bigl( e \bigr),
às vezes também colchetes ou chaves, mas o essencial são \bigl( e \bigr).

Resposta

O alfabeto da Lógica Proposicional possui 3 tipos de símbolos:
  1. Símbolos proposicionais: \{p_{1},p_{2},p_{3},\dots\}
  2. Símbolos conectivos: \neg,\wedge,\vee,\to,\leftrightarrow
  3. Símbolos auxiliares (parênteses): \bigl(, \bigr)

Exercícios relacionados