Considere as seguintes proposições simples: T : O pedreiro foi contratado; U : O pedreiro fez a seleção. Desse modo, é CORRETO afirmar que:

Se o pedreiro foi contratado, então ele fez a seleção, ou ele não fez a seleção corresponde a uma proposição composta tautológica.

O pedreiro fez a seleção e ele foi contratado; em linguagem lógica, corresponde a (U∧¬T).

Se o pedreiro foi contratado, então fez a seleção, e se fez a seleção, então foi contratado; em linguagem lógica, é equivalente a (U→T) ∨ (T→U).

Se o pedreiro foi contratado, então fez a seleção, ou se fez a seleção, então foi contratado; em linguagem lógica, é equivalente a (T↔U).

Se o pedreiro foi contratado, então ele fez a seleção, ou ele não fez a seleção; em linguagem lógica, corresponde a (T→U)∧ ¬T.