File: quant2.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 (20 lines) | stat: -rw-r--r-- 189 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
 
MPC;

alpha . x;

PRED . P;
PRED alpha . Q;

{ ex x Q x -> P.
  { x.
    { Q x.
      ex x Q x;
      P;
    }
    Q x ->P;
  }
  all x.Q x -> P;
}
(ex x Q x -> P) -> all x.Q x -> P;

END;