boris-marinov/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/boris-marinov/category-theory-illustrated.git synced 2024-09-11 10:36:35 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #14 from heliocorreia/master

Browse Source 
typo: lthough -> although
This commit is contained in:
boris 2021-09-28 10:21:08 +03:00 committed by GitHub
commit 9d7e3a4f06
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
_chapters/05_logic.md
View File

@ -49,7 +49,7 @@ Important to note that **∧** is the symbol for **and** and **∨** is the symb
The equivalence of primary and composite propositions
---
When looking at the last diagram, it is important to stress that, lthough in the leftmost proposition the green ball is wrapped in a gray ball to make the diagram prettier, propositions that are composed of several premises (symbolized by gray balls, containing some other balls) are not in any way different from "primary" propositions (single-color balls) and that they compose in the same way.
When looking at the last diagram, it is important to stress that, although in the leftmost proposition the green ball is wrapped in a gray ball to make the diagram prettier, propositions that are composed of several premises (symbolized by gray balls, containing some other balls) are not in any way different from "primary" propositions (single-color balls) and that they compose in the same way.
![Balls as propositions](balls_propositions.svg)