File: quant1.mpc

package info (click to toggle)
minlog 4.0.99.20100221-6
  • links: PTS
  • area: main
  • in suites: buster, stretch
  • size: 7,060 kB
  • ctags: 4,293
  • sloc: lisp: 112,614; makefile: 257; sh: 11
file content (31 lines) | stat: -rw-r--r-- 656 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 
MPC;

alpha . x y z;

PRED alpha alpha . R;

{ all x,y.R x y -> R y x.
  { all x,y,z.R x y -> R y z -> R x z.
    { x.
      { y.
        { R x y.
          all y,z.R x y -> R y z -> R x z;
          all z.R x y -> R y z -> R x z;
          R x y -> R y x -> R x x;
          R y x -> R x x;
          all y.R x y -> R y x;
          R x y -> R y x;
          R y x;
          R x x;
        }
        R x y -> R x x;
      }
      all y.R x y -> R x x;
    }
    all x,y.R x y -> R x x;
  }
  (all x,y,z.R x y -> R y z -> R x z) -> all x,y.R x y -> R x x;
}
(all x,y.R x y -> R y x) -> (all x,y,z.R x y -> R y z -> R x z) -> all x,y.R x y -> R x x;

END;