Nuprl Definition : p-or

p-or(A;B) ==  A ∨ B


Definitions occuring in Statement :  or: P ∨ Q
Definitions occuring in definition :  or: P ∨ Q
FDL editor aliases :  p-or
Latex:
p-or(A;B)  ==    A  \mvee{}  B


Date html generated: 2020_05_20-AM-08_24_39
Last ObjectModification: 2018_10_15-PM-01_27_04

Theory : lattices


Home Index