Para responder à questão, considere aseguinte lista de símbolos lógicosdenominados de conetivos:
→ representa o condicional ^ representa a conjunção v representa a disjunção inclusiva ¬ representa a negação. representa a disjunção inclusiva
As seguintes fórmulas proposicionais
são, respectivamente: