Search results

• Boolean function
  ...e integer. In the case where <math>k = 0,\!</math> the function is simply a constant element of <math>\mathbb{B}.</math> ...ns. These play a basic role in questions of [[complexity theory]] as well as the design of circuits and chips for digital computers.
  5 KB (589 words) - 20:24, 5 November 2015
• Boolean domain
  ...say, <math>\mathbb{B} = \{ 0, 1 \},</math> whose elements are interpreted as [[logical value]]s, typically, <math>0 = \operatorname{false}</math> and <m ...h>x\!</math> is a [[variable]] that takes its value from a boolean domain, as <math>x \in \mathbb{B}.</math>
  5 KB (561 words) - 19:54, 5 November 2015
• Boolean-valued function
  ...<math>X\!</math> is an arbitrary set and where <math>\mathbb{B}</math> is a [[boolean domain]]. ...on. In all of these uses it is understood that the various terms refer to a mathematical object and not the corresponding sign or syntactic expression.
  7 KB (806 words) - 21:14, 5 November 2015
• Continuous predicate
  ...pecial type of [[relation (mathematics)|relational predicate]] that arises as the limit of an iterated process of [[hypostatic abstraction]]. ...cate to represent is the form of connection between the different subjects as expressed in the propositional ''form''.&nbsp; What I mean by &ldquo;everyt
  8 KB (1,058 words) - 04:08, 10 November 2015
• Hypostatic abstraction
  ...ion''.&nbsp; The object of discussion or thought thus introduced is termed a ''[[hypostatic object]]''. ...ntroduced [[Charles Sanders Peirce]] (CP&nbsp;4.235, &ldquo;[[The Simplest Mathematics]]&rdquo; (1902), in ''Collected Papers'', CP&nbsp;4.227&ndash;323).
  7 KB (915 words) - 18:58, 10 November 2015
• Multigrade operator
  A '''multigrade operator''' <math>\Omega\!</math> is a ''[[parametric operator]]'' with ''parameter'' <math>k\!</math> in the set ...math> is typically denoted with the parameter <math>k\!</math> left tacit, as the appropriate application is implicit in the number of operands listed.
  5 KB (618 words) - 04:12, 7 November 2015
• Computer software
  ...onal]] form which translates into being the [[graph (mathematics)|map]] of a ''realization'' [[digital network|network]] (see [[VHDL]]). ...ssor, which enables a user to perform a task, and [[system software]] such as an [[operating system]], which enables other software to run properly, by i
  14 KB (2,076 words) - 13:33, 31 October 2012
• Logical implication
  ...tion, relation, and symbols in question it is first necessary to establish a few ideas about the connections among them. ...oximations to the concept of logical implication are expressed in ordinary language by means of linguistic forms like the following:
  16 KB (2,147 words) - 20:18, 4 November 2015
• Ampheck
  ...ating all of the other operators in the subject matter variously described as [[boolean function]]s, monadic predicate calculus, [[propositional calculus ...s ''false''. Hence, the value of <math>x \curlywedge x</math> is the same as that of <math>\overline {x}</math>; and the value of <math>\underline {x \
  9 KB (1,221 words) - 15:04, 5 November 2015
• Zeroth order logic
  ...positional calculus]], and sentential logic.&nbsp; The term serves to mark a level of abstraction in which the more inessential differences among these ...abstract type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}</math> in a number of different languages for zeroth order logic.
  10 KB (1,357 words) - 16:04, 8 November 2015
• Logic of relatives
  ...reatment of relations by way of their corresponding relative terms affords a distinctive perspective on the subject, even though all angles of approach ...ning with his 1870 paper &ldquo;[[Logic of Relatives (1870)|Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the
  7 KB (919 words) - 22:48, 10 November 2015
• Logic Live
  <font size="3">&#9758;</font> This page serves as a '''focal node''' for a collection of related resources. * [[Relation (mathematics)|Relation]]
  3 KB (396 words) - 19:32, 17 September 2020
• Directory:Jon Awbrey
  [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language] [http://intersci.ss.uci.edu/wiki/index.php/Propositions_As_Types Propositions As Types]
  15 KB (1,907 words) - 14:08, 9 October 2017
• Wikipedia Vandalism/Craig Walton
  ...known is a massive fan of football as all who know him will testify and is a season ticket holder at Anfield where he follows his beloved 'Redmen', Live Early life was hard for a young Craig Walton as he lived on a farm in Jersey where he grew up amongst various animals including his boyho
  5 KB (836 words) - 20:07, 3 July 2021
• User:Jon Awbrey
  [https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Overview Cactus Language] [https://oeis.org/wiki/Propositions_As_Types_Analogy Propositions As Types Analogy]
  16 KB (2,092 words) - 14:20, 14 January 2021
• Propositional calculus
  ...''propositional logic'' (or ''sentential logic''). Propositional logic is a domain of formal subject matter that is, up to somorphism, constituted by t ...ubset of these expressions, plus a set of transformation rules that define a binary relation on the space of expressions.
  17 KB (2,301 words) - 15:56, 7 November 2015
• Truth table
  ...</math> where <math>k\!</math> is a non-negative integer and <math>\mathbb{A}</math> is the domain of logical values <math>\{ \operatorname{false}, \ope ...also possible, depending on the overall representation of truth functions as boolean functions. The remainder of this article assumes the usual represe
  16 KB (2,190 words) - 03:25, 30 October 2015
• Peirce's law
  '''Peirce's law''' is a formula in [[propositional calculus]] that is commonly expressed in the fol ...calculus determines whether Peirce's law is taken as an axiom or proven as a theorem.
  11 KB (1,526 words) - 04:14, 18 November 2015
• Relation (mathematics)
  In mathematics, a '''finitary relation''' is defined by one of the formal definitions given b ...ation of ''order'' denoted by the sign &ldquo;<math>{<}\!</math>&rdquo; in a statement like <math>5 < 12.\!</math>&nbsp; Relations that involve two ''pl
  20 KB (2,925 words) - 17:08, 14 November 2015
• Exclusive disjunction
  ...wo logical values, typically the values of two propositions, that produces a value of ''true'' just in case exactly one of its operands is true. * [[Relation (mathematics)|Relation]]
  6 KB (728 words) - 01:45, 31 October 2015

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