Vietnam or Thailand ? Vote for the TOP Country of the Week !
Aktualisiert: 27. Mai 2025
Zu den verwendbaren logischen Formen gehören u. a. die klassische propositionale Logik, die intuitionistische propositionale Logik, die modale Logik und die temporale Logik. Daneben zeichnet sich noch eine Kategorie von sogenannten kontrollierten Sprachen ab.
Booles Algebra des Denkens ist hierfür ein Beispiel, aber keineswegs das einzige. Allenthalben werden heute Sprachen geschaffen, die eine Vielfalt logischer Systeme unterstützen, unter anderem autoepistemische, zeitliche, modale und intuitionistische Systeme.
Wort des Tages
Andere suchen