propositional variable

propositional variable
лог. пропорциональная переменная

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

Игры ⚽ Нужен реферат?

Смотреть что такое "propositional variable" в других словарях:

  • Propositional variable — In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false. Propositional variables are the basic building blocks of propositional formulas, used in… …   Wikipedia

  • propositional variable — noun A variable that can either be true or false …   Wiktionary

  • 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

  • propositional function — n. Logic an expression containing at least one variable, that becomes a proposition when a constant is substituted for the variable (Ex.: x is a man) …   English World dictionary

  • propositional function — Logic. See sentential function. [1900 05] * * * Sentencelike expression that may be thought of as obtained from a sentence by substituting variables for constants occurring in the sentence. For example, x was a parent of y may be thought of as… …   Universalium

  • Propositional directed acyclic graph — A propositional directed acyclic graph (PDAG) is a data structure that is used to represent a Boolean function. A Boolean function can be represented as a rooted, directed acyclic graph of the following form: * Leaves are labeled with op (true),… …   Wikipedia

  • Variable proposicional — En lógica matemática, una variable proposional (también llamada variable sentencial o letra sentencial) es una variable que puede ser verdadera o falsa. Las variables proposicionales son los bloques de construcción básicos de las fórmulas… …   Wikipedia Español

  • Implicational propositional calculus — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… …   Wikipedia

  • Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»