Question

na substituição de argumentos em linguagem simbólica, há a possibilidade de as fórmulas formadas não compreenderem uma fbfs. Existem alguns casos em que estas irregularidades não podem aparecer, pois será impossível analisar as proposições. Escolha a alternativa correta que apresenta uma fbfs:
a) ~((P ^ S) → (P ^ R))
b) ~(P v S) → ((T ^ R) ↔ (P → S)
c) ~(R) ↔ (P → S)
d) ~ T ^ R ↔ (P → S)

A pergunta acima é qual das alternativas representa uma fbfs (fórmula bem formulada). Estou em dúvida entre as alternativas a e b. Alguém pode me ajudar.

Answer 1

Alternativa A, Pois  a letra B não tem os parenteses suficientes.