logie english2logic

how to translate natural English into formal logic

very much a work in progress

introduction

an example

introduction

logie english2logic
Although it says "English" in the title the procedure applies to other natural languages, albeit with some subtle differences which I'm sure you can work out for yourself.

an example

logie english2logic