List questions from formal-proofs

Published on 25 Mar 2026 - 16:45

182

Views

Strength of Asymmetric Tautology/Reverse Unit Propagation in proofs

Published on 02 Sep 2017 - 5:40

59

Views

Is this an axiom or does it have to be proved?

Published on 02 Sep 2017 - 11:40

220

Views

Prove ′⋀(⋁)→ - How?

Published on 28 Mar 2026 - 13:30

438

Views

How to prove this sequent using natural deduction?

Published on 28 Mar 2026 - 15:19

661

Views

What is "magic" about the combination of addition and multiplication in formal arithmetic?

Published on 28 Mar 2026 - 6:00

58

Views

What does the following statement in first order logic translate to in english?

Published on 26 Sep 2017 - 13:54

530

Views

Distinction between "implicit" and "explicit" formal proofs

Published on 30 Sep 2017 - 17:35

1.7k

Views

How to prove ~~P from P in the Hilbert Axiomatic System?

Published on 01 Oct 2017 - 13:27

346

Views

Rules of Inference : Showing that we can conclude $\exists xP(x) \lor \exists xQ(x)$ from $\exists x( P(x) \lor Q(x))$

Published on 28 Mar 2026 - 16:57

596

Views

Prove that $3^n > 3n$ for integer $n\geq2$

Published on 08 Oct 2017 - 4:10

517

Views

Prove, for N as a whole number, n^2 is even if n is even.

Published on 08 Oct 2017 - 6:02

412

Views

Question on proving validity in predicate logic

Published on 08 Oct 2017 - 21:02

1k

Views

Fitch System For logic proofs

Published on 08 Oct 2017 - 23:21

209

Views

Formally prove that these two premises are contradictory

Published on 11 Oct 2017 - 7:51

List Question

Why, intuitively, are propositional resolution proofs so long?

Strength of Asymmetric Tautology/Reverse Unit Propagation in proofs

Is this an axiom or does it have to be proved?

Prove ′⋀(⋁)→ - How?

How to prove this sequent using natural deduction?

What is "magic" about the combination of addition and multiplication in formal arithmetic?

What does the following statement in first order logic translate to in english?

Distinction between "implicit" and "explicit" formal proofs

How to prove ~~P from P in the Hilbert Axiomatic System?

Rules of Inference : Showing that we can conclude $\exists xP(x) \lor \exists xQ(x)$ from $\exists x( P(x) \lor Q(x))$

Prove that $3^n > 3n$ for integer $n\geq2$

Prove, for N as a whole number, n^2 is even if n is even.

Question on proving validity in predicate logic

Fitch System For logic proofs

Formally prove that these two premises are contradictory

Trending Questions

Popular # Hahtags

Popular Questions