0%

Words related to sentential

sen·ten·tial
S s

  • functional calculus

    the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers.

  • sentential calculus

    the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations of more elementary statements.

  • bound variable

    (in the functional calculus) a variable occurring in a quantifier and in a sentential function within the scope of the quantifier.

  • existential quantifier

    quantifier

  • free variable

    (in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it.

  • propositional calculus

    propositional logic
All about water Download all about WATER in pdf