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

Typo: Eng;lish → English

Browse Source 
Typo: `Eng;lish` → `English`
This commit is contained in:
Lilian Besson
2017-12-02 08:40:35 +01:00
committed by GitHub
parent 7ae3d12353
commit 5badb35f30
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ipynb/PropositionalLogic.ipynb
View File

@@ -129,7 +129,7 @@
"cell_type": "markdown",
"metadata": {},
"source": [
"Now the mechanism to process these rules. The key function is `match_rule`, which matches an English sentence against a rule. The function returns two values, a string representing the translation of the Eng;lish sentence into logic, and `defs`, a dictionary of `{Variable: \"value\"}` pairs. If `match_rule` finds that the rule matches, it recursively calls `match_rules` to match each of the subgroups of the regular expression (the `P` and `Q` in `if {P}, then {Q}`).\n",
"Now the mechanism to process these rules. The key function is `match_rule`, which matches an English sentence against a rule. The function returns two values, a string representing the translation of the English sentence into logic, and `defs`, a dictionary of `{Variable: \"value\"}` pairs. If `match_rule` finds that the rule matches, it recursively calls `match_rules` to match each of the subgroups of the regular expression (the `P` and `Q` in `if {P}, then {Q}`).\n",
"The function `match_literal` handles negations, and is where the `defs` dictionary actually gets updated."
]
},