Newbetuts
.
New posts in propositional-calculus
Relationship between propositional logic, first-order logic, second-order logic higher-order logic, and type theory
logic
propositional-calculus
first-order-logic
type-theory
higher-order-logic
Proof of the Compactness Theorem for Propositional Logic
logic
compactness
propositional-calculus
Does "the alphabet of the language of propositional logic" have no function symbols, relation symbols, and constants?
logic
computer-science
propositional-calculus
How or why does intutionistic logic proof negations from within the theory, constructively?
propositional-calculus
proof-theory
lambda-calculus
type-theory
constructive-mathematics
"forward" natural deduction vs "backward" natural deduction
propositional-calculus
sequent-calculus
prove $( \lnot \lnot p \Rightarrow p) \Rightarrow (((p \Rightarrow q ) \Rightarrow p ) \Rightarrow p )$ with intuitionistic natural deduction
logic
propositional-calculus
natural-deduction
Negate and Simplify $p\wedge (q\vee r)\wedge(\neg p\vee\neg q\vee r)$
discrete-mathematics
logic
propositional-calculus
Is an empty conjunction in propositional logic true?
logic
propositional-calculus
Difference between Gentzen and Hilbert Calculi
logic
propositional-calculus
hilbert-calculus
Distributivity of Conjunction
logic
propositional-calculus
Can the distributive law be proven using only ∧-elimination/introduction and ∨-elimination/introduction?
logic
proof-explanation
propositional-calculus
Logical NOT of an implication
logic
propositional-calculus
Intuition behind "Exclusive or"
logic
propositional-calculus
Modus Ponens vs implication?
logic
propositional-calculus
Logic - How to say "Not only but also".
logic
propositional-calculus
Example of use De Morgan Law and the plain English behind it.
logic
propositional-calculus
boolean-algebra
Why is "A only if B" equivalent to "(not A) or B"? [duplicate]
logic
propositional-calculus
logic-translation
Natural Deduction Tautology
logic
propositional-calculus
natural-deduction
formal-proofs
Show by using logical connectives laws that $(P\to Q) \land (Q \to R) $ is equivalent to $(P \to R) \land [(P \iff Q) \lor (R \iff Q)]$
logic
propositional-calculus
Soundness vs completeness, am I understanding? And proving soundness?
logic
definition
proof-explanation
propositional-calculus
Prev
Next