PROPRIÉTÉ (HUMANITÉ)

(PROPRIÉTÉ)

FICHIER PDF

FICHIER WMV(VIDEO)

Date/Heure :		Sigle : Code :
Nom Long :	attribut	Nom (Anglais) :
		Résumé (Anglais) :
Résumé :
Site Internet d'origine:	Ouvrir
Pays Région Ville
Site Web Extérieur :	Ouvrir	Email : Ecrire
Vidéo :
modification :	2018-11-09 12:52:47 création : 2014-12-05 18:46:11

CHIFFRES ASSOCIE(S) :

Pas de données chiffrées pour cet élément

Objets associés à PROPRIÉTÉ :

abonné :

actions

(Sans Date Passif)

AVOIR UNE ÉPAISSEUR

RÉAPPROPRIER

articles

(Sans Date Passif)

latence

Disponible uniquement pour les membres connéctés

propriété (caractéristique)

propriété (mathématiques)

propriété (possession)

propriété privée

prédicat

$est ONTOLOGIE, concerner OBJET (ONTOLOGIE), faire partie du TRIPLET (ONTOLOGIE), juxtaposer grace CONNECTEUR LOGIQUE, utiliser ARITÉ, être de couleur de RELATION (ONTOLOGIE), être synonyme ATTRIBUT, PROPOS, PROPRIÉTÉ, RELATION, THÈME, logique mathématiques : propriété des objets de l'univers du discours(ontologie) exprimée dans un langage. Plus généralement cette propriété peut porter non seulement sur des objets (on peut préciser prédicats d'arité 1 ou monadiques), mais aussi sur des couples d'objets (on parle de prédicat d'arité 2, ou encore de relation), des triplets d'objets (arité 3), etc. Pour définir un prédicat on peut utiliser une formule ouverte, c'est-à-dire comportant une ou plusieurs variables libres, le nombre de variables libres est l'arité du prédicat, le prédicat ne dépend pas du nom de ces variables. Par exemple, le prédicat « x < 4 » est un prédicat d'arité 1 (qui est identique au prédicat y < 4), le prédicat « x < y et y < z » un prédicat d'arité 3… L'ordre des variables n'est pas indifférent. On peut désigner un prédicat par une constante qui le représente directement. L'égalité, est toujours un prédicat binaire, désignée par « = ». L'ordre strict, par exemple sur les entiers est un prédicat binaire désigné par « < ». .......... d'un ensemble de symboles appelés variables ; d'un ensemble de symboles désignant des prédicats (ou relations) ; de connecteurs logiques réservés (et, ou, etc.) ; de deux quantificateurs universel \forall (« Quel que soit », « pour tout », (U+2200) ∀) et existentiel \exists (« il existe au moins un … tel que », (U+2203) ∃ ). Ceci permet de formuler des énoncés tels que « Tout x est P » et « Il existe un x tel que pour tout y, x entretient la relation R avec y » en symboles : LES CATÉGORIES D'ARISTOTE SONT LA TRANSPOSITION DES CATÉGORIES DES LANGUES, Pas de données chiffrées pour cet élément$