Примеры формул

1. р – по п.1 определения формул

2. s₁₁₂ – по п.1

3. Т – формула по п.2

4. Øр – по пп.1 и 3 (р – формула, отрицание любой формулы – также формула)

5. ØØØØр – формула по пп.1,3 (р – формула, отрицание любой формулы – также формула, поэтому Øр – формула; раз Øр – формула и отрицание любой формулы – в частности этой – опять дает нам формулу, то и ØØØр – формула, наконец еще раз применяем п.2 определения формулы и получаем ØØØØр)

6. (s&q) – формула по пп.1,4

7. ((s&q)& ^) - формула по пп.1,2,4

 

Договоренность об опускании внешних скобок В дальнейшем внешние скобки (первую открывающуюся и последнюю закрывающуюся) будем опускать (это не приведет к неоднозначностям в прочтении формул). Так, например, формулы ((s&q)&^), ((rÚq)ºs), ((sºs)º(rºr)) в соответствии с этой договоренностью будем записывать (s&q)&^, (rÚq)ºs, (sºs)º(rºr).

 

Примеры формул (продолжение)

8. Ø(s&q)ÚØр

9. (Ø(s&q)ÚØр)ºr

10. (Ø(s&q)ÉØр)É ((rÚr₂)Úr₁)