propositional

listen to the pronunciation of propositional
İngilizce - Türkçe
teklif niteliğinde
Propositional meaning
Bir kelimenin gerçek anlamında mı yoksa mecazi anlamında mı kullanıldığını belirten anlam
propositional statement
Önerme
propositional calculus
(Felsefe) Önermeli mantık
propositional function
önermeli fonksiyon, önermeli işlev
propositional logic
(Felsefe) Önermeli mantık
propositional calculus
onermeler hesabi
İngilizce - İngilizce
{a} considered as a proposition
{s} of a proposal, of a suggestion; of a mathematical proposition
Pertaining to, or in the nature of, a proposition; considered as a proposition; as, a propositional sense
adj. propositional attitude propositional calculus propositional function
Relating to, or limited to, propositions
propositional attitude
A relational mental state connecting a person to a proposition, such as believing that, desiring that, or hoping that
propositional calculus
propositional logic
propositional function
An expression containing algebraic symbols that serve to represent words or other elements of a sentence or proposition
propositional logic
A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives
propositional variable
A variable that can either be true or false
propositional statement
A propositional statement is a declarative term used in logic and mathematics in which something is affirmed or denied through demonstration, operation or fact
propositional calculus
(Felsefe) A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them, propositional logic
propositional calculus
(Felsefe) The branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only ― called also sentential calculus
propositional logic
(Felsefe) A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them, propositional calculus
propositional attitude
Psychological state expressed by a verb that may take a subordinate clause beginning with "that" as its complement. Verbs such as "believe," "hope," "fear," "desire," "intend," and "know" all express propositional attitudes. The linguistic contexts created by their use are typically referentially opaque (see intentionality) in the sense that the substitution of co-referential expressions within them may change the "truth value" (true or false) of the containing sentence. Thus, to use Bertrand Russell's example, though it is true that Peter believes that Walter Scott was a Scotsman, it may be false that he believes that the author of Waverley (who is Scott) was a Scotsman
propositional calculus
The branch of symbolic logic that deals with the relationships formed between propositions by connectives such as and, or, and if as opposed to their internal structure. Formal system of propositions and their logical relationships. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic units. Simple (atomic) propositions are denoted by lowercase Roman letters (e.g., p, q), and compound (molecular) propositions are formed using the standard symbols for "and," for "or," for "if . . . then," and for "not." As a formal system, the propositional calculus is concerned with determining which formulas (compound proposition forms) are provable from the axioms. Valid inferences among propositions are reflected by the provable formulas, because (for any formulas A and B) A B is provable if and only if B is a logical consequence of A. The propositional calculus is consistent in that there exists no formula A in it such that both A and A are provable. It is also complete in the sense that the addition of any unprovable formula as a new axiom would introduce a contradiction. Further, there exists an effective procedure for deciding whether a given formula is provable in the system. See also logic, predicate calculus, laws of thought
propositional function
An expression having the form of a proposition but containing undefined symbols for the substantive elements and becoming a proposition when appropriate values are assigned to the symbols. 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 obtained from "Adam was a parent of Abel." A propositional function therefore has no truth-value, becoming true or false only when its free variables are replaced by constants of appropriate syntactic categories (e.g., "Abraham was a parent of Isaac")
propositional logic
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
implicational propositional calculus
A minimalist version of propositional calculus which uses only the logical connectives \to ("implies") and \bot ("false")
propositional