Question

Trying to prove $p,p \to (r \to q) \vdash (\neg q \to \neg r)$ by using natural deduction.

score 1.2k · Answer 1 · 2026-03-26 20:16:44

1.2k

Views

Trying to prove $p,p \to (r \to q) \vdash (\neg q \to \neg r)$ by using natural deduction.

Published on 26 Mar 2026 - 20:16

score 98 · Answer 2 · 2016-10-30 16:13:55

98

Views

Quantifier change: from exist to forall?

Published on 30 Oct 2016 - 16:13

score 375 · Answer 3 · 2026-03-25 06:11:22

375

Views

How to express predicate logic in the categorical (monoidal) logics?

Published on 25 Mar 2026 - 6:11

score 2.5k · Answer 4 · 2016-10-31 01:36:04

2.5k

Views

When can I move a quantifier outside the scope of another quantifier? S

Published on 31 Oct 2016 - 1:36

score 225 · Answer 5 · 2016-10-31 04:49:20

225

Views

Confusion between existential and universal quantifier

Published on 31 Oct 2016 - 4:49

score 26 · Answer 6 · 2016-10-31 08:55:42

26

Views

Showing that $\forall m<n \ P(m) \implies P(n)$ and $\forall m \leq n \ P(m) \implies P(n')$ are equivalent

Published on 31 Oct 2016 - 8:55

score 2.3k · Answer 7 · 2016-10-31 09:29:01

2.3k

Views

Equality and its axioms

Published on 31 Oct 2016 - 9:29

score 680 · Answer 8 · 2026-03-26 20:16:48

680

Views

Natural Deduction First Order Logic $∃y∀x(P(x) ∨ Q(y))↔∀x∃y(P(x) ∨ Q(y))$

Published on 26 Mar 2026 - 20:16

score 82 · Answer 9 · 2026-03-29 11:05:59

82

Views

Double quantification of the same type and variable?

Published on 29 Mar 2026 - 11:05

score 81 · Answer 10 · 2026-03-26 20:26:10

81

Views

study exercise on natural deduction

Published on 26 Mar 2026 - 20:26

score 435 · Answer 11 · 2026-03-26 20:16:46

435

Views

Natural deduction proof of $a = b \rightarrow f(a) = f(b)$. Where have I gone wrong?

Published on 26 Mar 2026 - 20:16

score 1.1k · Answer 12 · 2016-11-04 17:02:44

1.1k

Views

Prove that two sets are equal

Published on 04 Nov 2016 - 17:02

score 178 · Answer 13 · 2016-11-05 12:36:31

178

Views

Directed cycles - logic first order sentence with three variables - proof of existence some sentence

Published on 05 Nov 2016 - 12:36

score 74 · Answer 14 · 2026-03-29 10:59:03

74

Views

Predicate logic universal quantifier not generally valid

Published on 29 Mar 2026 - 10:59

score 103 · Answer 15 · 2016-11-07 17:30:18

103

Views

how would you write this sentence in predicate logic?

Published on 07 Nov 2016 - 17:30

List Question

Trying to prove $p,p \to (r \to q) \vdash (\neg q \to \neg r)$ by using natural deduction.

Quantifier change: from exist to forall?

How to express predicate logic in the categorical (monoidal) logics?

When can I move a quantifier outside the scope of another quantifier? S

Confusion between existential and universal quantifier

Showing that $\forall m<n \ P(m) \implies P(n)$ and $\forall m \leq n \ P(m) \implies P(n')$ are equivalent

Equality and its axioms

Natural Deduction First Order Logic $∃y∀x(P(x) ∨ Q(y))↔∀x∃y(P(x) ∨ Q(y))$

Double quantification of the same type and variable?

study exercise on natural deduction

Natural deduction proof of $a = b \rightarrow f(a) = f(b)$. Where have I gone wrong?

Prove that two sets are equal

Directed cycles - logic first order sentence with three variables - proof of existence some sentence

Predicate logic universal quantifier not generally valid

how would you write this sentence in predicate logic?

Trending Questions

Popular # Hahtags

Popular Questions