Nav/Skill

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