11/10/2014

Notação polaca para a lógica proposicional


Na notação polaca, inventada pelo lógico Jan Łukasiewicz, todas as conectivas vêm antes das variáveis proposicionais que elas conectam. Assim, em vez de se escrever P⋀Q, com a notação polaca escreve-se ⋀PQ. Ou em vez de se escrever P⋁Q, escreve-se ⋁PQ.

Mas afinal qual é a vantagem de se utilizar a notação polaca? A principal vantagem desta notação é a eliminação dos parêntesis. Pois, com a notação comum precisamos de parêntesis para distinguir, por exemplo, entre:

1a. (P⋀Q)→R
1b. P⋀(Q→R)
2a. ¬(P⋀Q)
2b. (¬P⋀Q)

Mas com a notação polaca essa distinção é feita sem parêntesis:

1a. →⋀PQR
1b. ⋀P→QR
2a. ¬⋀PQ
2b. ⋀¬PQ

Para saber mais sobre a notação polaca, clique aqui.


Gostou deste artigo? Receba outros por e-mail, assine a nossa newsletter. Digite aqui o seu e-mail:

Este artigo, com comentários, encontra-se no seguinte tema:

Escreva aqui os seus comentários ao artigo "Notação polaca para a lógica proposicional":

5 Domingos Faria: Notação polaca para a lógica proposicional Na notação polaca, inventada pelo lógico Jan Łukasiewicz, todas as conectivas vêm antes das variáveis proposicionais que elas conectam. Ass...
< >