PRÉDICAT (ONTOLOGIE)

FICHIER PDF

FICHIER WMV(VIDEO)

Date/Heure :		Sigle : Code :
Nom Long :		Nom (Anglais) :
		Résumé (Anglais) :
Résumé :	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 :
Site Internet d'origine:	Ouvrir
Pays Région Ville
Site Web Extérieur :	Ouvrir	Email : Ecrire
Vidéo :
modification :	2015-07-20 01:19:07 création : 2015-07-20 00:32:45

CHIFFRES ASSOCIE(S) :

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

Objets associés à PRÉDICAT :

abonné :

articles

(Sans Date Actif)

arité

Disponible uniquement pour les membres connéctés

attribut

Disponible uniquement pour les membres connéctés

connecteur logique

Disponible uniquement pour les membres connéctés

5

fonction booléenne - opérateur booléen - opérateur logique

objet (ontologie)

Disponible uniquement pour les membres connéctés

1

ontologie

Disponible uniquement pour les membres connéctés

33

propriété

Disponible uniquement pour les membres connéctés

1

attribut

relation

Disponible uniquement pour les membres connéctés

2

relation (ontologie)

Disponible uniquement pour les membres connéctés

7

thème

Disponible uniquement pour les membres connéctés

1

triplet (ontologie)

Disponible uniquement pour les membres connéctés

articles

(Avec Date Passif)

les catégories d'aristote sont la transposition des catégories des langues

Disponible uniquement pour les membres connéctés

1966