Nuprl Definition : p-and

p-and(A;B) ==  A ∧ B


Definitions occuring in Statement :  and: P ∧ Q
Definitions occuring in definition :  and: P ∧ Q
FDL editor aliases :  p-and
Latex:
p-and(A;B)  ==    A  \mwedge{}  B


Date html generated: 2020_05_20-AM-08_24_33
Last ObjectModification: 2018_10_15-PM-01_16_13

Theory : lattices


Home Index