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 Problem Set InClass The Logic Book Practice 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
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
- 00_Problem_Set.md
- Description
- 00 - Problem Set
- Creator
- Benjamin Brast-McKie
- Created on
- 2023-07-24 15:37 UTC
- Tags
- Problem Set
- Title
- 01_Problem_Set.md
- Description
- 01 - Problem Set
- Creator
- Benjamin Brast-McKie
- Created on
- 2023-08-03 14:24 UTC
- Tags
- Problem Set
- 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
- 01_Practice_Problems.md
- Description
- Practice for week 01.
- Creator
- Benjamin Brast-McKie
- Created on
- 2023-09-14 16:14 UTC
- Tags
- Practice
- Title
- 02_Problem_Set.md
- Creator
- Benjamin Brast-McKie
- Created on
- 2023-09-14 16:23 UTC
- Tags
- Problem Set
- Title
- 02_Practice_Problems.md
- Creator
- Benjamin Brast-McKie
- Created on
- 2023-09-14 18:32 UTC
- Tags
- Practice
- 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
- 06_Practice_Problems.md
- Description
- Natural Deduction
- Creator
- Benjamin Brast-McKie
- Created on
- 2023-10-14 15:05 UTC
- Tags
- Practice
- 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 3 (early).md
- Description
- 210 McGill 2023
- Creator
- Michael Hallett
- Created on
- 2023-11-30 03:34 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