Advanced Search

Question: or or `or` or Or or OrProp

Question:or or `or` or Or or OrProp

_Maxim_ 734
assuming orprop
September 26 2017
0

 

is(k::OrProp(even, odd)) assuming k::integer;
                             false

is(k::Or(posint, nonposint)) assuming k::integer; # a synonym for OrProp
                             false

is(`or`(k::posint, k::negint, k = 0)) assuming k::integer;
                             false

Not including the infix or because that would fail for k=0 for different reasons.

 
Please Wait...