The Best Crossword Puzzle Maker Online
Powered by BrightSprout
Save Status:
or to save your progress. The page will not refresh.
Controls:
SPACEBAR SWITCHES TYPING DIRECTION
Answer Key:
Edit a Copy:
Make Your Own:
Crossword Word Search Worksheet
Rate This Puzzle:
Log in or sign up to rate this puzzle.

Reasoning Blue Book

Across
This rule is a valid argument form that can be used to justify a step in a proof.
Special rule which allows us to assume a negation of a proposition, deduce a self-contradiction and conclude a proposition
(p q) (`~q ~p)
A valid argument which presents a choice between two conditionals
Backwards horse show means
Down
This rule is a form of equivalence that can be used to justify a step in a proof.
P ~~p
This proof is a special rule which allows us to assume the antecedent of a conditional
P (p *p)
Symbol called that means Not
P (p v p)
The Formal Proof of __________ is a step by step deduction of a conclusion from a set of premises.