Which of the following things is true? Select all the true answers, and none of the others. When we're reconstructing a proof from a term, ...

Question

Accepted Answer

an application in the term means a step of   \rightarrow E in the proof

Accepted Answer

a lambda abstraction in the term means a step of   \rightarrow I in the proof

Accepted Answer

a variable in the term means an assumption in the proof, free if the assumption is open and bound if the assumption is discharged

Answer

a lambda abstraction in the term means a step of   \rightarrow E in the proof

Answer

a variable in the term means an assumption in the proof, free if the 
assumption is discharged and bound if the assumption is open

Answer

an application in the term means a step of   \rightarrow I in the proof

Crowdly