Monadic predicate calculus
id:
monadic-predicate-calculus-182-12661347
title:
Monadic predicate calculus
text:
In logic, the monadic predicate calculus is the fragment of first-order logic in which all relation symbols in the signature are monadic, and there are no function symbols. All atomic formulas are thus of the form P, where P is a relation symbol and x is a variable. Monadic predicate calculus can be contrasted with polyadic predicate calculus, which allows relation symbols that take two or more arguments.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Monadic_predicate_calculus
date created:
2006-11-19T14:30:01Z
date modified:
2024-09-06T10:32:58Z
main entity:
{"identifier":"Q6897882","url":"https://www.wikidata.org/entity/Q6897882"}
image:
fields total:
13
integrity:
14