5.442

Se ci è data una proposizione, con essa ci sono già dati anche i risultati di tutte le operazioni di verità che hanno quella proposizione come base.