Question

Are these logical equivalences correct?

score 43 · Answer 1 · 2026-04-14 10:46:42

43

Views

Are these logical equivalences correct?

Published on 14 Apr 2026 - 10:46

score 2.5k · Answer 2 · 2026-04-13 11:54:06

2.5k

Views

Is the disjunction of these two false statements true?

Published on 13 Apr 2026 - 11:54

score 620 · Answer 3 · 2026-04-12 12:04:14

620

Views

Can we use the internal logic of a category to do diagram chases "as in $\mathbf{Ab}$" ?

Published on 12 Apr 2026 - 12:04

score 479 · Answer 4 · 2026-04-15 03:32:20

479

Views

Proving one compactness theorem from the other

Published on 15 Apr 2026 - 3:32

score 1.7k · Answer 5 · 2026-04-11 10:34:57

1.7k

Views

How to symbolize this "only" statement in first-order logic?

Published on 11 Apr 2026 - 10:34

score 243 · Answer 6 · 2026-04-17 16:04:51

243

Views

Proving a function is functionally complete using it's truth table

Published on 17 Apr 2026 - 16:04

score 420 · Answer 7 · 2026-04-12 06:40:03

420

Views

4.15 - Exercise - Mathematical Logic - Ebbinghaus

Published on 12 Apr 2026 - 6:40

score 206 · Answer 8 · 2026-04-17 13:36:41

206

Views

On the theorem $(p \cdot q) \supset (p \supset q)$

Published on 17 Apr 2026 - 13:36

score 231 · Answer 9 · 2026-04-11 04:03:35

Is it possible to rewrite the solution of an equation as a sequence of logical inferences in a logic system (e.g. FOL, SOL, etc.)?

score 875 · Answer 10 · 2026-04-10 17:38:19

875

Views

Property for repetitive functions

Published on 10 Apr 2026 - 17:38

score 204 · Answer 11 · 2026-04-14 04:09:33

204

Views

Why is this recursive call for backward chaining flawed?

Published on 14 Apr 2026 - 4:09

score 5.6k · Answer 12 · 2026-04-15 02:21:27

5.6k

Views

Boolean algebra: why does the distributive property not make intuitive mathematical sense?

Published on 15 Apr 2026 - 2:21

score 92 · Answer 13 · 2026-04-11 20:58:54

92

Views

Most adequate logic system to formally prove Euler's identity (and what would the proof look like)?

Published on 11 Apr 2026 - 20:58

score 539 · Answer 14 · 2026-04-11 13:06:54

539

Views

Proof of the associative property of addition

Published on 11 Apr 2026 - 13:06

score 216 · Answer 15 · 2026-04-12 14:09:29

216

Views

I need some feedback on a proof from Peano axioms that $1a=a$

Published on 12 Apr 2026 - 14:09

List Question

Are these logical equivalences correct?

Is the disjunction of these two false statements true?

Can we use the internal logic of a category to do diagram chases "as in $\mathbf{Ab}$" ?

Proving one compactness theorem from the other

How to symbolize this "only" statement in first-order logic?

Proving a function is functionally complete using it's truth table

4.15 - Exercise - Mathematical Logic - Ebbinghaus

On the theorem $(p \cdot q) \supset (p \supset q)$

Is it possible to rewrite the solution of an equation as a sequence of logical inferences in a logic system (e.g. FOL, SOL, etc.)?

Property for repetitive functions

Why is this recursive call for backward chaining flawed?

Boolean algebra: why does the distributive property not make intuitive mathematical sense?

Most adequate logic system to formally prove Euler's identity (and what would the proof look like)?

Proof of the associative property of addition

I need some feedback on a proof from Peano axioms that $1a=a$

Trending Questions

Popular # Hahtags

Popular Questions