Большой англо-русский и русско-английский словарь

falsehood symbol

falsehood symbol — Математика: символ лжи … Универсальный англо-русский словарь
символ лжи — Mathematics: falsehood symbol … Универсальный русско-английский словарь
Law of excluded middle — This article uses forms of logical notation. For a concise description of the symbols used in this notation, see Table of logic symbols. In logic, the law of the excluded middle states that the propositional calculus formula P ∨ ¬ P ( P or not P… … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia

History of logic — Philosophy ( … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia

Om — For other uses, see Om (disambiguation). Omkara redirects here. For the film, see Omkara (film). Devanāgari Aum or Om Om or Aum (also … Wikipedia
On Christian Doctrine — (Latin: De Doctrina Christiana ) is the primary theological text written by St. Augustine of Hippo. It consists of four books that describe how to interpret and teach the Scriptures. The first three of these books were published in 397 and the… … Wikipedia

Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia