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).
Lo|gik|kal|kül der; -s, -e
formalisiertes Zeichen, das als logische Konstante, Variable, Aussage usw. gedeutet wird (Informatik).