Nuprl Definition : predicate-or

predicate-or(A;B) ==  λp.let x,y = p in (A x) ∨ (B y)


Definitions occuring in Statement :  or: P ∨ Q,  apply: f a,  lambda: λx.A[x],  spread: spread def
Definitions occuring in definition :  lambda: λx.A[x],  spread: spread def,  or: P ∨ Q,  apply: f a
FDL editor aliases :  predicate-or
Latex:
predicate-or(A;B)  ==    \mlambda{}p.let  x,y  =  p  in  (A  x)  \mvee{}  (B  y)


Date html generated: 2016_05_14-PM-04_09_03
Last ObjectModification: 2015_09_22-PM-06_02_14

Theory : fan-theorem


Home Index