Raciocínio Lógico — preâmbulo e ato das disposições constitucionais transitórias (adct)

Um provérbio chinês diz que:P1: Se o seu problema não tem solução, então não é preciso sepreocupar com ele, pois nada que você fizer o resolverá.P2: Se o seu problema tem solução, então não é preciso sepreocupar com ele, pois ele logo se resolverá.

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