Index of All Documents
Filter by Tag: calgary forall x NK OpenLogic Tomassi 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 F2021 Undergrad W22 Assignment Logic Proofs Quantifier Logic TartuLogic UT Logic Teller lecture notes images practice forallx R3 Calgary TFL TFL proof natural deduction
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
- 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
- L_challenge1.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-08-19 08:49 UTC
- Tags
- UT Logic
- 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
- N_challenge2.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-03 16:13 UTC
- Tags
- TartuLogic
- Title
- L_challenge11.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-04 10:33 UTC
- Tags
- UT Logic
- Title
- N_challenge8.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 08:00 UTC
- Tags
- TartuLogic
- Title
- N_challenge4.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 08:00 UTC
- Tags
- TartuLogic
- Title
- N_challenge10.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 08:01 UTC
- Tags
- TartuLogic
- Title
- A_challenge3.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 08:02 UTC
- Tags
- TartuLogic
- Title
- A_challenge3_eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 09:36 UTC
- Tags
- TartuLogic
- Title
- L_challenge1 _eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 09:38 UTC
- Tags
- TartuLogic
- Title
- L_challenge11_eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 09:38 UTC
- Tags
- TartuLogic
- Title
- L_challenge7_eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 09:40 UTC
- Tags
- TartuLogic
- Title
- L_challenge6_eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 09:40 UTC
- Tags
- TartuLogic
- Title
- N_challenge8_eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 09:40 UTC
- Tags
- TartuLogic
- Title
- N_challenge4_eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 09:40 UTC
- Tags
- TartuLogic
- Title
- N_challenge2_eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 09:40 UTC
- Tags
- TartuLogic
- Title
- N_challenge10_eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 09:40 UTC
- Tags
- TartuLogic
- Title
- A_challenge5.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 10:41 UTC
- Tags
- TartuLogic
- Title
- A_challenge5_eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 10:41 UTC
- Tags
- TartuLogic
- Title
- A_challenge9.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 11:09 UTC
- Tags
- TartuLogic
- Title
- A_challenge9_eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 11:10 UTC
- Tags
- TartuLogic
- Title
- A_challenge12.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 11:10 UTC
- Tags
- TartuLogic
- Title
- A_challenge12_eesti.md
- Creator
- Loogika Õppejõud
- Created on
- 2022-09-07 11:10 UTC
- Tags
- TartuLogic
- Title
- 5.2. the problem with conditionals.md
- Description
- more limits of propositional logic
- Creator
- Gabriel Uzquiano
- Created on
- 2022-10-03 15:47 UTC
- Tags
- lecture notes
- 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
- more practice translation.md
- Description
- more practice translation into quantificational logic
- Creator
- Gabriel Uzquiano
- Created on
- 2022-11-10 18:22 UTC
- Tags
- practice
- Title
- more practice translation solutions.md
- Description
- more practice translation solutions
- Creator
- Gabriel Uzquiano
- Created on
- 2022-11-10 18:36 UTC
- Tags
- practice
- Title
- more practice derivations in quantificational logic solutions.md
- Creator
- Gabriel Uzquiano
- Created on
- 2022-11-11 00:49 UTC
- Tags
- practice
- 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