The following is from Hurely 6.4 and 6.3

The corresponding conditional is when you take the premises and conjoin them with the conjunction operator, making them into one big antecedent; then, take the conclusion as the consequent.

The premises are separated by forward slash makrs. The conclusion is separated by two slash marks.

Give the corresponding conditional for the following arguments:

O ɔ ~T / ~T ɔ B // O ɔ B

((O ɔ ~T) • (~T ɔ B)) ɔ (O ɔ B)

**1 translation**: J ɔ E/~J//~E

**2 translation**: What is another way to say tautologous statement?

**3 translation**: What is another way to say self-contradictory statement?

**4 translation**: If the truth values vary depending on the truth values of the components, then what kind of classification is the statement?

**5 translation**: If the statement is tautologous, then the truth values under the main operator are what?

**6 translation**: If the statement is self-contradictory, then the truth values under the main operator are what?

**7 translation**: If the statement is contingent, then the truth values under the main operator are what?

**8 translation**: When comparing statements, the relation between them is ____________ if the truth values under the main operators are the same on each line

**9 translation**: When comparing statements, the relation between them is __________ if the truth values under the main operators are opposite on each line

**10 translation**: When comparing statements, the relation between them is ___________ if the truth values under the main operators have at least one line when the truth values are all true

**11 translation**: When comparing statements, the relation between them is __________ if the truth values under the main operators don’t have any line in which the truth values are all true

**12 translation**: For any two propositions that are logically equivalent, the biconditional statement formed by joining them with a triple bar is ___________

**13 translation**: Of the 4 relations, which of them are the strongest?