Notación polaca
De Wikipedia, la enciclopedia libre
La notación polaca es la originada por un Autómata con pila, en la que los operadores siempre preceden a los operandos sobre los que actúan, y que tiene la ventaja de no necesitar paréntesis:
- Estándar
Ejemplo 1: 2 * ( 3 + 5 )
Ejemplo 2: 2 * 3 + 5
- Polaca
Ejemplo 1: * 2 + 3 5
Ejemplo 2: + * 2 3 5
[editar] Notación polaca en lógica
La siguiente tabla muestra el núcleo de la notación para la lógica de sentencias de Jan Łukasiewicz. La notación convencional recién fue establecida entre las décadas de 1970 y 1980. Algunas de las letras usadas corresponden a ciertos vocablos polacos:
| Concepto | Notación convencional |
Notación polaca |
Palabra polaca |
|---|---|---|---|
| Negación |  φ |
Nφ | negacja |
| Conjunción | φ ψ |
Kφψ | koniunkcja |
| Disyunción | φ ψ |
Aφψ | alternatywa |
| Condicional material | φ ψ |
Cφψ | |
| Bicondicional | φ ψ |
Eφψ | ekwiwalencja |
| Barra de Sheffer | φ | ψ | Dφψ | dysjunkcja |
| Posibilidad |  φ |
Mφ | możliwość |
| Necesidad |  φ |
Lφ | |
| Cuantificador universal |  φ |
Πφ | |
| Cuantificador existencial |  φ |
Σφ |
[editar] Referencias
[editar] Lecturas relacionadas
- Łukasiewicz, Jan (1957). Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Oxford University Press.
- Łukasiewicz, Jan, "Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls", Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, 23:51-77 (1930). Translated by H. Weber as "Philosophical Remarks on Many-Valued Systems of Propositional Logics", in Storrs McCall, Polish Logic 1920-1939, Clarendon Press: Oxford (1967).
