Na substituição de argumentos em linguagem simbólica, há a possibilidade de as fórmulas formadas não compreenderem a uma fbfs. Existem alguns casos...

Na substituição de argumentos em linguagem simbólica, há a possibilidade de as fórmulas formadas não compreenderem a uma fbfs. Existem alguns casos em que estas irregularidades não podem aparecer, pois seria impossível analisar as proposições. Sobre uma fbfs, analise as opções a seguir:
I- (~T → P) ↔ ((P → S) ∧ T)).
II- P ∨ (~T ∨ (T → R).
III- T ↔ ((P → S) ~(P)).
IV- P ∨ (~T ∨ (T → R)).Assinale a alternativa CORRETA:


A Somente a opção I está correta.
B Somente a opção II está correta.
C Somente a opção IV está correta.
D Somente a opção III está correta.