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: 2019_10_31-AM-07_20_03
Last ObjectModification: 2018_10_15-PM-01_27_04

Theory : lattices


Home Index