Newbetuts
.
New posts in propositional-calculus
The truth value of $(P):(\exists m \in \mathbb{Z}) (\forall y\in \mathbb{Q}) : my\in\mathbb{N}$
discrete-mathematics
logic
solution-verification
propositional-calculus
predicate-logic
What are the rules for the use of dots rather than parentheses in logical formulae?
logic
propositional-calculus
predicate-logic
logic-translation
Need help regarding a proof in First Order Logic
logic
propositional-calculus
first-order-logic
Can I prove that $A\Rightarrow (B\wedge C)$ by proving that $\neg B\Rightarrow\neg A$?
logic
propositional-calculus
In what sense is propositional logic "zeroth-order logic?"
logic
propositional-calculus
predicate-logic
first-order-logic
Need help to write a proof regarding first order formula
propositional-calculus
first-order-logic
formal-languages
computational-mathematics
Prove $(p → (q → r)) ↔ ((p ∧ q) → r)$ with lean4 [closed]
logic
propositional-calculus
theorem-provers
Equivalence between Peirce's law and Excluded Middle in Intuitionistic logic
logic
propositional-calculus
constructive-mathematics
Meaning of "strong" and "weak" (formulas?) in propositional logic
logic
propositional-calculus
How does one visualize propositional logic?
logic
propositional-calculus
$\vdash \neg\alpha\rightarrow(\alpha\rightarrow\beta)$ without deduction theorem
logic
propositional-calculus
Need to translate into symbols "Someone in this class has done Data Structures”?
discrete-mathematics
logic
propositional-calculus
predicate-logic
How is "p implies q" same as "q unless not p"?
logic
propositional-calculus
What is the converse of this statement and is it true?
logic
discrete-mathematics
propositional-calculus
Show that $(\phi \rightarrow \psi), (\phi \rightarrow \neg \psi) \vdash \neg \phi$
logic
propositional-calculus
Why is this inference invalid?
logic
propositional-calculus
How to efficiently determine if two propositions are equivalent?
logic
algorithms
propositional-calculus
The $n$th statement in a list of $100$ statements is "Exactly $n$ of the statements in this list are false".
discrete-mathematics
logic
propositional-calculus
Alternative proof for soundness and completeness of standard semantics for conjunction-only fragment of classical propositional calculus
logic
solution-verification
propositional-calculus
alternative-proof
Model-theory and Proof-theory in Propositional Logic
logic
model-theory
propositional-calculus
proof-theory
Prev
Next