Search results

• Mathematical logic (category Hatnote templates with errors) (section Symbolic logic)
  formal philosophical logic and mathematics. "Mathematical logic, also called 'logistic', 'symbolic logic', the 'algebra of logic', and, more recently,
  71 KB (8,417 words) - 16:29, 6 February 2024
• If and only if (category Portal templates with all redlinked portals)
  However, some texts of mathematical logic (particularly those on first-order logic, rather than propositional logic) make a distinction between these, in
  19 KB (2,394 words) - 22:57, 6 February 2024
• Logical consequence (category Portal templates with all redlinked portals)
  Abstract algebraic logic Ampheck Boolean algebra (logic) Boolean domain Boolean function Boolean logic Causality Deductive reasoning Logic gate Logical graph
  17 KB (1,990 words) - 19:54, 8 February 2024
• Philosophy of information (category Portal templates with all redlinked portals) (section Logic of information)
  artificial intelligence, logic of information, cybernetics, social theory, ethics and the study of language and information. The logic of information, also
  11 KB (1,080 words) - 19:29, 6 February 2024
• Logic in computer science (category Portal templates with all redlinked portals) (section Logic applications for computers)
  Use of concepts from logic for computer applications Logic plays a fundamental role in computer science. Some of the key areas of logic that are particularly
  17 KB (1,838 words) - 18:32, 6 February 2024
• Logic (category Portal templates with all redlinked portals) (section Philosophy of logic and philosophical logic)
  Philosophy:Classical logic Classical logic is distinct from traditional or Aristotelian logic. It encompasses propositional logic and first-order logic. It is "classical"
  156 KB (16,126 words) - 17:13, 6 February 2024
• Logical connective (category Portal templates with all redlinked portals)
  commutative and idempotent in classical logic, most varieties of many-valued logic and intuitionistic logic. The same is true about distributivity of
  31 KB (3,231 words) - 19:31, 6 February 2024
• Probability (category Portal templates with all redlinked portals)
  meaning. These formal terms are manipulated by the rules of mathematics and logic, and any results are interpreted or translated back into the problem domain
  39 KB (4,915 words) - 00:24, 7 February 2024
• Bayesian probability (category Portal templates with all redlinked portals)
  en). The Logic of Scientific Discovery (2nd ed.). Routledge. p. 57. ISBN 0-415-27843-0. https://books.google.com/books?id=T76Zd20IYlgC&q=logic+of+scientific+discovery
  33 KB (3,448 words) - 19:52, 8 February 2024
• Maximum a posteriori estimation (category Portal templates with all redlinked portals)
  Short description: Method of estimating the parameters of a statistical model In Bayesian statistics, a maximum a posteriori probability (MAP) estimate
  10 KB (1,481 words) - 23:47, 6 February 2024
• Logical conjunction (category Portal templates with all redlinked portals)
  ete_Math/2%3A_Logic/2.2%3A_Conjunctions_and_Disjunctions.  "Conjunction, Negation, and Disjunction". https://philosophy.lander.edu/logic/conjunct.html
  17 KB (1,364 words) - 18:21, 6 February 2024
• Computer science (category Wikipedia pages with incorrect protection templates)
  mathematics, physics, biology, Earth science, statistics, philosophy, and logic. Computer science is considered by some to have a much closer relationship
  79 KB (7,051 words) - 20:13, 6 February 2024
• Interval estimation (category Portal templates with all redlinked portals) (section Fuzzy logic)
  This process involves fuzzification, fuzzy logic rule evaluation, and defuzzification. When looking at fuzzy logic rule evaluation, membership functions convert
  19 KB (2,526 words) - 19:33, 6 February 2024
• Logical truth (category Portal templates with all redlinked portals) (section Non-classical logics)
  truth. Contradiction False (logic) Logical truth table, a mathematical table used in logic Satisfiability Tautology (logic) (for symbolism of logical truth)
  10 KB (1,229 words) - 16:47, 6 February 2024
• Infinity (category Hatnote templates with errors) (section Logic)
  Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory". The Bulletin of Symbolic Logic 16 (3): 359–377. doi:10.2178/bsl/1286284558. https://www
  53 KB (5,918 words) - 23:21, 8 February 2024
• Mathematical proof (category Portal templates with all redlinked portals) (section Inductive logic proofs and Bayesian analysis)
  frequently used as an assumption for further mathematical work. Proofs employ logic expressed in mathematical symbols, along with natural language which usually
  37 KB (4,631 words) - 21:38, 6 February 2024
• Negation (category Portal templates with all redlinked portals)
  and intuitionistic logic, they do not work in paraconsistent logic, where contradictions are not necessarily false. In classical logic, we also get a further
  18 KB (2,153 words) - 19:10, 6 February 2024
• Contradiction (category Portal templates with all redlinked portals) (section In formal logic)
  yield full classical logic. Minimal logic + LEM + EFQ yields classical logic. PR entails but is not entailed by LEM in minimal logic. If the formula B in
  20 KB (2,691 words) - 15:53, 6 February 2024
• Logical disjunction (category Portal templates with all redlinked portals)
  "Disjunction | logic" (in en). https://www.britannica.com/topic/disjunction-logic.  Józef Maria Bocheński (1959), A Précis of Mathematical Logic, translated
  16 KB (1,775 words) - 18:12, 8 February 2024
• Hypothesis (category Wikipedia pages with incorrect protection templates)
  or thought. A different meaning of the term hypothesis is used in formal logic, to denote the antecedent of a proposition; thus in the proposition "If P
  21 KB (2,575 words) - 21:10, 6 February 2024

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