Množiny a logika
|
Symbol |
Název |
První použití |
|
|
průnik sjednocení |
1844 - Hermann Grassmann |
|
|
obsahuje |
1897 - Giuseppe Peano |
|
|
je prvkem |
1889 - Giuseppe Peano |
|
|
logická disjunkce |
1903 - Betrand Russell |
|
|
logická konjunkce |
1930 - Arend Hayting |
|
|
implikace |
1922 - David Gilbert |
|
|
implikace |
1954 - Nicola Bourbaki |
|
|
logická ekvivalence |
1937 - Wilhelm Ackermann |
|
|
logická ekvivalence |
1954 - Nicola Bourbaki |
|
|
1930 - Arend Hayting |
|
|
|
existuje |
1891 - Giuseppe Peano |
|
|
pro všechny |
1935 - Gerhard Gentzen |
tab. 6