Tag: predicate symbol

Atomic Formula in Logic

An atomic formula is the most basic building block in formal logic.…

Bossmind