Se uma proposição composta p implica numa proposição composta q, é correto afirmar que:
p condicional q é tautologia
q condicional p é tautologia
p bicondicional q é tautologia
q bicondicional p é tautologia
