Aquí puedes pensar fácilmente que P y Q son dos variables proposicionales. De hecho, aquí P y Q son fórmulas proposicionales, y es más apropiado escribirlas como A → B. Es decir, la primera y la segunda están relacionadas, como P∧Q→P, que es una tautología. .
Cuando P y Q son argumentos proposicionales, por supuesto, P→Q no puede ser una tautología.