Question

The definition of proposition and the principle of the excluded third

score 229 · Answer 1 · 2026-04-10 23:30:17

229

Views

The definition of proposition and the principle of the excluded third

Published on 10 Apr 2026 - 23:30

score 258 · Answer 2 · 2026-04-09 01:24:58

258

Views

Understanding implication

Published on 09 Apr 2026 - 1:24

score 387 · Answer 3 · 2026-04-06 17:54:39

387

Views

How to show that $p∨q, q∨r, p\to ¬r ⊢ q$?

Published on 06 Apr 2026 - 17:54

score 144 · Answer 4 · 2026-03-25 03:07:28

144

Views

Question about Hilbert's axiom for the postive fragment of classical logic

Published on 25 Mar 2026 - 3:07

score 129 · Answer 5 · 2026-04-11 18:40:10

129

Views

How to formalize and prove a reasoning as propositional logic?

Published on 11 Apr 2026 - 18:40

score 131 · Answer 6 · 2026-04-02 11:39:42

131

Views

Growth of Complete Binary Decision Trees

Published on 02 Apr 2026 - 11:39

score 82 · Answer 7 · 2023-09-26 05:44:13

82

Views

Confused about saying every "statement" is vacuously true in an inconsistent arithmetic (terminology)

Published on 26 Sep 2023 - 5:44

score 130 · Answer 8 · 2023-09-26 14:49:34

130

Views

Proving the sentence $X \lor Y {\implies}Z$

Published on 26 Sep 2023 - 14:49

score 50 · Answer 9 · 2026-04-06 17:54:17

50

Views

Formal proof for a set of closed logical sentences.

Published on 06 Apr 2026 - 17:54

score 258 · Answer 10 · 2026-04-12 06:50:56

258

Views

What is the difference between propositional constants, propositional variables and schematic letters in propositional calculus?

Published on 12 Apr 2026 - 6:50

score 42 · Answer 11 · 2026-04-11 12:32:38

42

Views

What is the real difference between a schema logical system and propositional variable system?

Published on 11 Apr 2026 - 12:32

score 99 · Answer 12 · 2023-10-04 07:26:23

99

Views

Prove ((p→q)∧q) and q are equivalent using logic laws

Published on 04 Oct 2023 - 7:26

score 201 · Answer 13 · 2026-04-11 23:23:14

201

Views

Can an implication and its converse both be false?

Published on 11 Apr 2026 - 23:23

score 60 · Answer 14 · 2023-10-05 19:37:52

60

Views

Why does the "and" become an "or" in this question?

Published on 05 Oct 2023 - 19:37

score 375 · Answer 15 · 2026-04-06 19:31:42

375

Views

Need an intuitive example for how "P is necessary for Q" means "Q$\implies$P"?

Published on 06 Apr 2026 - 19:31

List Question

The definition of proposition and the principle of the excluded third

Understanding implication

How to show that $p∨q, q∨r, p\to ¬r ⊢ q$?

Question about Hilbert's axiom for the postive fragment of classical logic

How to formalize and prove a reasoning as propositional logic?

Growth of Complete Binary Decision Trees

Confused about saying every "statement" is vacuously true in an inconsistent arithmetic (terminology)

Proving the sentence $X \lor Y {\implies}Z$

Formal proof for a set of closed logical sentences.

What is the difference between propositional constants, propositional variables and schematic letters in propositional calculus?

What is the real difference between a schema logical system and propositional variable system?

Prove ((p→q)∧q) and q are equivalent using logic laws

Can an implication and its converse both be false?

Why does the "and" become an "or" in this question?

Need an intuitive example for how "P is necessary for Q" means "Q$\implies$P"?

Trending Questions

Popular # Hahtags

Popular Questions