ATS2866 - Symbolic logic - S2 2025 Course Materials & Test Answers | learning.monash.edu

Here is an intuitionistic model; call it M:

Image failed to load: An intuitionistic model; Moodle doesn't give me enough characters to describe it accessibly, alas!

Which of the following claims are true about the model M? Choose all that apply, and none that don't.

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

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

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

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

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

View this question

Crowdly