Search results

Page title matches

• Differential logic/Introduction
  ...ts differential component treats the principles that govern the use of a ''differential logical calculus'', that is, a formal system with the expressive capacity t ...e. This augments ordinary propositional calculus in the same way that the differential calculus of Leibniz and Newton augments the analytic geometry of Descartes. ...
  137 KB (20,824 words) - 08:07, 18 December 2022

Page text matches

• Parametric operator
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  5 KB (544 words) - 08:47, 24 March 2023
• Logical matrix
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  4 KB (520 words) - 04:08, 10 May 2019
• Boolean domain
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. *[[Logic Live]] ...
  4 KB (516 words) - 07:58, 12 May 2019
• Multigrade operator
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  5 KB (590 words) - 08:46, 24 March 2023
• Sole sufficient operator
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...very operator in a specified class of operators.  In the context of [[logic]], it is a logical operator that suffices to generate every [[boolean-value ...
  5 KB (602 words) - 03:53, 2 June 2018
• Boolean function
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  5 KB (568 words) - 16:06, 8 September 2022
• Logical disjunction
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  5 KB (626 words) - 02:28, 9 March 2020
• Logical equality
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  5 KB (635 words) - 18:44, 26 December 2022
• Logical NNOR
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  5 KB (648 words) - 02:29, 9 March 2020
• Logical NAND
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  5 KB (654 words) - 02:29, 9 March 2020
• Exclusive disjunction
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  6 KB (697 words) - 02:28, 9 March 2020
• Logical negation
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  6 KB (699 words) - 02:29, 9 March 2020
• Logical conjunction
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  6 KB (799 words) - 04:12, 10 May 2019
• Boolean-valued function
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In the formal sciences — mathematics, mathematical logic, statistics — and their applied disciplines, a boolean-valued functio ...
  6 KB (785 words) - 04:12, 10 May 2019
• Hypostatic abstraction
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  7 KB (857 words) - 04:07, 10 May 2019
• Zeroth order logic
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...es, monadic predicate calculus, [[propositional calculus]], and sentential logic.  The term serves to mark a level of abstraction in which the more ine ...
  12 KB (1,599 words) - 02:29, 9 March 2020
• Ampheck
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...lculus, [[propositional calculus]], sentential calculus, or [[zeroth order logic]]. ...
  9 KB (1,221 words) - 08:46, 24 March 2023
• Truth table
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]] ...
  16 KB (2,160 words) - 02:29, 9 March 2020
• PlanetPhysics/Topic on Groupoid Symmetries and Duality
  #[[../DifferentialEquations/|differential equations]] and symmetry #Symmetry, logic and categorical logics ...
  2 KB (188 words) - 16:15, 12 September 2020
• Triadic relation
  ...medium|☞}} This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In logic, mathematics, and semiotics, a '''triadic relation''' is an important speci ...
  20 KB (2,616 words) - 11:47, 25 November 2023