definition Not :: "'a predicate \ 'a predicate" (\\<^bold>\ _\ [40] 40) where NOT_def: "Not P s \ \ P s"
definitionAND :: "'a predicate \ 'a predicate \ 'a predicate" (infixr \\<^bold>\\ 35) where"(P \<^bold>\ Q) s \ P s \ Q s"
definition OR :: "'a predicate \ 'a predicate \ 'a predicate" (infixr \\<^bold>\\ 30) where"(P \<^bold>\ Q) s \ P s \ Q s"
definition IMPLIES :: "'a predicate \ 'a predicate \ 'a predicate" (infixr \\<^bold>\\ 25) where"(P \<^bold>\ Q) s \ P s \ Q s"
end
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.11Bemerkung:
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
