FIRST ORDER LOGIC Berat YILMAZ. BEFORE START, LETS REMEMBER Logic Syntax Semantics.
FIRST ORDER LOGIC