Nuprl Definition : pa-is-new-and

pa-is-new-and(a;v.P[v]) ==  ((fst(a)) = "new" ∈ Atom) ∧ P[snd(a)]


Definitions occuring in Statement :  pi1: fst(t),  pi2: snd(t),  and: P ∧ Q,  token: "$token",  atom: Atom,  equal: s = t ∈ T
FDL editor aliases :  pa-is-new-and
Latex:
pa-is-new-and(a;v.P[v])  ==    ((fst(a))  =  "new")  \mwedge{}  P[snd(a)]


Date html generated: 2016_05_17-PM-00_37_15
Last ObjectModification: 2013_10_26-PM-09_42_17

Theory : event-logic-applications


Home Index