Question

Confussion about substitution use and free variables requirement for rules of inference in natural deduction

score 265 · Answer 1 · 2016-06-03 15:06:31

265

Views

Confussion about substitution use and free variables requirement for rules of inference in natural deduction

Published on 03 Jun 2016 - 15:06

score 133 · Answer 2 · 2016-06-03 15:57:42

133

Views

Natural Deduction Problem: Predicate Logic with Identity in a Gentzen-style system

Published on 03 Jun 2016 - 15:57

score 605 · Answer 3 · 2016-06-04 22:53:22

605

Views

A question concerning discharging assumptions

Published on 04 Jun 2016 - 22:53

score 81 · Answer 4 · 2016-06-06 22:28:25

81

Views

Notation matter concerning 'or'-elimination

Published on 06 Jun 2016 - 22:28

score 2.9k · Answer 5 · 2026-03-25 17:37:53

2.9k

Views

natural deduction: introduction of universal quantifier and elimination of existential quantifier explained

Published on 25 Mar 2026 - 17:37

score 915 · Answer 6 · 2026-03-25 17:45:36

915

Views

Calculus of Natural Deduction That Works for Empty Structures

Published on 25 Mar 2026 - 17:45

score 1.3k · Answer 7 · 2026-03-26 09:27:04

1.3k

Views

Is double negation introduction an axiom of intuitionistic logic or can it be derived?

Published on 26 Mar 2026 - 9:27

score 564 · Answer 8 · 2026-03-26 09:17:39

564

Views

What exactly is the role of the material conditional in intuitionistic logic?

Published on 26 Mar 2026 - 9:17

score 168 · Answer 9 · 2026-03-26 09:26:55

168

Views

Is there a name for the propositional tautology (and it's associated rule) $Q\Rightarrow(P\Rightarrow Q)$?

Published on 26 Mar 2026 - 9:26

score 914 · Answer 10 · 2026-03-26 09:27:03

914

Views

Is it possible to eliminate a contradiction without recourse to the principle of explosion?

Published on 26 Mar 2026 - 9:27

score 270 · Answer 11 · 2016-06-20 06:04:04

270

Views

Should multiple premises of a natural deduction inference rule always have the same context?

Published on 20 Jun 2016 - 6:04

score 363 · Answer 12 · 2016-06-22 01:22:40

363

Views

Natural Deducion: assumptions can be used more than once?

Published on 22 Jun 2016 - 1:22

score 399 · Answer 13 · 2016-06-24 10:40:32

399

Views

How should I interpret this exercise from Chiswell & Hodges Mathematical Logic?

Published on 24 Jun 2016 - 10:40

score 122 · Answer 14 · 2016-06-25 13:24:58

122

Views

Predicate logic problem using natural deduction

Published on 25 Jun 2016 - 13:24

score 120 · Answer 15 · 2013-04-10 18:24:02

120

Views

Show that one cannot prove the following formula by natural deduction

Published on 10 Apr 2013 - 18:24

List Question

Confussion about substitution use and free variables requirement for rules of inference in natural deduction

Natural Deduction Problem: Predicate Logic with Identity in a Gentzen-style system

A question concerning discharging assumptions

Notation matter concerning 'or'-elimination

natural deduction: introduction of universal quantifier and elimination of existential quantifier explained

Calculus of Natural Deduction That Works for Empty Structures

Is double negation introduction an axiom of intuitionistic logic or can it be derived?

What exactly is the role of the material conditional in intuitionistic logic?

Is there a name for the propositional tautology (and it's associated rule) $Q\Rightarrow(P\Rightarrow Q)$?

Is it possible to eliminate a contradiction without recourse to the principle of explosion?

Should multiple premises of a natural deduction inference rule always have the same context?

Natural Deducion: assumptions can be used more than once?

How should I interpret this exercise from Chiswell & Hodges Mathematical Logic?

Predicate logic problem using natural deduction

Show that one cannot prove the following formula by natural deduction

Trending Questions

Popular # Hahtags

Popular Questions