Indicadas por P, Q e R, respectivamente, as proposições Seu problema tem solução, Nada que você fizer resolverá seu problema e Não é preciso se preocupar com seu problema, e indicados por ~ e , respectivamente, os conectivos não e
se ..., então, a proposição P1 pode ser corretamente representada, na linguagem lógico-simbólica, por