Question

Basic question on propositional logic: "John, Michael and Susan are doctors" = p∧q∧r?

score 85 · Answer 1 · 2026-04-15 11:15:50

85

Views

Basic question on propositional logic: "John, Michael and Susan are doctors" = p∧q∧r?

Published on 15 Apr 2026 - 11:15

score 78 · Answer 2 · 2026-04-09 10:23:49

78

Views

Induction on proofs in infinitary logic

Published on 09 Apr 2026 - 10:23

score 1.1k · Answer 3 · 2026-04-12 05:57:07

1.1k

Views

How do I find the truth value in this logic problem: $(( p \lor s) \land \neg q) \rightarrow ( r \rightarrow s)$?

Published on 12 Apr 2026 - 5:57

score 85 · Answer 4 · 2026-04-09 23:41:38

85

Views

Replacements in proofs

Published on 09 Apr 2026 - 23:41

score 27 · Answer 5 · 2026-04-12 14:29:59

27

Views

Is there a technical name for the number of implications between propositions?

Published on 12 Apr 2026 - 14:29

score 9.1k · Answer 6 · 2026-04-17 11:13:39

9.1k

Views

(Given) A ∧ (B ∨ C) (To Prove) (A ∧ B) ∨ (A ∧ C)

Published on 17 Apr 2026 - 11:13

score 295 · Answer 7 · 2026-05-10 15:52:16

295

Views

Is there a purely syntactic proof of modus ponens with tableau?

Published on 10 May 2026 - 15:52

score 225 · Answer 8 · 2026-05-11 03:41:09

225

Views

Understanding the implication switch

Published on 11 May 2026 - 3:41

score 926 · Answer 9 · 2026-05-13 23:25:52

926

Views

Is this proof correct? (natural deduction)

Published on 13 May 2026 - 23:25

score 84 · Answer 10 · 2026-04-11 06:25:37

84

Views

Rules of Inference: Determine whether a given argument is valid.

Published on 11 Apr 2026 - 6:25

score 663 · Answer 11 · 2026-04-15 12:08:25

663

Views

Book on the rigorous construction of logic and set theory

Published on 15 Apr 2026 - 12:08

score 567 · Answer 12 · 2026-05-13 22:56:53

567

Views

Inference Proof for Biconditional

Published on 13 May 2026 - 22:56

score 62 · Answer 13 · 2026-04-14 12:33:05

62

Views

Logic Gates and De Morgan's law for "$a \text{ AND } b$"

Published on 14 Apr 2026 - 12:33

score 271 · Answer 14 · 2026-04-14 22:03:27

271

Views

determine whether ¬(p∨¬(p→q))∨p is a tautology by using laws of logic.

Published on 14 Apr 2026 - 22:03

score 606 · Answer 15 · 2026-04-12 18:21:10

606

Views

Model checking for logical consequence in propositional logic

Published on 12 Apr 2026 - 18:21

List Question

Basic question on propositional logic: "John, Michael and Susan are doctors" = p∧q∧r?

Induction on proofs in infinitary logic

How do I find the truth value in this logic problem: $(( p \lor s) \land \neg q) \rightarrow ( r \rightarrow s)$?

Replacements in proofs

Is there a technical name for the number of implications between propositions?

(Given) A ∧ (B ∨ C) (To Prove) (A ∧ B) ∨ (A ∧ C)

Is there a purely syntactic proof of modus ponens with tableau?

Understanding the implication switch

Is this proof correct? (natural deduction)

Rules of Inference: Determine whether a given argument is valid.

Book on the rigorous construction of logic and set theory

Inference Proof for Biconditional

Logic Gates and De Morgan's law for "$a \text{ AND } b$"

determine whether ¬(p∨¬(p→q))∨p is a tautology by using laws of logic.

Model checking for logical consequence in propositional logic

Trending Questions

Popular # Hahtags

Popular Questions