Sejam A o conjunto dos números racionais e B o conjunto dos números irracionais. Nesse contexto, analise as assertivas a seguir:

I. A soma de um elemento de A com um elemento de B é sempre um elemento de B.
II. O produto de um elemento não nulo de A por um elemento de B é sempre um elemento de B.
III. A interseção entre A e B é o conjunto vazio.

Quais estão corretas? 

Sabe-se que, em lógica proposicional clássica, a implicação p → q é logicamente equivalente à proposição ~p ∨ q. Com base nisso, analise a proposição composta a seguir:

(p → q) ↔ (~p ∨ q).

Considerando a tabela-verdade da proposição dada, assinale a alternativa que indica a classificação correta dessa proposição.