Search results

• Tacit extension
  ...[[inverse]] [[operation]]s to the [[projection (mathematics)|projection]] of the Cartesian product onto the set in question, but the tacit extension is * [[Injection (mathematics)]]
  1 KB (181 words) - 13:28, 3 May 2019
• Entitative graph
  ...far as the [[propositional calculus|propositional or sentential]] aspects of logic are concerned. * [[Charles Sanders Peirce|Peirce, C.S.]], ''Collected Papers of Charles Sanders Peirce'', Vols. 1–6, [[Charles Hartshorne]] and [[Paul We
  2 KB (200 words) - 14:26, 5 September 2017
• Directory:The Wikipedia Point of View/Wikipedia & Political Agendas
  ...ionhood and national identity, about the rights and wrongs and the justice of a cause, about genocide and war. ...ted Wiki ''fact'', and itself a piece of history This brings up all sorts of moral and ethical issues.
  2 KB (325 words) - 01:28, 30 June 2011
• Logical matrix
  ...rix affords a matrix representation of a <math>k\!</math>-adic [[relation (mathematics)|relation]]. * [[Universe of discourse]]
  5 KB (541 words) - 16:12, 11 November 2015
• Relation construction
  ...', the ''factor'', or the ''method of construction'', plus a specified set of other relations, called the ''faciens'', the ''ingredients'', or the ''maki [[Relation composition]] and [[relation reduction]] are special cases of relation constructions.
  5 KB (621 words) - 19:18, 14 November 2015
• Boolean function
  ...case where <math>k = 0,\!</math> the function is simply a constant element of <math>\mathbb{B}.</math> ...y 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
• Differential logic
  ...expressive capacity to describe change and diversity in logical universes of discourse. ...differential calculus of Leibniz and Newton augments the analytic geometry of Descartes.
  6 KB (662 words) - 22:28, 5 November 2015
• Boolean domain
  * [[Universe of discourse]] * [[Logic of relatives]]
  5 KB (561 words) - 19:54, 5 November 2015
• Parametric operator
  ...ath> in the '''parameter set''' <math>\Alpha\!</math> is an indexed family of operators <math>(\Omega_\alpha)_\Alpha = \{ \Omega_\alpha : \alpha \in \Alp * [[Universe of discourse]]
  5 KB (572 words) - 04:16, 7 November 2015
• Relative term
  ...ks, for example, &ldquo;lover&nbsp;of&nbsp;__&rdquo;, or &ldquo;giver&nbsp;of&nbsp;__&nbsp;to&nbsp;__&rdquo;. * [[Universe of discourse]]
  5 KB (599 words) - 20:20, 16 November 2015
• Multigrade operator
  ...' with ''parameter'' <math>k\!</math> in the set <math>\mathbb{N}\!</math> of non-negative integers. ...math> left tacit, as the appropriate application is implicit in the number of operands listed. Thus <math>\Omega (x_1, \ldots, x_k)\!</math> may be take
  5 KB (618 words) - 04:12, 7 November 2015
• Sole sufficient operator
  ...ate every operator in a specified class of operators.&nbsp; In the context of [[logic]], it is a logical operator that suffices to generate every [[boole * [[Universe of discourse]]
  5 KB (626 words) - 18:07, 7 November 2015
• Logical disjunction
  ...f two propositions, that produces a value of ''false'' if and only if both of its operands are false. The [[truth table]] of <math>p ~\operatorname{OR}~ q,</math> also written <math>p \lor q,\!</math>
  5 KB (656 words) - 00:40, 2 November 2015
• Logical conjunction
  ...of two propositions, that produces a value of ''true'' if and only if both of its operands are true. The [[truth table]] of <math>p ~\operatorname{AND}~ q,</math> also written <math>p \land q~\!</mat
  5 KB (658 words) - 02:00, 31 October 2015
• Descriptive science
  ...l knowledge, that seeks to discover what is true about a recognized domain of phenomena. * [[Universe of discourse]]
  5 KB (556 words) - 16:15, 4 November 2020
• Universe of discourse
  The term '''''universe of discourse''''' is generally attributed to Augustus De&nbsp;Morgan (1846).&n ...of our discourse are found, that field may properly be termed the universe of discourse. (Boole 1854/1958, p.&nbsp;42).</p>
  6 KB (702 words) - 19:14, 7 November 2015
• Logical equality
  ...al values, typically the values of two propositions, that produces a value of ''true'' if and only if both operands are false or both operands are true. The [[truth table]] of <math>p ~\operatorname{EQ}~ q,</math> also written <math>p = q,\!</math> <m
  5 KB (664 words) - 04:18, 4 November 2015
• Logical NNOR
  ...other words, it produces a value of ''false'' if and only if at least one of its operands is true. The [[truth table]] of <math>p ~\operatorname{NNOR}~ q,</math> also written <math>p \curlywedge q,
  5 KB (678 words) - 03:44, 5 November 2015
• Logical NAND
  ...n other words, it produces a value of ''true'' if and only if at least one of its operands is false. The [[truth table]] of <math>p ~\operatorname{NAND}~ q,</math> also written <math>p \stackrel{\cir
  5 KB (684 words) - 22:56, 4 November 2015
• Boolean-valued function
  A '''boolean-valued function''' is a function of the type <math>f : X \to \mathbb{B},</math> where <math>X\!</math> is an ar ...cteristic function, indicator function, predicate, or proposition. In all of these uses it is understood that the various terms refer to a mathematical
  7 KB (806 words) - 21:14, 5 November 2015

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