Newbetuts
.
New posts in propositional-calculus
Online tools for checking validity of classical, intuitionistic, ... logic formulas?
propositional-calculus
predicate-logic
first-order-logic
online-resources
constructive-mathematics
Proof ¬q → ¬p from premise p → q using deductive system& Modus ponens
logic
proof-verification
propositional-calculus
Can we make intuitionistic logic "intuitive"?
logic
propositional-calculus
intuitionistic-logic
How do you derive (~P -> Q) from P v Q as the premise using Fitch?
logic
propositional-calculus
Apply Resolution rule in this formula
logic
propositional-calculus
Why is the Absorption Law considered a Rule of Inference instead of Replacement?
logic
propositional-calculus
Why is "material implication" called "material"?
logic
terminology
propositional-calculus
Need Hints Prove "$((\neg \alpha \to \alpha) \to \alpha) $" Using Axiom 1,2,3 and MP and deduction theorem
logic
propositional-calculus
natural-deduction
"This statement is false" - Propositional Logic
logic
terminology
propositional-calculus
Can someone please explain 3-CNF for me?
logic
propositional-calculus
conjunctive-normal-form
How do I formally express that a statement is true only if 3 propositions are true?
discrete-mathematics
propositional-calculus
Difference between Logical Axioms and Rules of Inference
logic
propositional-calculus
axioms
natural-deduction
hilbert-calculus
Intuition of implication in propositional logic
logic
propositional-calculus
What exactly is a contradiction and how does it differ from falsity?
logic
propositional-calculus
first-order-logic
predicate-logic
How is "interpretation" used differently in propositional vs. first-order logic?
logic
definition
propositional-calculus
first-order-logic
model-theory
Why are proofs not written as collections of logic symbols but are instead written in sentences? [duplicate]
real-analysis
multivariable-calculus
proof-writing
propositional-calculus
Proving 'Law of Excluded Middle' in Fitch system
logic
propositional-calculus
natural-deduction
Using induction to prove an iff statement?
propositional-calculus
Proving that a propositional theory of any cardinality has an independent set of axioms
logic
model-theory
propositional-calculus
"This statement is false." [duplicate]
logic
terminology
propositional-calculus
paradoxes
Prev
Next