๐ธ Term (predicate calculus)
= references/denotations to individuals used in predicate calculus
Types
- specific -> ๐ Individual constant
- unspecific -> ๐ค Individual variable
Search
May 18, 2024, 1 min read
= references/denotations to individuals used in predicate calculus