Dado que W, Y e Z são proposições no contexto do Cálculo Proposicional, podendo assumir valores falsos ou verdadeiros, conclui-se que