Search results

• Logical equality
  '''Logical equality''' is an operation on two logical values, typically the values of two propo |+ style="height:30px" | <math>\text{Logical Equality}\!</math>
  5 KB (664 words) - 04:18, 4 November 2015
• Logical matrix
  ...rix affords a matrix representation of a <math>k\!</math>-adic [[relation (mathematics)|relation]]. * [[Logical equality]]
  5 KB (541 words) - 16:12, 11 November 2015
• Relation construction
  ...lational constructibility''' have to do with the ways that one [[relation (mathematics)|relation]] is determined by an indexed family or a sequence of other relat * [[Logical equality]]
  5 KB (621 words) - 19:18, 14 November 2015
• Logic Syllabus
  * [[Logical equality]] [[Category:Discrete mathematics]]
  3 KB (346 words) - 18:30, 27 May 2020
• Boolean function
  A '''finitary boolean function''' is a [[function (mathematics)|function]] of the form <math>f : \mathbb{B}^k \to \mathbb{B},</math> where * [[Logical equality]]
  5 KB (589 words) - 20:24, 5 November 2015
• Boolean domain
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  5 KB (561 words) - 19:54, 5 November 2015
• Differential logic
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  6 KB (662 words) - 22:28, 5 November 2015
• Parametric operator
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  5 KB (572 words) - 04:16, 7 November 2015
• Sole sufficient operator
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  5 KB (626 words) - 18:07, 7 November 2015
• Truth table
  ==Logical equality== '''[[Logical equality]]''' is an operation on two logical values, typically the values of two pro
  16 KB (2,190 words) - 03:25, 30 October 2015
• Multigrade operator
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  5 KB (618 words) - 04:12, 7 November 2015
• Relative term
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  5 KB (599 words) - 20:20, 16 November 2015
• Boolean-valued function
  In the formal sciences &mdash; mathematics, mathematical logic, statistics &mdash; and their applied disciplines, a bo * Mathematical Society of Japan, ''Encyclopedic Dictionary of Mathematics'', 2nd edition, 2 vols., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993.
  7 KB (806 words) - 21:14, 5 November 2015
• Logical disjunction
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  5 KB (656 words) - 00:40, 2 November 2015
• Logical conjunction
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  5 KB (658 words) - 02:00, 31 October 2015
• Logical NNOR
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  5 KB (678 words) - 03:44, 5 November 2015
• Logical NAND
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  5 KB (684 words) - 22:56, 4 November 2015
• Logic Live
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  3 KB (396 words) - 19:32, 17 September 2020
• Exclusive disjunction
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  6 KB (728 words) - 01:45, 31 October 2015
• Logical negation
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  6 KB (729 words) - 14:16, 5 November 2015
• Universe of discourse
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  6 KB (702 words) - 19:14, 7 November 2015
• Logic of relatives
  ...precisely, the '''logic of relative terms''', is the study of [[relation (mathematics)|relation]]s as represented in symbolic forms known as ''rhemes'', ''rhemat ...ion Algebras'', vol. 150 in &lsquo;Studies in Logic and the Foundations of Mathematics&rsquo;, Elsevier Science, 2006.
  7 KB (919 words) - 22:48, 10 November 2015
• Descriptive science
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  5 KB (556 words) - 16:15, 4 November 2020
• Hypostatic abstraction
  ...ntroduced [[Charles Sanders Peirce]] (CP&nbsp;4.235, &ldquo;[[The Simplest Mathematics]]&rdquo; (1902), in ''Collected Papers'', CP&nbsp;4.227&ndash;323). * [[Logical equality]]
  7 KB (915 words) - 18:58, 10 November 2015
• Continuous predicate
  ..., as described by Charles Sanders Peirce, is a special type of [[relation (mathematics)|relational predicate]] that arises as the limit of an iterated process of * [[Logical equality]]
  8 KB (1,058 words) - 04:08, 10 November 2015
• Normative science
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  5 KB (568 words) - 16:10, 4 November 2020
• Directory:Jon Awbrey
  [[Graph (mathematics)]] [[Logical equality]]
  15 KB (1,907 words) - 14:08, 9 October 2017
• User:Jon Awbrey/SYLLABUS
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  6 KB (706 words) - 19:02, 9 June 2010
• User:Jon Awbrey
  [[Graph (mathematics)]] [[Logical equality]]
  16 KB (2,092 words) - 14:20, 14 January 2021
• Ampheck
  * Peirce, C.S. (1902), &ldquo;The Simplest Mathematics&rdquo;. First published as CP&nbsp;4.227&ndash;323 in ''Collected Papers'' * [[Logical equality]]
  9 KB (1,221 words) - 15:04, 5 November 2015
• Logic of information
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  8 KB (1,038 words) - 03:24, 16 November 2015
• Logical implication
  ...ogical [[function (mathematics)|function]], a specific logical [[relation (mathematics)|relation]], and the various symbols that are used to denote this function ...ion while the implication is the ''asserted'' relation. In most fields of mathematics, it is treated as a variation in the usage of the single sign <math>{}^{\ba
  16 KB (2,147 words) - 20:18, 4 November 2015
• User:Jon Awbrey/OLDSANDBOX
  ...lize the concept of a [[binary relation]], such as the binary relations of equality and order that are denoted by the signs "=" and "<" in statements of the fo ...lize the concept of a [[binary relation]], such as the binary relations of equality and order that are denoted by the signs "=" and "<" in statements of the fo
  43 KB (6,715 words) - 13:25, 22 June 2009
• Relation (mathematics)
  In mathematics, a '''finitary relation''' is defined by one of the formal definitions give ...generalize the concept of a two-place relation, such as the relation of ''equality'' denoted by the sign &ldquo;<math>=\!</math>&rdquo; in a statement like <m
  20 KB (2,925 words) - 17:08, 14 November 2015
• Peirce's law
  ...gic : A Contribution to the Philosophy of Notation", ''American Journal of Mathematics'' 7 (1885), 180&ndash;202. Reprinted (CP&nbsp;3.359&ndash;403), (CE&nbsp;5 * [[Logical equality]]
  11 KB (1,526 words) - 04:14, 18 November 2015
• Zeroth order logic
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  10 KB (1,357 words) - 16:04, 8 November 2015
• User:Jon Awbrey/ARCHIVE
  ...h.edu/~bhl/bhl/BentleyMap/HTML/Images/JPEG/angellhall3.jpg Graduate Study, Mathematics], [http://www.umich.edu/ University of Michigan]. ...[http://www.uiuc.edu/navigation/buildings/altgeld.top.html Graduate Study, Mathematics], [http://www.uiuc.edu/ University of Illinois] at Urbana–Champaign.
  39 KB (4,682 words) - 14:55, 21 May 2007
• Relation reduction
  ...al reducibility''' have to do with the extent to which a given [[relation (mathematics)|relation]] is determined by a set of other relations, called the ''relatio * [[Logical equality]]
  29 KB (4,035 words) - 03:32, 15 November 2015
