daviddoji/pytudes
1
0 Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Typo: poropositional → propositional

Browse Source 
Typo: `poropositional` → `propositional`
This commit is contained in:
Lilian Besson authored and GitHub committed 2017-12-02 08:32:12 +01:00
1 parent 10324c5a8a
commit 7ae3d12353
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
ipynb/PropositionalLogic.ipynb
+1 -1
View File
@@ -435,7 +435,7 @@
"source": [ "source": [
"That looks pretty good! But far from perfect. Here are some errors:\n", "That looks pretty good! But far from perfect. Here are some errors:\n",
"\n", "\n",
"* `Should I stay` *etc.*:<br>questions are not poropositional statements.\n", "* `Should I stay` *etc.*:<br>questions are not propositional statements.\n",
"\n", "\n",
"* `If I were a carpenter`:<br>doesn't handle modal logic.\n", "* `If I were a carpenter`:<br>doesn't handle modal logic.\n",
"\n", "\n",