1
$\begingroup$

The classic "modern logic" game of WFF 'N PROOF uses a set of symbols to represent logical relations that I've seen used nowhere else: $C$ for then; $A$ for or; $K$ for and; $E$ for if and only if; and $N$ for not. These are used in prefix notation so that, for example $CNpq$ means $\neg p\Rightarrow q,$ and $EpAqNr$ means $p\Leftrightarrow \left({q\vee\neg r}\right).$

What is the origin of these symbols and have they been used widely or elsewhere? Are they still in use?

  • 1
    Your [link](http://www.boardgamegeek.com/boardgame/5663/wff-n-proof) contains a recent [forum thread](http://www.boardgamegeek.com/thread/699725/why-use-arbitrary-letters-instead-of-familiar-logi) debating that very question.2011-10-04

2 Answers 2

5

It's polish notation. For example, $K$ stands for koniunkcja, from the same root as "conjunction".

  • 0
    [Some examples](http://web.ics.purdue.edu/~dulrich/Home-page.htm) of the use of this notation.2011-10-05
4

The "Polish" notation was introduced by my academic grandfather, Jan Łukasiewicz (1878-1956).

A famous joint paper with Tarski, "Untersuchungen über den Aussagenkalkül," (1930) contains the phrase "Łukasiewicz employs the formulas Cpq and Np." A footnote indicates that Łukasiewicz used the notation in a paper from 1929 and in his famous text Elementy logiki matematycznej (1929) which contains the contents of a course given "in the autumn trimester of the academic year 1928/9". In a paper by Łukasiewicz from 1931 a footnote reports that "I came upon the idea of a parenthesis-free notation in 1924." Thus 1924 seems to be the most likely date of the creation of Łukasiewicz's parenthese free notation.

The notation has been, and continues to be, widely used in the study of propositional calculi.

  • 1
    The paper is on line: http://projecteuclid.org/euclid.ndjfl/1093888116. Yes, my advisor, Boleslaw Sobocinski was a PhD student of Łukasiewicz.2013-06-15