Inferenz-Systeme

ein Inferenz-System I besteht aus

eine Ableitung für F bzgl. I ist ein Baum:

Schreibweise: I $ \vdash$ F



Johannes Waldmann 2011-01-23