conditional formula
Смотреть что такое "conditional formula" в других словарях:
Conditional preservation of the saints — The Five Articles of Remonstrance Conditional election Unlimited atonement Total depravity … Wikipedia
Conditional probability — The actual probability of an event A may in many circumstances differ from its original probability, because new information is available, in particular the information that an other event B has occurred. Intuition prescribes that the still… … Wikipedia
Conditional sentence — For the non custodial punishment for a crime in Canada, see conditional sentence (Canada). In grammar, conditional sentences are sentences discussing factual implications or hypothetical situations and their consequences. Languages use a variety… … Wikipedia
Conditional expectation — In probability theory, a conditional expectation (also known as conditional expected value or conditional mean) is the expected value of a real random variable with respect to a conditional probability distribution. The concept of conditional… … Wikipedia
Conditional quantifier — In logic, a conditional quantifier is a kind of Lindström quantifier (or generalized quantifier) QA that, relative to a classical model A, satisfies some or all of the following conditions ( X and Y range over arbitrary formulas in one free… … Wikipedia
Formula language — The Formula language is a scripting language used by Lotus Notes. It is often referred to as @Formula language (pronounced at formula ) because many language elements start with the @ character.It was created by Ray Ozzie during the early… … 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
Counterfactual conditional — For other uses, see Counterfactual (disambiguation). A counterfactual conditional, subjunctive conditional, or remote conditional, abbreviated cf, is a conditional (or if then ) statement indicating what would be the case if its antecedent were… … Wikipedia
2006 Formula One season — F1 2006 redirects here. For the video games based on the 2006 Formula One season, see F1 06 F1 CE . The 2006 Formula One season was the 57th FIA Formula One World Championship season. It began on March 12, 2006 included 18 races, and ended on… … Wikipedia
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
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