Lukas' Notes

Definition

Atom (First-order Logic)

Define your knowledge here…