• Proposição (p→q)→q

A simplificação pode ser direcionada a um objetivo declarado. Por exemplo, considere o pedido:

Simplifique a proposição (p∧q)∧q para obter uma proposição que se exprima em função do conectivo “∨”.

Objetivo alcançado! A simplificação reduziu o número de conectivo e a proposição obtida é uma disjunção.

Este direcionamento pode usar o termo Forma Normal (FN). Por exemplo: simplifique a proposição (p→q)→q à sua FN. Acompanhe o detalhamento a seguir.