Diskuse:Existenční kvantifikátor

Obsah stránky není podporován v jiných jazycích.
Přidat téma
Z Wikipedie, otevřené encyklopedie

Ve škole (ČVUT - FEL) nám přednášející (Rostislav Horčík) říkal, že znak ∀ pochází z německého Allaussage (nebo něčeho podobného, přesně si to nepamatuji a reference se mi nedaří nalézt), místo anglického for all a ∃ z německého Existenzaussage místo anglického exists... --Zomp 28. 8. 2008, 20:32 (UTC)

  • V sešitě jsem nalezl tyto původní názvy (mohou být ale špatně, zapsal jsem si je pouze z poslechu): allgemeine a existiert. --zomp 1. 9. 2008, 15:17 (UTC)