$P$ er en logisk konsekvens av mengden av formler ($P$ er jo en av formlene i mengden), så $P$ er ikke uavhengig av formlene i mengden.

$P$ er en logisk konsekvens av mengden av formler ($P$ er jo en av formlene i mengden), så $\neg P$ er ikke uavhengig av formlene i mengden.

$(P \land Q)$ er en logisk konsekvens av formlene i mengden, så $(P \land Q)$ er ikke uavhengig av formlene.

Hverken $(S \rightarrow T)$ eller $\neg (S \rightarrow T)$ er en logisk konsekvens av mengden av formler, så $(S \rightarrow T)$ er uavhengig av formlene i mengden.

Hverken $R$ eller $\neg R$ er en logisk konsekvens av mengden av formler (alle formlene i mengden kan være sanne uten at $R$ er sann, og alle formlene i mengden kan være sanne uten at $\neg R$ er sann). $R$ er dermed uavhengig av formlene i mengden.

$(P \lor R)$ er en logisk konsekvens av formlene i mengden, så $(P \lor R)$ er ikke uavhengig av formlene.

Hverken $(P \land R)$ eller $\neg (P \land R)$ er en logisk konsekvens av mengden av formler (alle formlene i mengden kan være sanne uten at $(P \land R)$ er sann, og alle formlene i mengden kan være sanne uten at $\neg (P \land R)$ er sann). $(P \land R)$ er dermed uavhengig av formlene i mengden.