Qual critério indica que uma oração deve ser representada por um átomo em vez de por P→Q?

Resposta

Quando não há um antecedente e um consequente distintos e separáveis; nesse caso a oração é abreviada por um átomo.

Uma implicação \(P\rightarrow Q\) só é adequada se a frase contiver explicitamente uma estrutura condicional separável, como "Se A, então B".
Se a frase apenas expressa uma relação de consequência sem partes claramente separáveis, representa‑se por um único átomo, por exemplo \(S\).

exemplo:
- Condicional separável: "Se chover, a partida será adiada." → representar por \(P\rightarrow Q\).
- Consequência não separável: "A chuva adiou a partida." → representar por um átomo, por exemplo \(S\).