Question

Adding and subtracting variables which are part of an interval

score 21 · Answer 1 · 2015-03-09 23:45:59

21

Views

Adding and subtracting variables which are part of an interval

Published on 09 Mar 2015 - 23:45

score 52 · Answer 2 · 2015-03-11 18:54:00

52

Views

Have troubles with contradiction of a statement

Published on 11 Mar 2015 - 18:54

score 92 · Answer 3 · 2015-03-15 14:03:47

92

Views

Which variables are free in $\forall x (\exists y (x < y+z) \to \exists z (x < y+z))$?

Published on 15 Mar 2015 - 14:03

score 375 · Answer 4 · 2015-03-16 14:02:43

375

Views

Prove DeMorgan's Theorem for indexed family of set using logic quantifiers

Published on 16 Mar 2015 - 14:02

score 849 · Answer 5 · 2026-03-27 16:26:24

849

Views

When does renaming bound variables require a fresh variable?

Published on 27 Mar 2026 - 16:26

score 14.4k · Answer 6 · 2015-03-21 16:56:49

14.4k

Views

$P(x)$ consists of the integers -2, -1, 0, 1 and 2. Write out each of these propositions using disjunctions, conjunctions and negations.

Published on 21 Mar 2015 - 16:56

score 96 · Answer 7 · 2015-03-22 00:58:51

96

Views

Universal Instantiation

Published on 22 Mar 2015 - 0:58

score 304 · Answer 8 · 2015-03-22 22:22:23

304

Views

Prenex normal form of $\neg \big(\forall x \ P(x) \vee \forall x \ Q(x) \big)$

Published on 22 Mar 2015 - 22:22

score 4.2k · Answer 9 · 2015-03-25 04:40:14

4.2k

Views

Quantifier for "there is at most one"?

Published on 25 Mar 2015 - 4:40

score 440 · Answer 10 · 2015-04-02 12:31:47

440

Views

Quantifiers for mutually distinct variables

Published on 02 Apr 2015 - 12:31

score 91 · Answer 11 · 2015-04-03 05:42:50

91

Views

Order of logical quantifiers within a statement

Published on 03 Apr 2015 - 5:42

score 148 · Answer 12 · 2015-04-07 23:49:04

148

Views

How to prove $(\forall x,y\in\mathbb{Z})(5\nmid xy\to(5\nmid x\land 5\nmid y))$

Published on 07 Apr 2015 - 23:49

score 2.5k · Answer 13 · 2015-04-09 03:56:35

2.5k

Views

Truth Value for Quantifier

Published on 09 Apr 2015 - 3:56

score 89 · Answer 14 · 2015-04-10 12:45:15

89

Views

for some or for all

Published on 10 Apr 2015 - 12:45

score 76 · Answer 15 · 2015-04-21 03:29:51

76

Views

Discrete Structures: Trying Correcting my Predicate Logic with the appropriate quantifiers

Published on 21 Apr 2015 - 3:29

List Question

Adding and subtracting variables which are part of an interval

Have troubles with contradiction of a statement

Which variables are free in $\forall x (\exists y (x < y+z) \to \exists z (x < y+z))$?

Prove DeMorgan's Theorem for indexed family of set using logic quantifiers

When does renaming bound variables require a fresh variable?

$P(x)$ consists of the integers -2, -1, 0, 1 and 2. Write out each of these propositions using disjunctions, conjunctions and negations.

Universal Instantiation

Prenex normal form of $\neg \big(\forall x \ P(x) \vee \forall x \ Q(x) \big)$

Quantifier for "there is at most one"?

Quantifiers for mutually distinct variables

Order of logical quantifiers within a statement

How to prove $(\forall x,y\in\mathbb{Z})(5\nmid xy\to(5\nmid x\land 5\nmid y))$

Truth Value for Quantifier

for some or for all

Discrete Structures: Trying Correcting my Predicate Logic with the appropriate quantifiers

Trending Questions

Popular # Hahtags

Popular Questions