Index of All Documents
Filter by Tag: calgary forall x NK OpenLogic Tomassi Exercises FOL Satisfaction PL Review forallx LK LJ Practice Week 3 proofs Calgary Sentential Translation Derivations Sentential PLE Translations lógica sentencial português simbolização sintaxe operador principal Sentential Predicate Translation textbook Definitions Informal Syntax Truth Tables Syntax W22 Assignment Logic Proofs Quantifier Logic TartuLogic Teller forallx R3 Calgary TFL TFL proof natural deduction InClass The Logic Book PSet CQ rules FOL proofs 210 Assignment NEW MT derivations playground sandbox Assignment 2 210 Mcgill 2023 LO8 210 practice Contrôle continu 1 contrôle-continu-1 FOL semantics not graded practice set quantification counterexamples entailment FOL PSet2024 Practice HW 2024 MT 2024 FOL Intepretations
Publicly Shared
- Title
- Practice Exercises-06-26.md
- Creator
- Steven Swartzer
- Created on
- 2018-06-24 15:16 UTC
- Tags
- Title
- Practice Exercises-06-27.md
- Creator
- Steven Swartzer
- Created on
- 2018-06-26 05:04 UTC
- Tags
- Title
- Practice Exercises 06-28.md
- Creator
- Steven Swartzer
- Created on
- 2018-06-27 03:38 UTC
- Tags
- Title
- Practice Exercises 07-02.md
- Creator
- Steven Swartzer
- Created on
- 2018-06-28 04:34 UTC
- Tags
- Title
- Practice Exercises 07-10.md
- Creator
- Steven Swartzer
- Created on
- 2018-07-09 17:13 UTC
- Tags
- Title
- Practice Exercises - 07-16.md
- Creator
- Steven Swartzer
- Created on
- 2018-07-13 16:15 UTC
- Tags
- Title
- Practice Exercises - 07-19.md
- Creator
- Steven Swartzer
- Created on
- 2018-07-18 03:43 UTC
- Tags
- Title
- Practice Exercises - 07-25.md
- Creator
- Steven Swartzer
- Created on
- 2018-07-24 03:15 UTC
- Tags
- Title
- Practice Exercises - 7-26.md
- Creator
- Steven Swartzer
- Created on
- 2018-07-25 04:14 UTC
- Tags
- Title
- Practice Derivations for Final Exam Review.md
- Creator
- Steven Swartzer
- Created on
- 2018-07-26 19:36 UTC
- Tags
- Title
- More Practice Derivations.md
- Creator
- Steven Swartzer
- Created on
- 2018-07-27 04:04 UTC
- Tags
- Title
- chapter4practice.pandoc
- Creator
- Lindsay Brainard
- Created on
- 2018-09-24 20:28 UTC
- Tags
- Title
- chapter4mixedpractice.pandoc
- Creator
- Lindsay Brainard
- Created on
- 2018-09-27 16:42 UTC
- Tags
- Title
- chapter5practice.pandoc
- Creator
- Lindsay Brainard
- Created on
- 2018-10-02 19:43 UTC
- Tags
- Title
- chapter5mixedpractice.pandoc
- Creator
- Lindsay Brainard
- Created on
- 2018-10-04 20:22 UTC
- Tags
- Title
- chapter6practice.pandoc
- Creator
- Lindsay Brainard
- Created on
- 2018-10-15 03:06 UTC
- Tags
- Title
- chapter6practice2.pandoc
- Creator
- Lindsay Brainard
- Created on
- 2018-10-17 03:55 UTC
- Tags
- Title
- chapter8practiceEdited.pandoc
- Creator
- Lindsay Brainard
- Created on
- 2018-10-28 22:49 UTC
- Tags
- Title
- TomassiPage53Exercise2.3Number2.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:34 UTC
- Tags
- Tomassi
- Title
- TomassiPage55Exercise2.4Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:34 UTC
- Tags
- Tomassi
- Title
- TomassiPage63Exercise2.5Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:35 UTC
- Tags
- Tomassi
- Title
- TomassiPage66Exercise2.6Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:39 UTC
- Tags
- Tomassi
- Title
- TomassiPage69Exercise2.7Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:40 UTC
- Tags
- Tomassi
- Title
- TomassiPage77Exercise3.1Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:40 UTC
- Tags
- Tomassi
- Title
- TomassiPage82Exercise3.2Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:40 UTC
- Tags
- Tomassi
- Title
- TomassiPage90Exercise3.4Number2.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:42 UTC
- Tags
- Tomassi
- Title
- TomassiPage91Exercise3.5Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:42 UTC
- Tags
- Tomassi
- Title
- TomassiPage93Exercise3.6Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:42 UTC
- Tags
- Tomassi
- Title
- TomassiPage100Exercise3.7Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:42 UTC
- Tags
- Tomassi
- Title
- TomassiPage101Exercise3.8Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:43 UTC
- Tags
- Tomassi
- Title
- TomassiPage106Exercise3.9Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:43 UTC
- Tags
- Tomassi
- Title
- TomassiPage108RevisionExerciseI.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:58 UTC
- Tags
- Tomassi
- Title
- TomassiPage109RevisionExerciseII.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:58 UTC
- Tags
- Tomassi
- Title
- TomassiPage109RevisionExerciseIII.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:58 UTC
- Tags
- Tomassi
- Title
- TomassiPage110RevisionExerciseIV.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:58 UTC
- Tags
- Tomassi
- Title
- TomassiPage141Exercise4.1Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:58 UTC
- Tags
- Tomassi
- Title
- TomassiPage150Exercise4.3Number1.tex
- Creator
- Landon D. C. Elkind
- Created on
- 2020-03-20 18:58 UTC
- Tags
- Tomassi
- Title
- PL Proofs Exam Spring 2020 Makeup.tex
- Description
- SDS accommodating
- Creator
- Landon D. C. Elkind
- Created on
- 2020-04-03 15:49 UTC
- Tags
- Tomassi
- Title
- SatisfactionEx.md
- Description
- True False Exercises for FOL satisfaction
- Creator
- Gillman Payette
- Created on
- 2020-07-27 15:20 UTC
- Tags
- Exercises FOL Satisfaction
- Title
- Lavers-Practice-Problems-II.md
- Description
- Syntax assignment
- Creator
- Gregory Lavers
- Created on
- 2020-08-21 15:04 UTC
- Tags
- forallx
- Title
- Lavers-Practice-problems-III.md
- Description
- Practice with proofs
- Creator
- Gregory Lavers
- Created on
- 2020-10-15 15:00 UTC
- Tags
- proofs
- Title
- 379 Worksheet Semantics and Theories.md
- Creator
- Richard Zach
- Created on
- 2021-02-23 00:07 UTC
- Tags
- OpenLogic
- Title
- Ex 2.4.2 Trans S.md
- Description
- Exercises 2.4.2 Translation into S Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-02-27 14:03 UTC
- Tags
- Sentential Translation
- Title
- Ex 2.4.4 Trans S.md
- Description
- Exercises 2.4.4 Translation into S Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-02-27 14:47 UTC
- Tags
- Sentential Translation
- Title
- Ex 2.4.6A Trans S.md
- Description
- Exercises 2.4.6A Translation into S Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-02-27 14:48 UTC
- Tags
- Sentential Translation
- Title
- Ex 2.4.6B Trans S.md
- Description
- Exercises 2.4.6B Translation into S Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-02-27 14:49 UTC
- Tags
- Sentential Translation
- Title
- Ex 4.1.7 SD.md
- Description
- Exercises 4.1.7 Derivations in SD Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-03-03 21:26 UTC
- Tags
- Derivations Sentential
- Title
- PLE Translation - Arithmetic Relations (Learning to Quantify) (1).md
- Creator
- William Melanson
- Created on
- 2021-04-17 21:06 UTC
- Tags
- PLE Translations
- Title
- PLE Translation - Arithmetic Relations (Learning to Quantify) (2).md
- Creator
- William Melanson
- Created on
- 2021-04-17 21:06 UTC
- Tags
- PLE Translations
- Title
- logica-proposicional-linguagem-1.md
- Description
- Linguagem proposicional -- exercícios de simbolização
- Creator
- Diego Fernandes
- Created on
- 2021-04-21 22:56 UTC
- Tags
- lógica sentencial português simbolização
- Title
- logica-proposicional-linguagem-sintax-1.md
- Description
- Lógica Proposicional -- sintaxe e operador principal
- Creator
- Diego Fernandes
- Created on
- 2021-04-22 00:23 UTC
- Tags
- sintaxe lógica sentencial operador principal português
- Title
- Bertie SD 1-10.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-04-25 13:29 UTC
- Tags
- Derivations Sentential
- Title
- Bertie SD 11-20.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-04-25 13:29 UTC
- Tags
- Derivations Sentential
- Title
- Bertie SD 21-30.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-04-25 13:29 UTC
- Tags
- Derivations Sentential
- Title
- Bertie SD 31-40.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-04-25 13:29 UTC
- Tags
- Derivations Sentential
- Title
- Bertie SD 41-50.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-04-25 13:29 UTC
- Tags
- Derivations Sentential
- Title
- Bertie SDE 1-13.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-04-25 13:30 UTC
- Tags
- Derivations Sentential
- Title
- Bertie SDE 14-25.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-04-25 13:30 UTC
- Tags
- Derivations Sentential
- Title
- Ex 4.3.1 SD.md
- Description
- Exercises 4.3.1 Derivations in SD Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-04-25 13:30 UTC
- Tags
- Derivations Sentential
- Title
- Ex 4.4.2 SDE.md
- Description
- Exercises 4.4.2 Derivations in SDE Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-04-25 13:30 UTC
- Tags
- Derivations Sentential
- Title
- Ex 4.4.4 SDE.md
- Description
- Exercises 4.4.4 Derivations in SDE Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-04-25 13:30 UTC
- Tags
- Derivations Sentential
- Title
- Bertie PD 1-10.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-05-02 15:36 UTC
- Tags
- Derivations Predicate
- Title
- Bertie PD 11-20.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-05-02 17:00 UTC
- Tags
- Derivations Predicate
- Title
- Bertie PD 21-30.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-05-02 18:00 UTC
- Tags
- Derivations Predicate
- Title
- Bertie PD 31-40.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-05-02 18:00 UTC
- Tags
- Derivations Predicate
- Title
- Bertie PD 41-53.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-05-02 18:00 UTC
- Tags
- Derivations Predicate
- Title
- Bertie PDE 1-14.md
- Description
- Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
- Creator
- Paul Gregory
- Created on
- 2021-05-02 18:00 UTC
- Tags
- Derivations Predicate
- Title
- Ex 5.3.2 Trans P.md
- Description
- Exercises 5.3.2 Translation into P Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-05-03 13:35 UTC
- Tags
- Predicate Translation
- Title
- Ex 5.4.4 Trans P.md
- Description
- Exercises 5.4.4 Translation into P Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-05-03 14:37 UTC
- Tags
- Predicate Translation
- Title
- Ex 5.3.4 Trans P.md
- Description
- Exercises 5.3.4 Translation into P Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-05-03 15:36 UTC
- Tags
- Predicate Translation
- Title
- Ex 5.4.2 Trans P.md
- Description
- Exercises 5.4.2 Translation into P Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-05-03 15:36 UTC
- Tags
- Predicate Translation
- Title
- Ex 7.1.5 PD.md
- Description
- Exercises 7.1.5 Derivations in PD Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-05-03 18:12 UTC
- Tags
- Derivations Predicate
- Title
- Ex 7.3.1 PD.md
- Description
- Exercises 7.3.1 Derivations in PD Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-05-03 18:12 UTC
- Tags
- Derivations Predicate
- Title
- Ex 7.4.2 PDE.md
- Description
- Exercises 7.4.2 Derivations in PD Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2021-05-03 18:12 UTC
- Tags
- Derivations Predicate
- Title
- forallxyyc-f20.pdf
- Description
- Textbook, also available here: https://forallx.openlogicproject.org/forallxyyc-f20.pdf
- Creator
- M. A. Parks
- Created on
- 2021-07-26 02:42 UTC
- Tags
- textbook
- Title
- Ex 1.6 Chapter 1.md
- Creator
- Paul Gregory
- Created on
- 2021-08-27 14:41 UTC
- Tags
- Definitions Informal
- Title
- Ex 2.3.3 Syntax S.md
- Creator
- Paul Gregory
- Created on
- 2021-08-27 19:02 UTC
- Tags
- Syntax Sentential
- Title
- Ex 3.2.1 Tables.md
- Creator
- Paul Gregory
- Created on
- 2021-08-30 18:20 UTC
- Tags
- Sentential Truth Tables
- Title
- Ex 3.3.1 Tables.md
- Creator
- Paul Gregory
- Created on
- 2021-08-30 18:20 UTC
- Tags
- Sentential Truth Tables
- Title
- Ex 4.1.7 C.md
- Creator
- Paul Gregory
- Created on
- 2021-09-09 19:09 UTC
- Tags
- Derivations Sentential
- Title
- Ex 4.1.7 A&B.md
- Creator
- Paul Gregory
- Created on
- 2021-09-09 19:09 UTC
- Tags
- Derivations Sentential
- Title
- Week 02.md
- Description
- Week 2 assignment for Phil 305 - W22
- Creator
- Brian Weatherson
- Created on
- 2021-12-13 21:40 UTC
- Tags
- W22
- Title
- Week 03.md
- Description
- Week 3 assignment - W22
- Creator
- Brian Weatherson
- Created on
- 2021-12-13 21:40 UTC
- Tags
- W22
- Title
- Week 05.md
- Description
- Week 5 assignment - W22
- Creator
- Brian Weatherson
- Created on
- 2021-12-13 21:40 UTC
- Tags
- W22
- Title
- Week 06.md
- Description
- Week 6 assignment - W22
- Creator
- Brian Weatherson
- Created on
- 2021-12-13 21:40 UTC
- Tags
- W22
- Title
- Problem Set 1.txt
- Creator
- Cullin Brown
- Created on
- 2022-02-09 15:09 UTC
- Tags
- forall x
- Title
- Problem Set 2.txt
- Creator
- Cullin Brown
- Created on
- 2022-02-22 22:44 UTC
- Tags
- forall x
- Title
- Replacement Rules Practice.txt
- Creator
- Cullin Brown
- Created on
- 2022-04-03 15:07 UTC
- Tags
- forall x
- Title
- Problem Set 3.txt
- Description
- Proofs using rules or replacement; symbolizations in QL
- Creator
- Cullin Brown
- Created on
- 2022-04-03 17:18 UTC
- Tags
- forall x
- Title
- Assignment-7-QL-Proofs.tex
- Description
- Assignment-7-PHIL-215
- Creator
- Landon D. C. Elkind
- Created on
- 2022-04-23 17:06 UTC
- Tags
- Assignment Logic Proofs Quantifier Logic Tomassi
- Title
- Proof Playground.txt
- Creator
- Cullin Brown
- Created on
- 2022-04-29 18:22 UTC
- Tags
- forall x
- Title
- Problem Set 4.txt
- Creator
- Cullin Brown
- Created on
- 2022-04-29 18:54 UTC
- Tags
- forall x
- Title
- Pro Ex 2-1 T4-5.md
- Description
- Proficiency Exercises 2-1 Topics 4-5 #1 Prof. Gregory’s Formal Logic
- Creator
- Paul Gregory
- Created on
- 2022-06-08 16:45 UTC
- Tags
- Sentential Translation
- Title
- estonian_exercises_forallxCalgary_chapter_1.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-06-30 07:43 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_2.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-06-30 08:00 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_3.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-06-30 08:12 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_1.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-06-30 08:28 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_2.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-06-30 08:28 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_5.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-06-30 14:11 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_6.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-06-30 14:11 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_7.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-06-30 14:11 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_5.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-06-30 14:12 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_6.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-06-30 14:12 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_7.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-06-30 14:12 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_11.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-01 08:20 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_12.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-01 08:20 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_11.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-01 08:20 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_12.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-01 08:20 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_13.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-01 13:10 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_13.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-01 13:22 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_14.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-01 15:33 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_14.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-01 15:33 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_16.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-05 15:04 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_16.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-05 15:04 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_17.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 09:40 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_18.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 09:40 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_19.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 09:40 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_17.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 09:41 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_18.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 09:41 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_19.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 09:41 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_20.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 09:49 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_21.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 09:49 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_20.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 09:50 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_21.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 09:50 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_23.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 15:09 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_23.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-06 15:09 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_32.md
- Creator
- Alex Davies
- Created on
- 2022-07-07 10:02 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_24.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:27 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_25.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:28 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_26.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:28 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_27.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:28 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_28.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:28 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_30.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:29 UTC
- Tags
- TartuLogic
- Title
- english_exercises_forallxCalgary_chapter_32.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:29 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_24.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:29 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_25.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:29 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_26.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:29 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_27.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:30 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_28.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:30 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_30.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:30 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_32.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-07-07 13:30 UTC
- Tags
- TartuLogic
- Title
- Truth Tables and Logical Equivalency.md
- Description
- Truth Tables and Logical Equivalency
- Creator
- Matt Haber
- Created on
- 2022-09-01 16:51 UTC
- Tags
- Teller
- Title
- Loomuliku tuletuse manguvaljak.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-10-20 12:48 UTC
- Tags
- TartuLogic
- Title
- Natural Deduction Playground.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-10-20 13:02 UTC
- Tags
- TartuLogic
- Title
- estonian_exercises_forallxCalgary_chapter_27_with_estonian_definiteness.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-11-24 10:01 UTC
- Tags
- TartuLogic
- Title
- Mod2ex.txt
- Description
- These are translation exercises for Module 2 of forallx:R3
- Creator
- Davis Smith
- Created on
- 2022-12-28 19:22 UTC
- Tags
- forallx R3
- Title
- Truth Table Practice.txt
- Description
- These are Practice Problems (with explanations) for Truth Tables in forallx:R3 (Module 3). This is a slight edit of work done by Richard Zach
- Creator
- Davis Smith
- Created on
- 2023-01-25 17:44 UTC
- Tags
- forallx R3
- Title
- Practice Problems Symbolization.txt
- Description
- These are practice problems (with some explanation) for symbolization in Module 2 of forallx:R3. These are a slight modification of the explanation given by Richard Zach.
- Creator
- Davis Smith
- Created on
- 2023-01-25 20:01 UTC
- Tags
- forallx R3
- Title
- Practice Problems PL Proofs 2.txt
- Description
- These are practice problems for module 5 of forall x:R3 along with explanations
- Creator
- Davis Smith
- Created on
- 2023-01-26 19:41 UTC
- Tags
- forallx R3
- Title
- Practice Problems PL Proofs 3.txt
- Description
- These are some explanations and example exercises for Module 5 of forallx: R3. This is the second installment, handling indirect proofs.
- Creator
- Davis Smith
- Created on
- 2023-01-29 18:53 UTC
- Tags
- forallx R3
- Title
- Practice Page QL Symbolization.txt
- Description
- This is a Practice Page for QL Symbolization, covered in Module 6 of forallx:R3. It is based on similar content made by Richard Zach.
- Creator
- Davis Smith
- Created on
- 2023-02-05 19:57 UTC
- Tags
- forallx R3
- Title
- Practice Page Interpretations for QL.txt
- Description
- This is a Practice Page for Interpretations for QL, this covers the basic stuff in Module 7 of forallx R3
- Creator
- Davis Smith
- Created on
- 2023-02-12 20:49 UTC
- Tags
- forallx R3
- Title
- CYK8.txt
- Description
- These are Check Your Knowledge problems for Module 8 of forallx R3
- Creator
- Davis Smith
- Created on
- 2023-02-20 16:21 UTC
- Tags
- forallx R3
- Title
- demo.md
- Description
- demo with mock JSON data
- Creator
- Litman Huang
- Created on
- 2023-08-04 10:44 UTC
- Tags
- Title
- demotable.js
- Description
- demo with mock JSON data
- Creator
- Litman Huang
- Created on
- 2023-08-04 10:51 UTC
- Tags
- Title
- Lecture-04-in-class.md
- Creator
- Bernhard Nickel
- Created on
- 2023-08-20 16:09 UTC
- Tags
- InClass
- Title
- Practice1-TranslateSL.md
- Description
- Sentential Logic: translation
- Creator
- Dilip Ninan
- Created on
- 2023-08-31 15:32 UTC
- Tags
- The Logic Book
- Title
- Lecture-05-In-class-01_Basic_Truth-tables.md
- Creator
- Bernhard Nickel
- Created on
- 2023-09-20 01:01 UTC
- Tags
- InClass
- Title
- PS-02-Carnap-Part-I.md
- Creator
- Bernhard Nickel
- Created on
- 2023-09-20 11:46 UTC
- Tags
- PSet
- Title
- PS-02-Carnap-Part-II.md
- Creator
- Bernhard Nickel
- Created on
- 2023-09-20 11:46 UTC
- Tags
- PSet
- Title
- 207 FOL Proof Sandbox.md
- Creator
- Stephen McLeod
- Created on
- 2023-09-25 09:15 UTC
- Tags
- CQ rules Calgary FOL proofs forall x natural deduction
- Title
- 210, 2023 Assignment 1, Carnap.md
- Description
- First Assignment, 2023
- Creator
- Michael Hallett
- Created on
- 2023-09-28 15:38 UTC
- Tags
- 210 Assignment
- Title
- 210, 2023 Assignment 1 (early), Carnap.md
- Description
- First Assignment 2023, early
- Creator
- Michael Hallett
- Created on
- 2023-09-28 15:39 UTC
- Tags
- 210 Assignment
- Title
- ConditionalProofPracticeProblemsSet1.txt
- Creator
- Jeffrey Snapper
- Created on
- 2023-10-04 15:27 UTC
- Tags
- NEW
- Title
- 10-carnap.md
- Description
- In Class Exercise for Lecture 10
- Creator
- Bernhard Nickel
- Created on
- 2023-10-16 00:14 UTC
- Tags
- InClass
- Title
- 11-Carnap.md
- Description
- In Class Exercises for Lecture 11
- Creator
- Bernhard Nickel
- Created on
- 2023-10-17 21:39 UTC
- Tags
- InClass
- Title
- PS-05-Carnap-final.md
- Creator
- Bernhard Nickel
- Created on
- 2023-10-18 15:51 UTC
- Tags
- PSet
- Title
- 210 McGill 2023, Carnap Mid-Term.md
- Description
- Mid-Term Carnap 2023
- Creator
- Michael Hallett
- Created on
- 2023-10-18 19:53 UTC
- Tags
- MT
- Title
- 11-carnap-correct.md
- Creator
- Bernhard Nickel
- Created on
- 2023-10-18 21:14 UTC
- Tags
- InClass
- Title
- PS-06-Carnap-final.md
- Creator
- Bernhard Nickel
- Created on
- 2023-10-25 15:43 UTC
- Tags
- PSet
- Title
- PS-06-Carnap-Exercise-2-2.md
- Creator
- Bernhard Nickel
- Created on
- 2023-10-26 01:55 UTC
- Tags
- PSet
- Title
- PS-07-Carnap-final.md
- Creator
- Bernhard Nickel
- Created on
- 2023-10-30 14:40 UTC
- Tags
- PSet
- Title
- testing 8.txt
- Creator
- Loogika Õppejõud
- Created on
- 2023-11-09 16:41 UTC
- Tags
- TartuLogic
- Title
- Logic Sandbox.txt
- Description
- Sandbox/Playground to test derivations.
- Creator
- Bhavya Sharma
- Created on
- 2023-11-16 07:34 UTC
- Tags
- derivations playground sandbox
- Title
- 210 McGill 2023, Carnap Assignment 2.md
- Description
- 210 McG 2023, Assignment 2
- Creator
- Michael Hallett
- Created on
- 2023-11-17 19:38 UTC
- Tags
- Assignment 2 210 Mcgill 2023
- Title
- Chapter 24B and 24C.md
- Creator
- Jill Rusin
- Created on
- 2023-11-20 01:12 UTC
- Tags
- LO8
- Title
- Loomuliku tuletuse manguvaljak_FOL.md
- Creator
- Loogika Õppejõud
- Created on
- 2023-11-21 20:57 UTC
- Tags
- TartuLogic
- Title
- 210 McGill 2023, Carnap Assignment 3.md
- Description
- 210 2023 McGill Assignment 3
- Creator
- Michael Hallett
- Created on
- 2023-11-30 03:13 UTC
- Tags
- 210
- Title
- 210 McGill 2023, Carnap Assignment 2 (medical).md
- Description
- Medical, Assignment 2
- Creator
- Michael Hallett
- Created on
- 2023-12-01 17:57 UTC
- Tags
- 210
- Title
- Practice Problems 6.md
- Description
- Some practice problems on TFL natural deduction as presented in forall x: Calgary. These only use the rules for reiteration, as well as conjunction and conditional introduction and elimination
- Creator
- Chris Blake-Turner
- Created on
- 2024-02-18 14:45 UTC
- Tags
- TFL calgary forall x natural deduction practice
- Title
- Practice Problems 9.md
- Description
- Some practice problems on TFL natural deduction proofs using all the rules presented in chapters 17 and 19 of forall x: Calgary. Also some proof-theoretic concept demonstration
- Creator
- Chris Blake-Turner
- Created on
- 2024-03-07 22:10 UTC
- Tags
- TFL calgary forall x natural deduction proofs
- Title
- L3-CC1-2024.md
- Description
- L3 - Premier contrôle continu - 11 mars 2024
- Creator
- Joseph Vidal-Rosset
- Created on
- 2024-03-10 14:27 UTC
- Tags
- Contrôle continu 1
- Title
- L2-CC1-2024.md
- Creator
- Joseph Vidal-Rosset
- Created on
- 2024-03-13 09:05 UTC
- Tags
- contrôle-continu-1
- Title
- W11-ES1-PS1.md
- Description
- W11-ES1-PS1: First exercise and practice set in the Semantics of FOL (not graded!)
- Creator
- Ioan Muntean
- Created on
- 2024-03-23 16:13 UTC
- Tags
- FOL semantics not graded practice set
- Title
- L2-proofs-with-quantifiers-2.md
- Creator
- Joseph Vidal-Rosset
- Created on
- 2024-03-27 12:20 UTC
- Tags
- quantification
- Title
- W12-T1 counterexamples.md
- Description
- W12-T1, the sixth graded test on Carnap, the first test on FOL with identity: symbolization and semantics (mostly validity and entailment)
- Creator
- Ioan Muntean
- Created on
- 2024-04-05 01:40 UTC
- Tags
- FOL semantics counterexamples entailment
- Title
- L3-L2-Natural-Deduction-in-FOL.md
- Description
- 60 Natural Deduction Exercises for First-Order Logic
- Creator
- Joseph Vidal-Rosset
- Created on
- 2024-04-19 09:34 UTC
- Tags
- FOL
- Title
- 00_Problem_Set.md
- Description
- Meet Carnap
- Creator
- Benjamin Brast-McKie
- Created on
- 2024-08-28 20:34 UTC
- Tags
- PSet2024
- Title
- 01_Problem_Set.md
- Description
- Regimentation problem set for Chapter 01.
- Creator
- Benjamin Brast-McKie
- Created on
- 2024-09-08 19:55 UTC
- Tags
- PSet2024
- Title
- Week 2, Practice Problems, 1.md
- Description
- Week 2, Practice
- Creator
- Michael Hallett
- Created on
- 2024-09-11 03:23 UTC
- Tags
- Practice
- Title
- Week 2, Practice Problems, 2.md
- Description
- Week 2, Practice, 2
- Creator
- Michael Hallett
- Created on
- 2024-09-11 03:43 UTC
- Tags
- Practice
- Title
- 02_Problem_Set.md
- Description
- Truth tables.
- Creator
- Benjamin Brast-McKie
- Created on
- 2024-09-16 02:52 UTC
- Tags
- PSet2024
- Title
- Week 3 Practice Problems 1, Truth-Tables.md
- Description
- Practice, TT 1
- Creator
- Michael Hallett
- Created on
- 2024-09-16 22:32 UTC
- Tags
- Practice
- Title
- Week 3 Practice Problems 2, Truth-Tables.md
- Description
- Practice, TT 2
- Creator
- Michael Hallett
- Created on
- 2024-09-16 22:36 UTC
- Tags
- Practice
- Title
- Week 3 Practice Problems 3, TT for Validity.md
- Description
- Practice, TT 3
- Creator
- Michael Hallett
- Created on
- 2024-09-16 22:37 UTC
- Tags
- Practice
- Title
- Weeks 3, 4 More Carnap Practice with Truth-tables.md
- Description
- Practice, TT, 4
- Creator
- Michael Hallett
- Created on
- 2024-09-16 22:40 UTC
- Tags
- Practice
- Title
- test1_HW4.md
- Creator
- Jaehyun Lee
- Created on
- 2024-09-17 22:05 UTC
- Tags
- HW
- Title
- 03_Problem_Set.md
- Description
- Propositional logic.
- Creator
- Benjamin Brast-McKie
- Created on
- 2024-09-22 20:22 UTC
- Tags
- PSet2024
- Title
- 04_Problem_Set.md
- Description
- PL derivations.
- Creator
- Benjamin Brast-McKie
- Created on
- 2024-09-29 23:13 UTC
- Tags
- PSet2024
- Title
- Midterm_Practice.md
- Description
- Natural deduction with identity.
- Creator
- Benjamin Brast-McKie
- Created on
- 2024-10-11 22:07 UTC
- Tags
- Practice
- Title
- 2024-Carnap-Reference.md
- Creator
- Bernhard Nickel
- Created on
- 2024-10-15 02:20 UTC
- Tags
- 2024
- Title
- 07_Problem_Set.md
- Description
- Regimentation in FOL
- Creator
- Benjamin Brast-McKie
- Created on
- 2024-10-20 21:29 UTC
- Tags
- PSet2024
- Title
- 2024-Carnap-Reference-Derived.md
- Creator
- Bernhard Nickel
- Created on
- 2024-10-21 05:29 UTC
- Tags
- 2024
- Title
- 210 McGill 2024, Carnap Mid-Term.md
- Description
- Mid-Term Exam 2024
- Creator
- Michael Hallett
- Created on
- 2024-10-24 23:23 UTC
- Tags
- MT 2024
- Title
- 08_Problem_Set.md
- Description
- Semantics for FOL.
- Creator
- Benjamin Brast-McKie
- Created on
- 2024-10-27 16:18 UTC
- Tags
- PSet2024
- Title
- 2024-Carnap-Reference-FOL.md
- Creator
- Bernhard Nickel
- Created on
- 2024-10-28 06:43 UTC
- Tags
- 2024
- Title
- 09_Problem_Set.md
- Description
- Semantics for FOL with identity.
- Creator
- Benjamin Brast-McKie
- Created on
- 2024-11-03 18:28 UTC
- Tags
- PSet2024
- Title
- 10_Problem_Set.md
- Description
- FOL derivations.
- Creator
- Benjamin Brast-McKie
- Created on
- 2024-11-11 01:34 UTC
- Tags
- PSet2024
- Title
- Week 10, FOL Practice Problems 4 (Interpretations).md
- Creator
- Michael Hallett
- Created on
- 2024-11-15 16:35 UTC
- Tags
- FOL Intepretations Practice
- Title
- 11_Problem_Set.md
- Description
- Natural deduction with identity.
- Creator
- Benjamin Brast-McKie
- Created on
- 2024-11-17 19:13 UTC
- Tags
- PSet2024
- Title
- M6-PS2 optional Phil 1300 Fall 2024.md
- Description
- The second practice set for M6 (optional!) for Honors students and for extra credit. Not an exercise set for credit. This is referred in lecture M6-L4 as W7-T1 a test delivered in a Spring 2024 class.
- Creator
- Ioan Muntean
- Created on
- 2024-11-23 19:25 UTC
- Tags