Question

Showing that $(p \lor q) \vdash \lnot (p \land q)$

score 93 · Answer 1 · 2026-02-23 10:20:10

93

Views

Showing that $(p \lor q) \vdash \lnot (p \land q)$

Published on 23 Feb 2026 - 10:20

score 9.2k · Answer 2 · 2016-08-06 21:53:48

9.2k

Views

"Does everyone want coffee?" propositional logic problem

Published on 06 Aug 2016 - 21:53

score 435 · Answer 3 · 2026-04-01 11:04:48

435

Views

Can you make an unlimited number of connectives with $p$ and $q$?

Published on 01 Apr 2026 - 11:04

score 4k · Answer 4 · 2026-04-01 11:03:48

4k

Views

Logical proposition for "Every positive integer can be written as the sum of 2 squares"

Published on 01 Apr 2026 - 11:03

score 2.5k · Answer 5 · 2016-08-08 19:17:44

2.5k

Views

Why aren't vacuous truths just undefined?

Published on 08 Aug 2016 - 19:17

score 96 · Answer 6 · 2026-03-28 23:26:55

96

Views

How to find that $\exists !xP(x) \equiv \exists x(P(x) \land \forall y(P(y) \rightarrow y=x))$ when only LHS is given?

Published on 28 Mar 2026 - 23:26

score 465 · Answer 7 · 2016-08-13 16:04:49

465

Views

How to interpret this condition on the empty set?

Published on 13 Aug 2016 - 16:04

score 115 · Answer 8 · 2016-08-16 01:29:56

115

Views

Find the conectives of a composed proposition given a a true table

Published on 16 Aug 2016 - 1:29

score 92 · Answer 9 · 2026-04-01 04:00:38

92

Views

Equivalence $\displaystyle((\lnot p \lor q) \land (q \lor r)) \land (p \land \lnot q) ≡ c$

Published on 01 Apr 2026 - 4:00

score 5.8k · Answer 10 · 2016-08-16 14:59:52

5.8k

Views

Propositional Logic: (p ∧ q) → r ⊢ (p → r) ∨ (q → r)

Published on 16 Aug 2016 - 14:59

score 1.4k · Answer 11 · 2016-08-16 23:20:30

1.4k

Views

Negation of ∀ a ∈ Z, ∃ b ∈ Z such that ab ≤ 1

Published on 16 Aug 2016 - 23:20

score 46 · Answer 12 · 2016-08-16 23:45:08

46

Views

Negation justification. $\exists x\in\Bbb R\,\forall y\in\Bbb Z^+(x<y)$

Published on 16 Aug 2016 - 23:45

score 5.5k · Answer 13 · 2016-08-17 16:39:18

5.5k

Views

Rules of Inference problem of Kenneth Rosen 7e -Discrete Mathematics

Published on 17 Aug 2016 - 16:39

score 471 · Answer 14 · 2016-08-18 22:20:13

471

Views

How do I prove this statement is a tautology without using truth tables (transformation proof)?

Published on 18 Aug 2016 - 22:20

score 29 · Answer 15 · 2026-04-01 09:39:44

29

Views

Does putting a different quantifier changes the veracity of this linear algebra exercise?

Published on 01 Apr 2026 - 9:39

List Question

Showing that $(p \lor q) \vdash \lnot (p \land q)$

"Does everyone want coffee?" propositional logic problem

Can you make an unlimited number of connectives with $p$ and $q$?

Logical proposition for "Every positive integer can be written as the sum of 2 squares"

Why aren't vacuous truths just undefined?

How to find that $\exists !xP(x) \equiv \exists x(P(x) \land \forall y(P(y) \rightarrow y=x))$ when only LHS is given?

How to interpret this condition on the empty set?

Find the conectives of a composed proposition given a a true table

Equivalence $\displaystyle((\lnot p \lor q) \land (q \lor r)) \land (p \land \lnot q) ≡ c$

Propositional Logic: (p ∧ q) → r ⊢ (p → r) ∨ (q → r)

Negation of ∀ a ∈ Z, ∃ b ∈ Z such that ab ≤ 1

Negation justification. $\exists x\in\Bbb R\,\forall y\in\Bbb Z^+(x<y)$

Rules of Inference problem of Kenneth Rosen 7e -Discrete Mathematics

How do I prove this statement is a tautology without using truth tables (transformation proof)?

Does putting a different quantifier changes the veracity of this linear algebra exercise?

Trending Questions

Popular # Hahtags

Popular Questions