• Minimal negation operator
  ...oint of <math>\mathbb{B}^k~\!</math> is the unique point in the ''[[fiber (mathematics)|fiber]] of truth'' <math>[|s|]~\!</math> of a ''singular proposition'' <ma : In mathematics generally, the ''[[fiber (mathematics)|fiber]]'' of a point <math>y \in Y~\!</math> under a function <math>f : X
  23 KB (3,337 words) - 13:54, 3 September 2017
• Semeiotic
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  9 KB (1,162 words) - 20:54, 3 November 2015
• Pragmatic maxim
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  12 KB (1,764 words) - 04:32, 17 November 2015
• Relation theory
  ...spective of combinatorics, in other words, as a subject matter in discrete mathematics, with special attention to finite structures and concrete set-theoretic con ...lation has been developed quite literally from the beginnings of logic and mathematics, and because it has incorporated contributions from a diversity of thinkers
  25 KB (3,665 words) - 21:04, 16 November 2015
• Directory:Jon Awbrey/SANDBOX
  ...lize the concept of a [[binary relation]], such as the binary relations of equality and order that are denoted by the signs "=" and "<" in statements of the fo ...lize the concept of a [[binary relation]], such as the binary relations of equality and order that are denoted by the signs "=" and "<" in statements of the fo
  46 KB (7,067 words) - 04:10, 22 May 2010
• Propositional calculus
  * [[Logical equality]] * [[Relation (mathematics)|Relation]]
  17 KB (2,301 words) - 15:56, 7 November 2015
• Relation composition
  '''Relation composition''', or the composition of [[relation (mathematics)|relations]], is the generalization of function composition, or the composi The first order of business is to define the operation on [[relation (mathematics)|relations]] that is variously known as the ''composition of relations'', '
  65 KB (6,802 words) - 18:14, 14 November 2015
• United States dollar
  ...s that use the $ symbol). The U.S. dollar is divided into 100 ([[Equality (mathematics)|equal]]) [[cent (currency)|cent]]s. The U.S. dollar uses the decimal system, consisting of 100 ([[Equality (mathematics)|equal]]) cents (symbol ¢). In another division, there are 1,000 ''[[mill
  22 KB (3,436 words) - 13:39, 30 December 2017
• Directory:Jon Awbrey/Papers/Differential Propositional Calculus
  ====Operator Maps for the Logical Equality ''f''₉(u, v)==== =====Computation Summary for Equality=====
  158 KB (22,468 words) - 03:24, 27 December 2016
• User:Jon Awbrey/DIFF/B
  usually come up in mathematics, namely, in relation to the problem mathematics. In this discussion, I will invoke its application
  107 KB (9,168 words) - 14:23, 22 May 2007
• Dynamics of inquiry
  ...tand what a triadic relation is we need to understand what a ''[[relation (mathematics)|relation]]'' is, and here there are traditionally two ways of understandin * [[Logical equality]]
  24 KB (3,783 words) - 00:25, 16 November 2015
• Logical graph
  ...ve just provided. Although equational forms of reasoning are paramount in mathematics, they are less familiar to the student of conventional logic textbooks, who ...A Contribution to the Philosophy of Notation&rdquo;, ''American Journal of Mathematics'' 7 (1885), 180&ndash;202. Reprinted as CP&nbsp;3.359&ndash;403 and CE&nbs
  41 KB (5,845 words) - 14:26, 6 November 2015

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)