List questions from propositional-calculus

Published on 10 Apr 2026 - 22:51

192

Views

How to do proof by contradiction?

Published on 11 Apr 2026 - 8:11

59

Views

A technique for weakening a universally quantified statement

Published on 10 Apr 2026 - 20:18

81

Views

Gödel's theorems, Löb's theorem, difference between "proves" and "implies"

Published on 25 Mar 2026 - 9:23

40

Views

Prove the following lemma of propositional logic: (A1 ∨ · · · ∨ Ak) ∧ (A1 → B) ∧ · · · ∧ (Ak → B) |= B.

Published on 13 Oct 2023 - 13:30

54

Views

Syntactic proof: If Γ, ϕ ⊢ Θ and Γ, ¬ϕ ⊢ Θ then Γ ⊢ Θ

Published on 15 Oct 2023 - 9:09

122

Views

Has this logic already been studied?

Published on 27 Mar 2026 - 15:56

42

Views

Existence of non-satisfiable set of n propositions with all proper subsets satisfiable, for all n in N

Published on 17 Oct 2023 - 5:21

56

Views

Propositional logic: Natural deduction

Published on 11 Apr 2026 - 22:21

225

Views

How to prove with natural deduction?

Published on 08 Apr 2026 - 23:22

98

Views

Prove that every tautology of the form (α → β) can be broken into (α → γ) and (γ → β), where the variables in γ aren’t in exactly one of α and β

Published on 11 Apr 2026 - 12:36

301

Views

Seeking a More Efficient Solution for Knights and Knaves Logic Puzzle

Published on 10 Apr 2026 - 19:08

81

Views

How to use predicate logic to write "Product of an even number and another number is even"?

Published on 03 Apr 2026 - 17:06

42

Views

Did I do this propositional logic proof correctly?

Published on 12 Apr 2026 - 10:20

97

Views

Is this natural deduction proof of $\exists x Fx \to G \vdash \forall x [Fx \to G]$ in predicate logic correct?

Published on 03 Apr 2026 - 17:06

List Question

Recursion theorem in Boolean valued propositional logic

How to do proof by contradiction?

A technique for weakening a universally quantified statement

Gödel's theorems, Löb's theorem, difference between "proves" and "implies"

Prove the following lemma of propositional logic: (A1 ∨ · · · ∨ Ak) ∧ (A1 → B) ∧ · · · ∧ (Ak → B) |= B.

Syntactic proof: If Γ, ϕ ⊢ Θ and Γ, ¬ϕ ⊢ Θ then Γ ⊢ Θ

Has this logic already been studied?

Existence of non-satisfiable set of n propositions with all proper subsets satisfiable, for all n in N

Propositional logic: Natural deduction

How to prove with natural deduction?

Prove that every tautology of the form (α → β) can be broken into (α → γ) and (γ → β), where the variables in γ aren’t in exactly one of α and β

Seeking a More Efficient Solution for Knights and Knaves Logic Puzzle

How to use predicate logic to write "Product of an even number and another number is even"?

Did I do this propositional logic proof correctly?

Is this natural deduction proof of $\exists x Fx \to G \vdash \forall x [Fx \to G]$ in predicate logic correct?

Trending Questions

Popular # Hahtags

Popular Questions