2 - Resolução da tabela verdade de (p → q) ∧ (~p → r)

Relembre o pensamento em ênfase no momento:

Podemos transcrevê-lo para a lógica das proposições da seguinte forma:

(Se foi, então era pra ser) e (se não foi, então espere, pois tem algo melhor pra você)

Ou seja:

(Foi → era para ser) e (não foi → espere, pois tem algo melhor pra você)

No caso do pensamento em referência, o MAS está conectando duas condicionais. Fica assim fácil entender que o MAS é o mesmo que E na linguagem das proposições.

Analisando o sentido do pensamento, nota-se que a conjunção representada pelo MAS é a operação mais forte, pois o pensamento só terá sentido se as duas partes forem verdadeiras. Isto é, se a condicional da esquerda for verdade simultaneamente à condicional da direita.

Dessa forma, usam-se os parênteses para impor a ordem de resolução preenchida abaixo na tabela verdade, deixando a conjunção por último, por ser a operação mais forte neste caso.