Duden Das große Fremdwörterbuch
Logikkalkül
Lo|gik|kal|kül der; -s, -e

formalisiertes Zeichen, das als logische Konstante, Variable, Aussage usw. gedeutet wird (Informatik).
Sie können einen Link zu dem Wort setzen

Ansicht: Logikkalkül