Nuprl Definition : prop_and
P ∧ Q == λL.((P L) ∧ (Q L))
Definitions occuring in Statement :
and: P ∧ Q,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
and: P ∧ Q,
apply: f a
Latex:
P \mwedge{} Q == \mlambda{}L.((P L) \mwedge{} (Q L))
Date html generated:
2016_05_14-AM-06_05_22
Last ObjectModification:
2015_09_22-PM-05_46_52
Theory : relations
Home
Index