Syntax (logic)

Eine metasyntaktische Variable ist ein bestimmtes Wort oder eine Wortgruppe, die in der Informatik und insbesondere in der Programmierung als Platzhalter dient .

WFF 'N PROOF ist ein Spiel der modernen Logik , das entwickelt wurde, um Prinzipien der symbolischen Logik zu lehren . Es wurde 1962 von Layman E.