# Concept derivation guides

299 concept teaching guides, separate from the 36,000 individual question derivations.

[Search all questions & derivations →](/en/explore/)

1 1 results · Page 1 of 1



Concept guide



## [Proposition: deciding which candidate sentences are propositions, and separating 'is a proposition' from 'is proved true'](/en/derivations/derivation-mko-proposition-01/?from=%2Fen%2Fderivations%2F%3Fq%3Dmko-proposition)

In an introductory classical context, decide for each candidate whether it is a proposition, and for each proposition decide whether it is true, with reasons: s1 '7 is prime'; s2 '4 is prime'; s3 'Is 7 prime?'; s4 'Compute 3+4.'; s5 'x>0' (x an unassigned integer variable), together with closed versions of s5: substituting x=2 and x=−1, prefixing ∀x∈ℤ, and prefixing ∃x∈ℤ.

Proposition

derivation-mko-proposition-01





1 1 results · Page 1 of 1