List questions from formal-proofs

Published on 28 May 2018 - 19:01

857

Views

How do I show that A iff B proves A implies B?

Published on 05 Jun 2018 - 2:34

545

Views

Natural deduction proof - problem with existential elimination

Published on 07 Jun 2018 - 22:03

355

Views

Conditional Statements/ Implication statements within a proof specifically linear algebra

Published on 10 Jun 2018 - 1:30

402

Views

Natural Deduction Proof that irreflexive, transitive relations on a Set S are not three-cycles

Published on 10 Jun 2018 - 10:51

1.1k

Views

Prove By Induction $U_n=2^n+1.$

Published on 12 Jun 2018 - 22:53

270

Views

Product of $(4k-1)$ primes can't be sum of 2 squares

Published on 15 Jun 2018 - 12:08

3.3k

Views

Proving that d(n) is odd if and only if n is a perfect square

Published on 16 Jun 2018 - 20:30

321

Views

The intuitive meaning of "or" and "implies" in axiom schemes of a logical theory

Published on 22 Mar 2026 - 18:57

35

Views

How to make my analysis more rigorous?

Published on 05 Jul 2018 - 6:02

374

Views

Fitch-style Deductive Proof

Published on 06 Jul 2018 - 1:58

205

Views

How to convert ... to logical symbols?

Published on 24 Mar 2026 - 23:54

30

Views

What is the difference in meaning between these two antecedents ...?

Published on 16 Jul 2018 - 7:47

56

Views

How to prove the following statement?

Published on 29 Jul 2018 - 2:47

75

Views

Prove by mathematical induction that $n^2 > n$ for all $n \geq 2$

Published on 31 Jul 2018 - 3:40

List Question

Understanding the Arithmetic Rules in an Operational Semantics.

How do I show that A iff B proves A implies B?

Natural deduction proof - problem with existential elimination

Conditional Statements/ Implication statements within a proof specifically linear algebra

Natural Deduction Proof that irreflexive, transitive relations on a Set S are not three-cycles

Prove By Induction $U_n=2^n+1.$

Product of $(4k-1)$ primes can't be sum of 2 squares

Proving that d(n) is odd if and only if n is a perfect square

The intuitive meaning of "or" and "implies" in axiom schemes of a logical theory

How to make my analysis more rigorous?

Fitch-style Deductive Proof

How to convert ... to logical symbols?

What is the difference in meaning between these two antecedents ...?

How to prove the following statement?

Prove by mathematical induction that $n^2 > n$ for all $n \geq 2$

Trending Questions

Popular # Hahtags

Popular Questions