Quantum Logic Explorer |
< Previous
Next >
Nearby theorems |
||
Mirrors > Home > QLE Home > Th. List > wi2 | GIF version |
Description: If a and b are terms, so is (a →2 b). |
Ref | Expression |
---|---|
wva | term a |
wvb | term b |
Ref | Expression |
---|---|
wi2 | term (a →2 b) |
Colors of variables: term |
Copyright terms: Public domain | W3C validator |