I was trying to define Iverson Brackets as a function [•]:D -> B, where B is boolean set. My proposition is that D is a set of predicates of arity 0 to n, but still couldn’t really rigorously define such set.
#Domain of Iverson Brackets
nocturne turtle
novel nestBOT
daring wagon
I was trying to define Iverson Brackets as a function [•]:D -> B, where B is boo...
How do you define "predicate" and "arity"?
And by Boolean set, I assume you mean {0, 1}, or {T, F}, or anything of that sort