Questão 858132

Considere as proposições a seguir.

I - \(\neg\left(A\wedge B\right)\leftrightarrow\left(A\to\neg B\right)\)

II - \(\neg\left(A\to\neg B\right)\to\left(\left(A\vee\neg B\right)\wedge\left(\neg A\vee B\right)\right)\)

III - \(\left(\left(A\to B\right)\to A\right)\to A\)

IV - \(\left(\left(A\vee B\right)\wedge\left(\neg A\vee C\right)\right)\to\left(B\vee C\right)\)

São tautologias as proposições apresentadas em