Intermediate Logic Crossword

A logical operator that joins two propositions and is true if an only if one or both of the propositions is true.
The proposition following the if is called?
A proposition that is always true due to its logical structure.
If the premises can be true and the conclusion false, the argument is?
For two propositions to be true at the same time they are said to be?
A valid argument which presents a choice between two conditionals.
A valid argument form which can be used to justify steps in a proof.
Which rule of replacement says p ≡ (p ∨ p)?
Which rule of replacement says (p ⊃ q) ≡ (~q ⊃ ~p)?
Which rule of replacement says [p ∙ (q ∨ r)] ≡ [(p ∙ q) ∨ (p ∙ r)]?
Which rule of replacement says [(p ∙ q) ⊃ r] ≡ [p ⊃ (q ⊃ r)]?
Which rule of replacement says (p ≡ q) ≡ [(p ∙ q) ∨ (~p ∙ ~q)]?
Is a path on a truth tree which includes no contradictions.
When a compound proposition is broken down into simple propositions. It is said to be what?