Search results

MyWikiBiz, Author Your Legacy — Tuesday October 21, 2025
Jump to navigationJump to search

Page title matches

Page text matches

  • ...|Aristotelian logic]] a '''syllogism''' is an argument consisting of three propositions. The last is called the conclusion, which is a necessary consequence of the Thus the syllogism consists of three propositions: the major, the minor, and the conclusion. and though each has two terms,
    2 KB (428 words) - 16:25, 14 February 2010
  • ...at is said to be "about" the subject matter of X, and produce the extended propositions Ep, Dp : EX -> B, which may be interpreted as being about specified collect Each of the operators E, D : X -> EX takes us from considering propositions p : X -> B, here viewed as "scalar fields" over X, to considering the corre
    9 KB (833 words) - 14:26, 22 May 2007
  • #REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions]]
    86 bytes (10 words) - 02:42, 9 September 2017
  • A compilation of medieval propositions drawn from diverse classical and other sources (ed. Jaqueline Hamesse, 1974
    403 bytes (49 words) - 13:05, 30 April 2009
  • ...he ''excluded middle'' (what to Aristotle isn't applicable to future tense propositions — the [[Problem of future contingents]]), and on ''[[Modal logic | mo ...ern [[quantification theory]]. Some of the later chapters deal with modal propositions, which assert or deny possibility or impossibility. Chapter 9 is famous fo
    8 KB (1,314 words) - 17:44, 25 January 2009
  • ...ford]] were a prohibition enacted in March 1277 against the teaching of 30 propositions in theology, logic and metaphysics enacted by [[Robert Kilwardby]], archbis Kilwardby’s list contained 10 [[logic|logical]] propositions whose teaching was prohibited, as follows
    2 KB (334 words) - 19:53, 18 January 2009
  • ...g the right products to the most lucrative markets and communicating value propositions in plain simple English.
    814 bytes (107 words) - 17:30, 26 March 2008
  • * the first deals with the conversion of propositions; ===Conversion of propositions===
    9 KB (1,457 words) - 19:14, 16 January 2013
  • {{DISPLAYTITLE:Functional Logic : Higher Order Propositions}} ...s about things in <math>X,</math> the first of a series of '''higher order propositions''' based on <math>X.</math>
    105 KB (15,890 words) - 03:12, 4 July 2013
  • ...' is a diagram representing the different ways in which each of the four [[propositions]] of the system are logically related ('opposed') to each of the others. |+ The Four Aristotelian Propositions
    9 KB (1,495 words) - 09:18, 19 January 2010
  • ...on]]''' is an operation on two logical values, typically the values of two propositions, that produces a value of ''true'' if and only if both of its operands are ...ion''', is an operation on two logical values, typically the values of two propositions, that produces a value of ''false'' if and only if both of its operands are
    16 KB (2,190 words) - 03:25, 30 October 2015
  • ** 10. The semantics of propositions Gabriel Nuchelmans; * Part V. Logic in the High Middle Ages: propositions and Modalities:
    4 KB (598 words) - 10:58, 8 March 2009
  • ===Table 4. An Equivalence Based on the Propositions as Types Analogy=== Table 4. An Equivalence Based on the Propositions as Types Analogy
    353 KB (17,505 words) - 16:10, 26 May 2007
  • ...order propositional expressions'', in particular, those that stem from the propositions on 1 and 2 variables. ...sion-forming operations of a calculus for [[boolean-valued functions]] or "propositions". The expressions of this calculus parse into data structures whose underl
    81 KB (10,378 words) - 02:22, 5 July 2013
  • ===Special Classes of Propositions=== ===Propositions as Types and Higher Order Types===
    22 KB (3,003 words) - 21:40, 2 July 2008
  • ===Table 4. An Equivalence Based on the Propositions as Types Analogy=== Table 4. An Equivalence Based on the Propositions as Types Analogy
    463 KB (31,052 words) - 15:00, 25 August 2007
  • The ''linear propositions'', {hom&nbsp;:&nbsp;'''B'''<sup>''n''</sup>&nbsp;&rarr;&nbsp;'''B'''} = ('' The ''positive propositions'', {pos&nbsp;:&nbsp;'''B'''<sup>''n''</sup>&nbsp;&rarr;&nbsp;'''B'''} = (''
    21 KB (2,994 words) - 15:24, 27 October 2008
  • ====Differential Propositions==== |+ '''Table 14.&nbsp; Differential Propositions'''
    396 KB (47,606 words) - 03:22, 26 April 2012
  • <td style="border:none;width:50%;">&nbsp;&#9726; [[Propositions As Types]]</td>
    3 KB (346 words) - 18:30, 27 May 2020
  • To denote lists of propositions and to detail their components, we use notations like:
    5 KB (906 words) - 18:12, 9 May 2008

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