terms.dev
txt
json
groups
about
feed
predicate logic:
Mathematics/logic term for system of statements that are formally defined and can be evaluated to true/false (also known as First-order logic)
</>