About 50 results
Open links in new tab
  1. What is the logical operator for but? - Mathematics Stack Exchange

    An alternative way of conveying the same information would be to say "I am fine and he has flu.". Often, the word but is used in English to mean and, especially when there is some contrast or conflict …

  2. logic - What is the difference between propositional constants ...

    Sep 28, 2023 · It is common to represent propositional constants by A, B, and C, propositional variables by P, Q, and R, and schematic letters are often Greek letters, most often φ, ψ, and χ. I understand …

  3. What's the difference between predicate and propositional logic?

    Propositional logic (also called sentential logic) is logic that includes sentence letters (A,B,C) and logical connectives, but not quantifiers. The semantics of propositional logic uses truth assignments to the …

  4. Is a propositional function a proposition in propositional logic ...

    Jul 7, 2024 · In propositional logic there are no propositional functions because there are no predicates and variables in the syntax. See Mendelson's example: the two mathematical statements "x is prime" …

  5. How to translate "When" in propositional logic?

    Oct 28, 2020 · The suggestions given are fine, but there is not always a direct read over from natural language to formal logic: when could mean "whenever" but there could, in natural language, be an …

  6. Is a propositional variable a proposition? - Mathematics Stack Exchange

    Aug 7, 2022 · 1 Firstly, calling a propositional variable a proposition is prone to induce complications, at least, conceptually, if not operationally, for there is a clear difference between stating that (a variable) …

  7. Translating "therefore" in propositional logic and using contradictions ...

    Aug 3, 2021 · Translating "therefore" in propositional logic and using contradictions to prove an argument. Ask Question Asked 4 years, 6 months ago Modified 2 years, 9 months ago

  8. Newest 'propositional-calculus' Questions - Mathematics Stack Exchange

    Dec 31, 2025 · Appropriate for questions about truth tables, conjunctive and disjunctive normal forms, negation, and implication of unquantified propositions. Also for general questions about the …

  9. Why isn’t ‘because’ a logical connective in propositional logic?

    39 In simple terms, could someone explain why there is not a logical connective for ‘because’ in propositional logic like there is for ‘and’ and ‘or’? Is this because the equivalent of ‘because’ is the …

  10. Using the distributivity law for propositional logic

    Using the distributivity law for propositional logic Ask Question Asked 13 years ago Modified 3 years, 2 months ago