Connex (logic)

Connex (logic)

In logic, one object has a connex relation to another exactly when for all instances of the first type of object and for all instances of the second type of object; either the first has the relationship with the second, or the the second has the relationship with the first. This is formally stated in a first order formal language as:

:forall x forall y (P(x,y) or P(y,x))


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Total relation — In mathematics, a binary relation R over a set X is total if for all a and b in X, a is related to b or b is related to a (or both). In mathematical notation, this is Total relations are sometimes said to have comparability. Examples For example …   Wikipedia

  • Liste der Labelcodes — Diese unvollständige Liste enthält Labelcodes, die Kennzahlen der Gesellschaft zur Verwertung von Leistungsschutzrechten für Plattenlabel sind. Inhaltsverzeichnis 1 LC 00001 bis 00499 2 LC 00500 bis 00999 3 LC 01000 bis 01499 4 …   Deutsch Wikipedia

  • ARM (архитектура) — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. У этого термина существуют и другие значения, см. ARM …   Википедия

  • List of MS-DOS games — This is an unexhaustive list of games available for the MS DOS operating system, organized alphabetically by name.See Lists of video games for related lists.0 9* 1 0 Soccer Manager Wizard Games of Scotland (1992) * 1 Ton Martin Magnusson (1996) * …   Wikipedia

  • Arquitectura ARM — Este artículo o sección se encuentra desactualizado. Es posible que la información suministrada aquí haya cambiado o sea insuficiente …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”