Logic language: Difference between revisions