Fr.: de position, positionnel
Relating to or determined by position.
Fr.: astronomie de position
The branch of astronomy that is used to determine the location of objects on the celestial sphere, as seen at a particular date, time, and location on the Earth. Same as → spherical astronomy.
→ positional; → astronomy.
Fr.: notation positionnelle
A system of representing → numbers in which the → position of a → digit in a string of digits affects its value. The decimal system is a positional notation for expressing numbers. Same as → place-value notation and → positional number system.
→ positional; → notation.
positional number system
rÃ¢žmÃ¢n-e adadi-ye neheši
Fr.: systÃ¨me de numÃ©ration positionnel
A → number system in which the value of each digit is determined by which place it appears in the full number. The lowest place value is the rightmost position, and each successive position to the left has a higher place value. In the → number system conversion, the rightmost position represents the "ones" column, the next position represents the "tens" column, the next position represents "hundreds", etc. The values of each position correspond to powers of the → base of the number system. For example, in the usual decimal number system, which uses base 10, the place values correspond to powers of 10. Same as → place-value notation and → positional notation. See also → number system conversion.
→ positional; → number; → system.
Logic: Of, relating to, or in the form of a → proposition.
→ proposition; → -al.
Fr.: constante propositionnelle
Logic: A → propositional symbol that represents a → specific → proposition.
→ propositional; → constant.
guyik-e gozâre-yi, ~ gozaarehâ
Fr.: logique propositionnelle
A branch of logic that deals with the → truth values of logical statements (→ sentences, → propositions) and uses → logical connectives to build more complex → expressions. The distinctive feature of propositional logic is that it does not deal with logical relationships and properties that involve the parts of a statement smaller than the simple statements making it up. The propositions are evaluated as → true or → false. A more expressive system is provided by the → first-order logic.
→ proposition; → -al; → logic.
Fr.: symbole propositionnel
An upper case letter, e.g. "A," "B," "C," etc. representing a → proposition. Propositional symbols are divisible into two sorts: → propositional constants and → propositional variables.
→ propositional; → symbol.
Fr.: variable propositionnel
Logic: A → propositional symbol that represents any → proposition whatsoever.
→ propositional; → variable.