Tag: quantification

6 In predicate logic, does existential quantification (∃) include universal quantification (∀), i.e. can 'some' imply 'all'? 2019-04-16T18:59:31.087

5 Multiple universal quantifiers in an argument 2015-09-06T10:11:49.187

5 What does the term "mathematical logic" mean? 2016-05-18T17:45:39.997

5 Square of Opposition with percentages? 2018-05-02T17:29:22.437

5 Can/Do there exist any quantifiers other than "there exists" and "for all"? 2020-01-02T21:27:52.090

4 Do some things not exist? 2014-08-13T15:22:46.200

4 Universal instantiation and substitution 2014-12-27T15:46:27.427

4 Proving the negation of universal quantification 2015-09-05T14:05:04.423

4 Prove ∀w(∀v((v=w∧φ(v))⇔φ(w))) 2015-10-19T00:08:52.830

4 General vs Universal 2017-01-25T04:32:33.063

3 Can you infer a house exists from the proposition "food cannot be found in any house"? 2014-12-17T19:41:19.013

3 Where should one place quantifiers when translating sentences into predicate logic? 2017-06-13T01:42:18.587

3 fallacious proof 2017-10-23T01:02:10.910

3 How to prove ‘∃xP(x)’ from ‘¬∀x(P(x)→Q(x))’ 2018-11-25T19:56:56.143

3 How to Prove P(a) → ∀x(P(x) ∨ ¬(x = a)) using Natural Deduction 2019-04-02T23:56:40.170

3 Is there a quantitative model of Bentham's Hedonic Calculus? 2019-06-03T21:25:23.540

2 How would you go on proving Law of Excluded Middle with Quantifiers? 2016-10-20T07:30:24.570

2 What does the order of nested quantifiers in predicate logic express? 2016-12-19T11:25:58.493

2 Contact and Separation 2018-05-01T21:07:52.220

2 Any solution to prove (∀x)(∃y)(Fx & Gy) ⊢ (∃y)(∀x)(Fx & Gy) with natural deduction? 2018-06-13T21:21:30.230

2 Why is faulty generalization called an informal fallacy? 2018-07-28T02:48:37.790

2 Did Quine change of opinion towards quantified modal logic? 2020-03-10T22:19:29.713

1 Can someone clear up this semantic proof of quantification logic? 2014-08-21T07:44:20.053

1 'There aren't any R that aren't B' vs 'There are R and all of them are B' 2015-05-04T18:23:40.803

1 Deduce a new quantifier that negates “there are at least two objects with property P.” 2016-08-11T04:12:32.890

1 If it can't be measured, how can we know it's not a delusion? 2017-04-13T14:31:41.517

1 Quantificational Logic Question (Determining Truth-Values) 2017-12-03T15:49:45.697

1 How can I prove ⊢(∀x)(Fx V ~Fx) with natural deduction? 2018-06-12T14:17:37.783

1 Translation from English to FOL 2018-11-26T23:54:55.177

1 What is (∃!e) in Davidson 1967? 2020-03-31T00:52:35.860

1 Which logic quantifier takes precedence when we are trying to evaluate a forumlaic interpretation? 2020-10-12T04:32:19.960

0 When are Accessibility Relations satisfied? 2018-12-15T22:34:46.137

0 Trouble translating English to FOL with Quantifiers 2019-11-26T22:02:58.537

0 Homework Question on Quantified Logic Falsehood 2020-02-18T07:23:40.813

0 what is meaning of accessibility of possible worlds? 2020-03-10T23:57:12.900

0 Can we make statements for persons/objects that cease to exist? 2020-11-28T11:32:48.107