Um provérbio chinês diz que:
P1: Se o seu problema não tem solução, então não é preciso se preocupar com ele, pois nada que você fizer o resolverá.
P2: Se o seu problema tem solução, então não é preciso se preocupar 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
P1: Se o seu problema não tem solução, então não é preciso se preocupar com ele, pois nada que você fizer o resolverá.
P2: Se o seu problema tem solução, então não é preciso se preocupar 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
