Na substituição de argumentos em linguagem simbólica, há a p...

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- PV (~TV (T → R). III-T → ((P → S) ~(P))• IV- PV (~TV (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 III está correta. D. ( ) Somente a opção IV está correta.