- negation of conditional
- мат. отрицание условного предложения
Большой англо-русский и русско-английский словарь. 2001.
negation of conditional
Смотреть что такое "negation of conditional" в других словарях:
Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… … Wikipedia
Corresponding conditional — This article is about the term corresponding conditional as it is used in logic In logic, the corresponding conditional of an argument (or derivation) is a material conditional whose antecedent is the conjunction of the argument s (or derivation… … Wikipedia
Material conditional — The material conditional, also known as material implication, is a binary truth function, such that the compound sentence p→q (typically read if p then q or p implies q ) is logically equivalent to the negative compound: not (p and not q). A… … Wikipedia
Strict conditional — In logic, a strict conditional is a material conditional that is acted upon by the necessity operator from modal logic. For any two propositions p and q, the formula p ightarrow q says that p materially implies q while Box (p ightarrow q) says… … Wikipedia
connective — connectively, adv. connectivity /kon ek tiv i tee/, n. /keuh nek tiv/, adj. 1. serving or tending to connect: connective remarks between chapters. n. 2. something that connects. 3. Gram. a word used to connect words, phrases, clauses, and… … Universalium
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Bulgarian language — Not to be confused with Bulgar language. Bulgarian Български език Bălgarski ezik Spoken in Bulgaria, Turkey, Serbia, Greece, Ukraine, Moldova, Romania, Albania, Kosovo, Repub … Wikipedia
List of French in Action episodes — Leçon 1 Orientation= An introduction to French in Action: its creation, its components, and its functioning. How to work with the video programs and how to integrate them with the audio and print components. This is the only program in English;… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
English modal verb — English grammar series English grammar Contraction Disputes in English grammar English compound English honorifics English personal pronouns English plural English relative clauses English verbs English irregular verbs English moda … Wikipedia
Rete algorithm — The Rete algorithm is an efficient pattern matching algorithm for implementing production rule systems. The Rete algorithm was designed by Dr Charles L. Forgy of Carnegie Mellon University, first published in a working paper in 1974, and later… … Wikipedia
