Por meio da linguagem proposicional é possível identificar dois aspectos: sintático e semântico. O sintático determina os símbolos, regras de formação e as regras de dedução lógica. O semântico consiste na atribuição dos valores lógicos sobre as proposições. Com relação aos conectivos proposicionais "∧", "∨", "→", "↔", "¬", complete o quadro a seguir com as respectivas classificações:
SOUZA, J. N. Lógica para Ciência da Computação. Editora: Campus, 2002 (adaptado).
Palavras ou Letras Conectivos (símbolos) Classificação
"e" ∧ ?
"ou" | inclusivo ∨ ?
"ou... ou" | exclusivo ∨ Disjunção Exclusiva
"se ..., então..." | implica → ?
"se, e somente se" | bi-implicação ↔ Bicondicional
"não" ¬ ?
Implica ⇒ Implicação
Para todo ∀ Quantificador
Existe/pelo menos um ∃ Quantificador
Assinale a alternativa cujas palavras completam corretamente e respectivamente o quadro:
Escolha uma opção
a. Bicondicional: Quantificador; Condicional; Negação.
b. Conjunção: Disjunção Inclusiva; Condicional; Negação.
c. Conjunção: Negação; Condicional; Disjunção Exclusiva.
d. Disjunção Exclusiva; Disjunção Inclusiva; Conjunção; Negação.
e. Negação: Disjunção Inclusiva; Bicondicional; Negação.
