Question

Can some statement be proved by showing that it leads to a true statement?

score 126 · Answer 1 · 2026-04-13 08:15:08

126

Views

Can some statement be proved by showing that it leads to a true statement?

Published on 13 Apr 2026 - 8:15

score 109 · Answer 2 · 2026-04-10 16:36:39

109

Views

Having Trouble Seeing Why Friedman's Theorem (1973) is true.

Published on 10 Apr 2026 - 16:36

score 126 · Answer 3 · 2026-04-10 11:01:10

126

Views

Alternative approach in self-referential step of the proof of Gödel's first incompleteness theorem

Published on 10 Apr 2026 - 11:01

score 83 · Answer 4 · 2026-04-09 14:31:27

83

Views

Prove $Q \vdash [\forall x < \overline{n+1}]\phi \leftrightarrow [\phi^x_{\overline{n}}\land(\forall x <\bar{n})\phi]$

Published on 09 Apr 2026 - 14:31

score 658 · Answer 5 · 2026-03-25 11:06:18

658

Views

$\forall n \in \mathbb{N}, n$ is even $\Leftrightarrow n+1$ is odd

Published on 25 Mar 2026 - 11:06

score 199 · Answer 6 · 2026-04-11 09:24:27

199

Views

Interdependence of logical connectives.

Published on 11 Apr 2026 - 9:24

score 1.6k · Answer 7 · 2026-04-09 18:46:15

1.6k

Views

FOL translation, and definition of a "block" questions.

Published on 09 Apr 2026 - 18:46

score 1.9k · Answer 8 · 2026-04-12 20:20:46

1.9k

Views

Reference of the connection of category theory and logic(foundation of mathematics)

Published on 12 Apr 2026 - 20:20

score 271 · Answer 9 · 2026-04-09 06:19:57

271

Views

How to transform a formula into clausal form?

Published on 09 Apr 2026 - 6:19

score 1k · Answer 10 · 2026-03-30 01:52:08

1k

Views

Show that (p ⇒ q) ⇒ (r ⇒ s) ⇐⇒ (p ⇒ r) ⇒ (q ⇒ s) is a tautology?(without truth table)

Published on 30 Mar 2026 - 1:52

score 206 · Answer 11 · 2026-04-09 02:03:03

206

Views

Proving $\vdash_{HPI}A\vee(B\vee C) \rightarrow (A\vee B)\vee C $

Published on 09 Apr 2026 - 2:03

score 91 · Answer 12 · 2026-04-09 12:04:20

91

Views

logic arguments

Published on 09 Apr 2026 - 12:04

score 594 · Answer 13 · 2026-04-07 00:32:33

594

Views

A formula is satisfiable under $I \iff |I|=1$?

Published on 07 Apr 2026 - 0:32

score 93 · Answer 14 · 2026-04-13 08:57:48

93

Views

Equivalence of $I\Sigma_n$ and $I\Pi_n$

Published on 13 Apr 2026 - 8:57

score 79 · Answer 15 · 2026-04-09 05:28:09

79

Views

Understanding the definition of general knowledge between agents

Published on 09 Apr 2026 - 5:28

List Question

Can some statement be proved by showing that it leads to a true statement?

Having Trouble Seeing Why Friedman's Theorem (1973) is true.

Alternative approach in self-referential step of the proof of Gödel's first incompleteness theorem

Prove $Q \vdash [\forall x < \overline{n+1}]\phi \leftrightarrow [\phi^x_{\overline{n}}\land(\forall x <\bar{n})\phi]$

$\forall n \in \mathbb{N}, n$ is even $\Leftrightarrow n+1$ is odd

Interdependence of logical connectives.

FOL translation, and definition of a "block" questions.

Reference of the connection of category theory and logic(foundation of mathematics)

How to transform a formula into clausal form?

Show that (p ⇒ q) ⇒ (r ⇒ s) ⇐⇒ (p ⇒ r) ⇒ (q ⇒ s) is a tautology?(without truth table)

Proving $\vdash_{HPI}A\vee(B\vee C) \rightarrow (A\vee B)\vee C $

logic arguments

A formula is satisfiable under $I \iff |I|=1$?

Equivalence of $I\Sigma_n$ and $I\Pi_n$

Understanding the definition of general knowledge between agents

Trending Questions

Popular # Hahtags

Popular Questions