Questões sobre conectivos lógicos

Por
Recursos para aprender e ensinar filosofia.
14 de março de 2021 - 4 min leitura

1. Traduza as frases abaixo em fórmulas bem formadas.

2. Identifique se as fórmulas abaixo são fórmulas bem formadas e o que há de errado com elas.

  • ∼(K ⋁ L) (→ G ⋁ H)

    Há dois problemas com essa fórmula. Primeiro: falta um conectivo ligando as fórmulas dentro dos parênteses. Segundo: a condicional antes de G não tem um antecedente.

  • (E∼F) ⋁ (W ↔ X)

    A negação não serve para ligar duas proposições, ela apenas altera o valor de verdade de uma delas. Sendo assim, falta um conectivo para ligar E à ~F.

  • (B → ∼T) ↔ ∼(∼C → U)

    Essa é uma fórmula bem formada.

  • (F ↔ ∼Q) (A → E ⋁ T)

    Há dois problemas. Falta um conectivo ligando as fórmulas entre parênteses. E a fórmula (A → E ⋁ T) não faz sentido. É necessário colchetes, dessa forma, por exemplo: [A → (E ⋁ T)]

  • D ⋁ ∼[(P → Q) (T → R)]

    O único problema dessa fórmula é a falta de um conectivo ligando (P → Q) à (T → R).

  • M(N → Q) ⋁ (∼C D)

    Falta um conectivo depois de M e depois de ~C. Além disso, caso fossem adicionados os conectivos necessários, por exemplo, M → (N → Q) ⋁ (∼C D), seria necessário adicionar colchetes. Dessa forma M → [(N → Q) ⋁ (∼C D)] ou dessa [M → (N → Q)] ⋁ (∼C D).

  • ∼(F ⋁ ∼G) → [(A ↔ E) ∼H]

    Falta um conectivo ligando (A ↔ E) à ~H. A negação não serve para ligar diferentes proposições, só para alterar o valor de verdade de uma.

  • (R ↔ S T) → ∼(∼W ∼X)

    Falta um conectivo ligando S e T. Se ele fosse adicionado, seria necessário colchetes[R ↔ (S ⋁ T)]. Também falta um conectivo para ligar ~W à ~X.

Questões sobre conectivos lógicos. Filosofia na Escola, 2021. Disponível em: < https://filosofianaescola.com/logica/questoes-conectivos-logicos/>. Acesso em: 25 de Jul. de 2021.

Lógica proposicionalConectivos lógicos

Deixe uma resposta

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *

📧 Vamos manter contato?

Receba periodicamente em seu email uma lista com os últimos artigos publicados. Não se preocupe, não enviamos emails comerciais.