Uma proposição composta p implica numa proposição composta q, se e somente se, o condicional (p → q) é uma:
tautologia.
contingência.
contradição.
negação.
