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

Theory : lattices


Home Index