Question

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

score 82 · Answer 1 · 2018-03-14 15:01:49

82

Views

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

Published on 14 Mar 2018 - 15:01

score 75 · Answer 2 · 2018-03-15 01:42:31

75

Views

Induction on proofs in infinitary logic

Published on 15 Mar 2018 - 1:42

score 1.1k · Answer 3 · 2018-03-15 08:12:31

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 15 Mar 2018 - 8:12

score 83 · Answer 4 · 2026-03-25 15:54:30

83

Views

Replacements in proofs

Published on 25 Mar 2026 - 15:54

score 24 · Answer 5 · 2018-03-16 15:51:02

24

Views

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

Published on 16 Mar 2018 - 15:51

score 9.1k · Answer 6 · 2018-03-16 18:28:52

9.1k

Views

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

Published on 16 Mar 2018 - 18:28

score 292 · Answer 7 · 2026-03-25 19:05:40

292

Views

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

Published on 25 Mar 2026 - 19:05

score 220 · Answer 8 · 2026-03-26 17:34:48

220

Views

Understanding the implication switch

Published on 26 Mar 2026 - 17:34

score 918 · Answer 9 · 2026-03-26 07:31:31

918

Views

Is this proof correct? (natural deduction)

Published on 26 Mar 2026 - 7:31

score 81 · Answer 10 · 2018-03-18 04:32:09

81

Views

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

Published on 18 Mar 2018 - 4:32

score 660 · Answer 11 · 2018-03-18 07:31:26

660

Views

Book on the rigorous construction of logic and set theory

Published on 18 Mar 2018 - 7:31

score 562 · Answer 12 · 2026-03-26 02:36:42

562

Views

Inference Proof for Biconditional

Published on 26 Mar 2026 - 2:36

score 59 · Answer 13 · 2018-03-19 22:33:07

59

Views

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

Published on 19 Mar 2018 - 22:33

score 268 · Answer 14 · 2018-03-20 13:38:15

268

Views

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

Published on 20 Mar 2018 - 13:38

score 604 · Answer 15 · 2026-03-26 23:03:26

604

Views

Model checking for logical consequence in propositional logic

Published on 26 Mar 2026 - 23:03

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