# Translating English Sentences into Propositional Logic Statements

DevFeed: [Translating English Sentences into Propositional Logic Statements](<https://devfeed.tech/articles/translating-english-sentences-into-propositional-logic-statements-40533.md>)

Original publisher: [Read original article](<http://nbviewer.ipython.org/url/norvig.com/ipython/PropositionalLogic.ipynb>)

Published: 2016-10-01T00:00:00Z

Content type: tutorial

Language: en

Sources: [Peter Norvig](<https://devfeed.tech/sources/peter-norvig.md>)

Topics: [Math and Logic](<https://devfeed.tech/topics/math-and-logic.md>), [function](<https://devfeed.tech/topics/function.md>)

Tags: [logic](<https://devfeed.tech/tags/logic.md>), [program](<https://devfeed.tech/tags/program.md>), [regular-expressions](<https://devfeed.tech/tags/regular-expressions.md>), [rules](<https://devfeed.tech/tags/rules.md>), [translation](<https://devfeed.tech/tags/translation.md>)

## AI overview

This tutorial presents a program that translates many informal English sentences into formal propositional-logic statements. It explains an ordered set of translation rules, recursive processing, propositional-symbol definitions, regular expressions, and test cases, while noting that the approach is limited and can produce errors.

## Source excerpt

Automatically converting informal English sentences into formal Propositional Logic.