Definition:Subject
From ProofWiki
Definition
The subject of a simple statement in logic is the part of the statement specifying the thing being talked about.
The subject of a simple statement is atomic in predicate logic.
The subject and predicate of a simple statement are referred to as its terms.
Sources
- Alan G. Hamilton: Logic for Mathematicians (1978): $\S 1.1$
