Упражнение 1

Следующие утверждения предлагается проверить самостоятельно:

9. M, t |= (А  В), если и только если M, t |= А & В;

10. M, t |= А, если и только если M, t |= А;

11. M, t |= А, если и только если M, t |= А.