94 "(True=P) = P", "(P=True) = P", |
94 "(True=P) = P", "(P=True) = P", |
95 "(True --> P) = P", "(False --> P) = True", |
95 "(True --> P) = P", "(False --> P) = True", |
96 "(P --> True) = True", "(P --> P) = True", |
96 "(P --> True) = True", "(P --> P) = True", |
97 "(P --> False) = (~P)", "(P --> ~P) = (~P)", |
97 "(P --> False) = (~P)", "(P --> ~P) = (~P)", |
98 "(P & True) = P", "(True & P) = P", |
98 "(P & True) = P", "(True & P) = P", |
99 "(P & False) = False", "(False & P) = False", "(P & P) = P", |
99 "(P & False) = False", "(False & P) = False", |
|
100 "(P & P) = P", "(P & (P & Q)) = (P & Q)", |
100 "(P | True) = True", "(True | P) = True", |
101 "(P | True) = True", "(True | P) = True", |
101 "(P | False) = P", "(False | P) = P", "(P | P) = P", |
102 "(P | False) = P", "(False | P) = P", |
|
103 "(P | P) = P", "(P | (P | Q)) = (P | Q)", |
102 "((~P) = (~Q)) = (P=Q)", |
104 "((~P) = (~Q)) = (P=Q)", |
103 "(!x.P) = P", "(? x.P) = P", "? x. x=t", "? x. t=x", |
105 "(!x.P) = P", "(? x.P) = P", "? x. x=t", "? x. t=x", |
104 "(? x. x=t & P(x)) = P(t)", "(? x. t=x & P(x)) = P(t)", |
106 "(? x. x=t & P(x)) = P(t)", "(? x. t=x & P(x)) = P(t)", |
105 "(! x. x=t --> P(x)) = P(t)", "(! x. t=x --> P(x)) = P(t)" ]; |
107 "(! x. x=t --> P(x)) = P(t)", "(! x. t=x --> P(x)) = P(t)" ]; |
106 |
108 |