Como contar o número de proposições simples em uma proposição composta que envolve condicional, bicondicional, conjunção e negação?

Conte cada proposição simples presente; conectivos não criam novas proposições, e a negação não aumenta a contagem.

Identifique as proposições atômicas em cada parte da fórmula, some-as: uma conjunção reúne duas (ou mais) proposições, um bicondicional liga duas partes que podem ser simples ou compostas, a condicional separa antecedente e consequente, e a negação apenas modifica uma proposição existente.

Exemplo:
Fórmula: Se P ∧ Q, então ¬R ↔ ( S ∧ T ).
Contagem: P e Q = 2, ¬R = 1, S e T = 2, total = 5.