Here is an intuitionistic model; call it M :
Which of the following claims are true about the model M ? Choose all that apply, and none that don't.

Question

Here is an intuitionistic model; call it   M : 
  Which of the following claims are true about the model   M ? Choose all that apply, and none that don't.

Answer

M(r \rightarrow s, 1) = \mathbf{Y}

Answer

M((q \vee r) \rightarrow s, 1) = \mathbf{Y}

Answer

M(q \rightarrow r, 2) = \mathbf{Y}

Answer

M(
eg r, 3) = \mathbf{?}

Answer

M((q \rightarrow r) \vee t, 4) = \mathbf{Y}

Crowdly

Here is an intuitionistic model; call it M : Which of the following claims ...

Want instant access to all verified answers on learning.monash.edu?