- valid consequence
- мат. обоснованное следствие
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Logical consequence — Therefore redirects here. For the symbol, see therefore sign. Logical consequence is a fundamental concept in logic. It is the relation that holds between a set of sentences (or propositions) and a sentence (proposition) when the former entails… … Wikipedia
Rational consequence relation — A rational consequence relation vdash is a logical consequence relation satisfying the properties listed below.PropertiesA rational consequence relation satisfies::; REF : Reflexivity heta vdash hetaand the so called Gabbay Makinson rules::; LLE … Wikipedia
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Baptism — • One of the Seven Sacraments of the Christian Church; frequently called the first sacrament , the door of the sacraments , and the door of the Church Catholic Encyclopedia. Kevin Knight. 2006. Baptism Baptism … Catholic encyclopedia
Argument — This article is about the subject as it is studied in logic and philosophy. For other uses, see Argument (disambiguation). In philosophy and logic, an argument is an attempt to persuade someone of something, by giving reasons or evidence for… … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
MISHPAT IVRI — This article is arranged according to the following outline: definition and terminology RELIGIOUS HALAKHAH AND LEGAL HALAKHAH common features law and morals de oraita and de rabbanan distinguishing between the two categories legal consequences of … Encyclopedia of Judaism
History of logic — Philosophy ( … Wikipedia
South African contract law — is essentially a modernised version of the Roman Dutch law of contract, [1] which is itself rooted in Roman law. In the broadest definition, a contract is an agreement entered into by two or more parties with the serious intention of creating a… … Wikipedia
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia