Aller au contenu

Utilisateur:Lepticed7/Brouillon/Principes de supplémentation

Une page de Wikipédia, l'encyclopédie libre.

< Utilisateur:Lepticed7‎ | Brouillon

En méréologie, les principes de supplémentation sont deux principes (dits fort et faible) régissant la décomposition des entités.

Axiomatisation[modifier | modifier le code]

$\forall x,y(PP(x,y)\rightarrow \exists z(P(z,y)\land \lnot O(z,x)))$

Notes et références[modifier | modifier le code]

Notes[modifier | modifier le code]

Références[modifier | modifier le code]

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Utilisateur:Lepticed7/Brouillon/Principes_de_supplémentation&oldid=198222685 ».