No, and no.

I'll leave you to work your way through that, it's correct and considerably easier to deconstruct than the papers of Alonzo Church or Scott–Strachey semantics.