List questions from formal-proofs

Published on 26 Mar 2026 - 0:53

405

Views

How to prove $((A \to B) \to A) \to A$ using Lukasiewicz's axioms, MP and deduction theorem?

Published on 23 Feb 2026 - 2:59

95

Views

help to prove the logical expression ¬¬A→A in HPC proof system

Published on 23 Feb 2026 - 4:53

73

Views

Side condition in generalisation rule and axiom schemata

Published on 27 Dec 2019 - 22:03

266

Views

Moving an Existential quantifier out of an implication using fitch.

Published on 26 Mar 2026 - 4:16

131

Views

Using a proof by contradiction with unprovable statement

Published on 25 Mar 2026 - 17:30

21

Views

How would you prove that A \ (A \ B) = A ∩ B is true for all sets A and B?

Published on 23 Jan 2020 - 17:21

617

Views

Image of an absolute value function

Published on 30 Jan 2020 - 23:57

89

Views

How to prove that $x^2 - \lfloor x\rfloor^2$ is onto?

Published on 04 Feb 2020 - 19:34

46

Views

Integral proof of an exponent property.

Published on 04 Feb 2020 - 23:02

49

Views

Surjective function: $x^2- \lfloor x \rfloor^2$?

Published on 06 Feb 2020 - 22:56

61

Views

"modulo" meaning in context of Formal Methods.

Published on 08 Feb 2020 - 14:42

107

Views

Proving Invertibility of Matrices

Published on 25 Mar 2026 - 22:23

21

Views

General case for proof of sums and products

Published on 19 Feb 2020 - 23:06

82

Views

Formula of a polynomial with n roots

Published on 21 Feb 2020 - 22:01

List Question

Everyone loves all lovers, Romeo loves Juliet $\vdash$ I love you (Natural deduction proof)

How to prove $((A \to B) \to A) \to A$ using Lukasiewicz's axioms, MP and deduction theorem?

help to prove the logical expression ¬¬A→A in HPC proof system

Side condition in generalisation rule and axiom schemata

Moving an Existential quantifier out of an implication using fitch.

Using a proof by contradiction with unprovable statement

How would you prove that A \ (A \ B) = A ∩ B is true for all sets A and B?

Image of an absolute value function

How to prove that $x^2 - \lfloor x\rfloor^2$ is onto?

Integral proof of an exponent property.

Surjective function: $x^2- \lfloor x \rfloor^2$?

"modulo" meaning in context of Formal Methods.

Proving Invertibility of Matrices

General case for proof of sums and products

Formula of a polynomial with n roots

Trending Questions

Popular # Hahtags

Popular Questions