Question

trouble with proof for principle of explosion using primitive rules

score 97 · Answer 1 · 2026-04-09 11:04:59

97

Views

trouble with proof for principle of explosion using primitive rules

Published on 09 Apr 2026 - 11:04

score 198 · Answer 2 · 2026-04-12 02:36:55

198

Views

Disproving a statement by showing that its negation doesn't lead to a contradiction?

Published on 12 Apr 2026 - 2:36

score 71 · Answer 3 · 2026-04-11 07:40:30

71

Views

Logic doubt arised from proving that $\sqrt{x}$ is not Lipschitz continuous in $[0,1]$ negating the definition

Published on 11 Apr 2026 - 7:40

score 162 · Answer 4 · 2026-04-10 16:46:32

162

Views

Understanding absorption law

Published on 10 Apr 2026 - 16:46

score 60 · Answer 5 · 2026-03-25 06:03:59

60

Views

Can you exhibit a 3rd-or-higher order logical formula that has no "Prenex normal form"?

Published on 25 Mar 2026 - 6:03

score 3.7k · Answer 6 · 2026-04-11 08:04:12

3.7k

Views

What is meant by "logically incorrect"?

Published on 11 Apr 2026 - 8:04

score 155 · Answer 7 · 2023-07-21 01:25:21

155

Views

Suppose $A\setminus B \subseteq C\cap D$ and $x\in A$. Prove that $x\notin D \rightarrow x\in B$

Published on 21 Jul 2023 - 1:25

score 70 · Answer 8 · 2026-04-09 11:15:00

70

Views

If $f(x)=x$, then it is injective, which is stated as $(f(x_1)=f(x_2)\implies (x_1=x_2)$. Does this allow antecedent false and consequent true?

Published on 09 Apr 2026 - 11:15

score 85 · Answer 9 · 2023-07-23 12:00:11

For all Γ, if every finite subset of Γ is satisfiable, then so is Γ. ≡ For all Σ and φ, if Σ ⊨ φ then Δ ⊨ φ, for some finite subset Δ of Σ.

score 28 · Answer 10 · 2026-04-10 12:29:59

28

Views

What is the minimal complexity formula equivalent to biconditional?

Published on 10 Apr 2026 - 12:29

score 188 · Answer 11 · 2026-04-10 22:30:43

188

Views

What exactly is meant by 'sentence' and 'expression'?

Published on 10 Apr 2026 - 22:30

score 101 · Answer 12 · 2023-08-01 04:04:29

101

Views

If $P$ is the only sufficient condition for $Q$ besides $Q$ itself, is $P$ necessary for $Q$?

Published on 01 Aug 2023 - 4:04

score 35 · Answer 13 · 2026-03-25 07:42:21

35

Views

Is it possible to axiomatize classical logic with only two meta-variables?

Published on 25 Mar 2026 - 7:42

score 100 · Answer 14 · 2026-04-10 02:17:42

100

Views

Intuition for Completeness: Propositional Logic

Published on 10 Apr 2026 - 2:17

score 61 · Answer 15 · 2026-04-11 05:39:00

61

Views

Can we do better than Łukasiewicz's single axiom for implicational propositional logic?

Published on 11 Apr 2026 - 5:39

List Question

trouble with proof for principle of explosion using primitive rules

Disproving a statement by showing that its negation doesn't lead to a contradiction?

Logic doubt arised from proving that $\sqrt{x}$ is not Lipschitz continuous in $[0,1]$ negating the definition

Understanding absorption law

Can you exhibit a 3rd-or-higher order logical formula that has no "Prenex normal form"?

What is meant by "logically incorrect"?

Suppose $A\setminus B \subseteq C\cap D$ and $x\in A$. Prove that $x\notin D \rightarrow x\in B$

If $f(x)=x$, then it is injective, which is stated as $(f(x_1)=f(x_2)\implies (x_1=x_2)$. Does this allow antecedent false and consequent true?

For all Γ, if every finite subset of Γ is satisfiable, then so is Γ. ≡ For all Σ and φ, if Σ ⊨ φ then Δ ⊨ φ, for some finite subset Δ of Σ.

What is the minimal complexity formula equivalent to biconditional?

What exactly is meant by 'sentence' and 'expression'?

If $P$ is the only sufficient condition for $Q$ besides $Q$ itself, is $P$ necessary for $Q$?

Is it possible to axiomatize classical logic with only two meta-variables?

Intuition for Completeness: Propositional Logic

Can we do better than Łukasiewicz's single axiom for implicational propositional logic?

Trending Questions

Popular # Hahtags

Popular Questions