///
Considere a seguinte notação para os conetivos lógicos: representa o condicional.
representa a conjunção.
representa a disjunção inclusiva.
representa a negação.
Sendo P, Q e R sentenças proposicionais simples, e supondo que as fórmulas (PQ) e (QR) são verdadeiras, então também será verdadeira a fórmula da alternativa: