Question

Predicate Logic - How Specific to Be When Converting From English Sentence

score 40 · Answer 1 · 2026-04-11 19:50:37

40

Views

Predicate Logic - How Specific to Be When Converting From English Sentence

Published on 11 Apr 2026 - 19:50

score 42 · Answer 2 · 2026-04-12 14:32:29

42

Views

Is this restriction on Modus Ponens sound for Visser’s Basic Propositional Logic?

Published on 12 Apr 2026 - 14:32

score 35 · Answer 3 · 2023-12-08 07:47:00

35

Views

Proof for the claim that finding resolution derivations is not complete.

Published on 08 Dec 2023 - 7:47

score 101 · Answer 4 · 2026-04-09 11:23:31

101

Views

Is $(\phi\implies\psi) \iff ((\phi\land\psi)\lor \neg\phi) $ provable in the following hilbert calculus without contraposition or reductio?

Published on 09 Apr 2026 - 11:23

score 50 · Answer 5 · 2026-03-25 08:00:38

50

Views

Can $p_2$ be recovered from $p_1$ and $p_1 \land p_2$ using boolean operations?

Published on 25 Mar 2026 - 8:00

score 46 · Answer 6 · 2026-04-12 13:19:17

46

Views

Exercise of implication

Published on 12 Apr 2026 - 13:19

score 45 · Answer 7 · 2026-04-08 18:13:27

45

Views

Structural induction on NAND (propositional logic)

Published on 08 Apr 2026 - 18:13

score 72 · Answer 8 · 2026-04-12 16:00:12

72

Views

Every propositional logic has a matrix semantics. Are there any that can't be described with a single matrix?

Published on 12 Apr 2026 - 16:00

score 73 · Answer 9 · 2026-04-11 21:33:08

73

Views

Am I misinterpreting conjunctive normal form?

Published on 11 Apr 2026 - 21:33

score 53 · Answer 10 · 2026-04-12 14:51:46

53

Views

Necessary truth-preservation in predicate (and propositional) logic

Published on 12 Apr 2026 - 14:51

score 539 · Answer 11 · 2026-04-11 08:16:51

539

Views

Deriving A, ¬A ⊢ B in a weak Hilbert proof system

Published on 11 Apr 2026 - 8:16

score 53 · Answer 12 · 2026-04-12 09:52:55

53

Views

Does this propositional theory have an independent axiomatization?

Published on 12 Apr 2026 - 9:52

score 45 · Answer 13 · 2023-12-29 17:34:52

45

Views

Procedure for converting proofs that use Detachment to proofs with Condensed Detachment

Published on 29 Dec 2023 - 17:34

score 35 · Answer 14 · 2026-04-12 01:12:20

35

Views

Simple modal logic with one possible world and one impossible world. Which logic is it?

Published on 12 Apr 2026 - 1:12

score 144 · Answer 15 · 2026-04-11 01:45:41

144

Views

Natural deduction - prove a theorem

Published on 11 Apr 2026 - 1:45

List Question

Predicate Logic - How Specific to Be When Converting From English Sentence

Is this restriction on Modus Ponens sound for Visser’s Basic Propositional Logic?

Proof for the claim that finding resolution derivations is not complete.

Is $(\phi\implies\psi) \iff ((\phi\land\psi)\lor \neg\phi) $ provable in the following hilbert calculus without contraposition or reductio?

Can $p_2$ be recovered from $p_1$ and $p_1 \land p_2$ using boolean operations?

Exercise of implication

Structural induction on NAND (propositional logic)

Every propositional logic has a matrix semantics. Are there any that can't be described with a single matrix?

Am I misinterpreting conjunctive normal form?

Necessary truth-preservation in predicate (and propositional) logic

Deriving A, ¬A ⊢ B in a weak Hilbert proof system

Does this propositional theory have an independent axiomatization?

Procedure for converting proofs that use Detachment to proofs with Condensed Detachment

Simple modal logic with one possible world and one impossible world. Which logic is it?

Natural deduction - prove a theorem

Trending Questions

Popular # Hahtags

Popular Questions