7.3 Examples

Introduction

In the following, we give a number of examples of formalized texts.


PrevLite: 7.2.4 If/Then
NextLite: 7.3.1 Lion and Mouse

Prev: 7.2.5 Non-literal expressions (Ad)
Up: 7 Formalizing texts
Next: 7.3.1 Lion and Mouse