Answer by Bram28 for Trying to get my logic terminology straight
Pretty good. Personally, I would do 'predicates' a little different. The $P$ would be the predicate, while $P(x)$ would be a formula. Also, you can regard properties as $1$-place predicates, and...
View ArticleTrying to get my logic terminology straight
I am having some trouble wrapping my head around the specific definitions of things when it comes to logic. This is my current understanding from my own note-taking, can anyone correct me?Expressions:...
View Article
More Pages to Explore .....