Jumaruba / LPL-solutions

Solutions for the book "Language Proof and Logic".

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

LPL_solutions

Here you can find some solutions of the book "Language Proof and Logic".
Some files are in prf format, which means it needs to be visualized at the Fitch program.
With the update (01 semptember 2019) each file can be visualized as jpg format.

If you are not finding a specific problem, search on All_Files. If you still didn't find it, write a report on Issues

This is a repository for study purpose. Feel free to contribute.

GradeGrinder

Do not submit this to GradeGrinder, it will flag you as cheating.

Instructions to execute

In case you're not used to github, to execute a specific file, please follow these instructions:

Clone

Clone the repo by making the zip download.

After downloading the zip, extract it.

Executing

Open your Fitch program and select the open option.

Then select the .prf file that you have just downloaded.
For the .wld files the procedure if pretty much the same, but instead of opening the Fitch program, open the tarski world prog.

Updates

Update 01 of September 2019 Added Images of each file. These images can be found grouped at Images. All files can be found at All_Files to make your research easier.
Update 13 of December 2019 Added Proof 13.37
Update 13 of December 2019 Accept merge commits by martineizayaga [chapter 10] and exogenesis18
Update 08 of April 2020 Added more images and instructions for how executing
Update 20 of June 2022 Accept merge commits by Davi0k

About

Solutions for the book "Language Proof and Logic".

License:MIT License