Accueil > Termes > Français (FR) > logique des predicats
logique des predicats
A logic that includes the simpler propositional logic plus individual variables (x, y, z, etc. ), individual constants ( a, b, c, etc. -- these are the same as proper names), predicate variables (P, Q, R, S, etc) these range over monadic, or “one-place”, predicates like “is red”, “jumps,” etc. , dyadic, or “two-place”, predicates like “is the sister of,” “is the square root of,” and so on with three, four, etc. Place predicates, and the universal and existential quantifiers. For example, (x) (Px) means “For every x, Px” or “For every x, P is true of X” (note that “(x)” means “for every x. . . . ”--this is the universal quantifier. Similarly, (x) (Px Qx) means “For every x, if Px, then Qx” or “All Ps are Qs. ” The existential quantifier -- Ex -- means “For some x”, as for example Ex (Px) means “For some x, Px” or “There exists an x such that P is true of it. ” Predicate logic is often developed with the additional of a relational constant, identity (=). Predicate logic is a first order logic in that there is quantification over individuals but not over predicates.
- Partie du discours : nom
- Synonyme(s) :
- Blossaire :
- Secteur d’activité/Domaine : Philosophie
- Catégorie : Philosophie générale
- Company:
- Produit :
- Acronyme-Abréviation :
Autres langues :
Commentaires
Les termes dans Actualités
Billy Morgan
Sports; Surf des neiges
Le snowboarder britannique Billy Morgan est le premier de toute l'histoire de ce sport à avoir réalisé un quadruple cork 1800. Le représentant de la Grande-Bretagne aux Jeux olympiques d'hiver 2014 à Sotchi se trouvait à Livigno, en Italie, lorsqu'il a réussi cet exploit. Il s'agit d'un saut dans l'axe latéral ou vers le bas avec quatre flips et cinq retournements. ...
Marzieh Afkham
Radiodiffusion et réception; Nouvelles
Madame Marzieh Afkham, première porte-parole du ministère des Affaires étrangères du pays, dirigera une mission en Asie de l'est, a informé l'Agence de presse d'État. Sa nomination n'ayant pas encore été annoncée officiellement, sa destination reste inconnue. Madame Afkham ne sera que la deuxième ambassadrice que l'Iran ait jamais eue. En vertu ...
Paquet hebdomadaire
Langue; Services en ligne; Argot; Internet
Hebdomadaire de paquet ou de « Paquete Semanal » comme on l'appelle à Cuba est un terme utilisé par les Cubains pour décrire les informations collectées à partir de l'internet à l'extérieur de Cuba et sauvegardés sur des disques durs à transporter vers Cuba elle-même. Paquets hebdomadaires sont ensuite vendus à de cubain sans accès à internet, lui permettant ...
Asian Infrastructure Investment Bank (AIIB)
Banque; Services bancaires d'investissement
La Banque asiatique d'investissement Infrastructure (AIIB) est une institution financière internationale mis en place pour répondre aux besoins en Asie pour le développement de l'infrastructure. Selon la Banque asiatique de développement, l'Asie a besoin de $ 800 milliards chaque année pour les routes, de ports, de centrales électriques ou d'autres projets ...
Spartiate
Services en ligne; Internet
Spartan est le nom de code donné au nouveau navigateur de Microsoft Windows 10 qui va remplacer Microsoft Windows Internet Explorer. Le nouveau navigateur sera construit par rapport au sol et ne pas tenir compte de n'importe quel code de la plate-forme de l'IE. Il a un nouveau moteur de rendu qui est conçu pour être compatible avec la façon dont le ...
Termes en vedette
Victoria's Secret
Un détaillant américain de produits de beauté, lingerie et vêtements mode féminin de qualité premium. Victoria Secret est connu pour son défilé mode ...
Contributeur
Modifié par
Blossaires en vedette
Browers Terms By Category
- Fibres manufacturées(1805)
- Tissu(212)
- Sewing(201)
- Fibres et couture(53)
Textiles(2271) Terms
- Lubrifiants industriels(657)
- Cranes(413)
- Appareils à laser(243)
- Convoyeurs(185)
- Tour(62)
- Matériel de soudage (52)
Machineries industrielles(1734) Terms
- Salle de bal(285)
- Danse du ventre(108)
- Menage de ban(101)
- Chorégraphie(79)
- Danse historique(53)
- Africain-américain(50)
Danse(760) Terms
- Chimie organique(2762)
- Toxicologie(1415)
- Chimie générale(1367)
- Chimie inorganique(1014)
- Chimie atmosphérique(558)
- Chimie analytique(530)
Chimie(8305) Terms
- Osteopathy(423)
- Acuponcture(18)
- Psychothérapie alternative(17)
- Ayurvédisme (9)
- Homéopathie(7)
- Naturopathie(3)