Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.

Responsive image


Logique monadique du premier ordre

En logique mathématique, la logique monadique du premier ordre est le fragment syntaxique de la logique du premier ordre où il n'y a que des prédicats unaires. Les syllogismes usuels, comme ceux issus de la Logique de Port-Royal relèvent de cette logique partielle.


Previous Page Next Page






Monadic predicate calculus English Lógica de segunda ordem monádica Portuguese Числення одномісних предикатів Ukrainian 一元谓词演算 Chinese

Responsive image

Responsive image