Nav/Skill

Revision as of 11:39, 25 September 2008 by Marty (Talk | contribs)

(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)

The following table lists all of the skills in the wiki.

Page Link	Title
Skill/Comprehending and producing sentences with alternation of quantifiers	Comprehending and producing sentences with alternation of quantifiers
Skill/Comprehending and producing sentences with single quantifiers	Comprehending and producing sentences with single quantifiers
Skill/Declaring variables with let, suppose, and choose phrases.	Declaring variables with let, suppose, and choose phrases.
Skill/Evaluating boolean expressions involving and, or, and not	Evaluating boolean expressions involving and, or, and not
Skill/Evaluating the truth of sentences expressing implication	Evaluating the truth of sentences expressing implication
Skill/Finding the GCD with the Euclidean algorithm	Finding the GCD with the Euclidean algorithm
Skill/Installing and running a Tex package.	Installing and running a Tex package.
Skill/Negating sentences including quantifiers and boolean operations	Negating sentences including quantifiers and boolean operations
Skill/Recognizing and producing logically equivalent sentences	Recognizing and producing logically equivalent sentences