**Bi-Conditionals**

Last week we learned that some conditional sentences “go in both directions” and some conditional sentences do NOT go in both directions.

For example, the conditional sentence below does NOT work in both directions:

If you live in NY, then you live in the US. N->U True.

If you live in the US, then you live in NY. U->N * This is clearly not true.

But some conditional sentences go in both directions:

If this is an atom of oxygen, then this atom has eight protons. O -> E

If this atom has eight protons, then this atom is an atom of oxygen. E – > O

Let’s see if this sentence goes in both directions:

“If today is Monday, then tomorrow is Tuesday.” M -> T

Here the letter M will stand for “Today is Monday.”

The letter T will stand for “Tomorrow is Tuesday.”

Again, the symbolic expression M->T reads:

If today is Monday, then tomorrow is Tuesday.

But reversing the order of the antecedent and the consequent will still give us a true claim:

If tomorrow is Tuesday, then today is Monday.

For comparison, notice that the reversal does not work for:

If you have a dog, then you have a pet. D -> P (True)

If you have a pet, then you have a dog. P -> D (Not True)

So using here the double arrow will not work. D <-> P is not true.

Last week we also said that whenever the reversal works, we can use double head arrow, as in: M<-> T which means :If today is Monday, then tomorrow is Tuesday, and if tomorrow is Tuesday, then today is Monday.

In short, this sentence is a bi-conditional because Tuesday comes only after Monday and only Monday is before Tuesday.

Now your turn.

Let the letter W stand for “Yesterday was Wednesday.”

Let the letter T stand for “Today is Thursday.”

Let the letter F stand for “Tomorrow is Friday.”

Now, explain how you would read the symbolic notations below:

- W <-> T

If yesterday was Wednesday, then today is Thursday. W->T (True)

If today is Thursday, then yesterday was Wednesday. T-> W (True)

Therefore, W<->T (True)

- T <-> F

If today is Thursday, then tomorrow is Friday. T->F (True)

If tomorrow is Friday, then today is Thursday. F->T (True)

Therefore, T<->F (True)

- W <- > (T & F)

Yesterday was Wednesday.

Today is Thursday, and tomorrow is Friday.

If yesterday was Wednesday, then today is Thursday, and tomorrow is Friday.

If today is Thursday and tomorrow is Friday, then yesterday was Wednesday.

W->T (True) T-> F (True)

W->T<-F

W<-> (T&F) (True)

Now that we have reviewed bi-conditionals, let’s practice deriving conclusions from various premises.

In this practice exercise, we will try to use different methods we have learned so far, including the BE (Bi-Conditional Equivalence).

Practice.

Example one:

- M <- > T
- – T
- M v S

_________

What can we derive from these two premises? Let’s say the premises are about days of the week. So the first bi-conditional says: Only if Today is Monday, then tomorrow is Tuesday. And the second premise says that tomorrow is not Tuesday.

First let’s take apart premise 1, like this:

- M <- > T
- – T
- M v S

_________

- (M-> T) & (T->M) 1, BE (We derived this conjunction from line 1 by a

a method called Bi-conditional Equivalence).

Now, let’s use the method called simplification to reduce the conjunction. The conjunct we are interested in is the first one, the one in green: (M->T). Notice the entire parenthesis is one single conjunct. Notice the second parenthesis is a second conjunct. Two conjuncts give us a conjunction. So let’s write the step like this:

- M -> T 4, Simp

Is that all? No. Remember what we are told in the second premise. The second premise (line 2) says: negative T. So now we can implement the MT method to derive –M, since line 5 says M->T, and line 2 says – T. So by MT we get – M, like this:

- – M 2, 5 MT

Is that all? No. Look at premise 3. It says It’s either Monday or Sunday. Well since we now know that it’s not Monday, then according to the given premise in line 3, we must conclude by Disjunctive Syllogism that it’s Sunday, like this:

- S 3, 6 DS

Your turn:

- a)
- A <- > B
- – B
- A v C

Considering the letters represent days of the week,

Based on the bi-condition, option 1 implies that If A is Monday, then B is Tuesday, and if B is Tuesday, then A is Monday.

Based on option 2: (-B)

B isn’t Tuesday

- Based on the simplification of option 1 (A <- > B) ; (A->B) & (B-> A)
- Based on the simplification of option 4, the first conjunct is (A->B)
- Based on options 5 (A->B) and 2 (-B), A isn’t Monday because B isn’t Tuesday. Therefore, -A
- Based on option 3 (A v C), It’s either Monday or Wednesday and considering option 6, which identifies that it isn’t Monday, then by Disjunctive Syllogism, it is Wednesday. Therefore; C

- b)
- X <- > Y
- – Y
- X v Z

_______ Considering bi-condition and assuming the letters represent days of the week, the solution is as follows;

Based on Option 1 (X <- > Y), If X is Monday, then Y is Tuesday, and if Y is Tuesday, then X is Monday.

Based on option 2 -Y, Y isn’t Tuesday

- Based on the simplification of option 1; (X <- > Y), (X->Y) & (Y->X),
- Based on option 4 with the conjunction, we get the conjunct (X->Y)
- Based on options 5 (X->Y) and 2 (-Y), X isn’t Monday because Y isn’t Tuesday. Therefore, -X
- Based on option 3 (X v Z), it’s either Monday or Wednesday and considering option 6 (-X) that identifies that it isn’t Monday, then by Disjunctive Syllogism, it is Wednesday. Therefore, Z

More practice examples:

Let’s say the symbols below read as:

- C <-> I Only Children are truly Innocent.
- – C But John is not a child.

______________

To deduce the correct letter from the premises above, first we need to say what the bi-conditional in line one is equivalent to, like this:

- (C -> I ) & (I -> C) 1, BE

Now we need to take apart the conjunction. We can already see that the second conjunct, the one in orange will be more useful, since we will be able to apply the MT method. So let’s write that we are simplifying the conjunction, and then that we can derive –I by MT, like this:

- I -> C 3, Simp
- –I 2, 4 MT

Now your turn. Create two premises, one of which is a bi-conditional. Be sure to supply your scenario (say what your letters stand for). What does your second premise say?

- B <-> I Only Beef is delicious.
- –B Mutton isn’t a type of beef

More practice problems.

- ( A v B) & C Premise 1
- A-> Y Premise 2
- – ( Y & C ) Premise 3

__________________

What can we do with these three premises? We can start by doing something to the last premise. We can use De Morgan’s Law and convert premise 3 into – Y v – C, like this:

- ( A v B) & C Premise 1
- A-> Y Premise 2
- – ( Y & C ) Premise 3

__________________

- – Y v – C 3, DM

Next, remember that we can simplify conjunctions. What we have in line 1 is indeed a conjunction. The second conjunct is the letter C, which you can already notice will be useful for cancelling out the negative C is line 4. So let’s first write that we are simplifying line 1, like this:

- ( A v B) & C Premise 1
- A-> Y Premise 2
- – ( Y & C ) Premise 3

__________________

- – Y v – C 3, DM
- C 1, Simp

Now, let’s use DS to cancel out the C’s, like this:

- ( A v B) & C Premise 1
- A-> Y Premise 2
- – ( Y & C ) Premise 3

__________________

- – Y v – C 3, DM
- C 1, Simp
- – Y 4, 5 DS

Now let’s look at premise 2. It says that IF we get A, then we get Y. But since we obtained negative Y, we can’t get an A. So by MT, we will derive – A, like this:

- ( A v B) & C Premise 1
- A-> Y Premise 2
- – ( Y & C ) Premise 3

__________________

- – Y v – C 3, DM
- C 1, Simp
- – Y 4, 5 DS
- – A 2, 6 MT

Now, let’s not forget that the (AvB) in premise one is part of a conjunction that we can further simplify, like this:

- ( A v B) & C Premise 1
- A-> Y Premise 2
- – ( Y & C ) Premise 3

__________________

- – Y v – C 3, DM
- C 1, Simp
- – Y 4, 5 DS
- – A 2, 6 MT
- A v B 1, Simp

Now, look at line 7 again. The negative A cancels out the A in the expression in line 8. So this means we are left with the letter B. Let’s write down this step:

- ( A v B) & C Premise 1
- A-> Y Premise 2
- – ( Y & C ) Premise 3

__________________

- – Y v – C 3, DM
- C 1, Simp
- – Y 4, 5 DS
- – A 2, 6 MT
- A v B 1, Simp
- B 7, 8 DS

There is nothing else we can do. So the letter B is the final conclusion.

Now your turn.

Derive a conclusion from the premises in each argument.

Don’t forget to write what method you used and from which lines you obtained the letters.

- a)

- ( A v B) & Q Premise 1
- A-> Y Premise 2
- – ( Y & Q ) Premise 3

__________________

- Starting with premise 3, (-(Y&Q)), De Morgan’s Law is applied to solve it to (–Y v –Q)
- By simplifying the conjunction in option 1, we obtain a conjunct Q.
- By applying DS to cancel out the Qs in option 4, we obtain -Y
- Considering option 2, if A is present, then y is present, but based on option 6, Y is absent. Therefore, based on MT, the result is -A
- Considering option 1, the conjugation is simplified to obtain the conjunct (A v B)
- By applying DS to option 8, it either A is present, or B is present, but based on option 7, A is absent. Therefore, the conclusion is B

- b)

* Hint: start by taking apart the first premise. You should get in line 3 an expression that says: If this…., then that And if this…, then that…

- W <-> T Premise 1. (If today is Wednesday, then tomorrow is Thursday

and if tomorrow is Thursday, then today is Wednesday.)

- W Premise 2. Today is Wednesday.

_______

- Considering BE in Option 1, it is simplified to (W-> T) if today is Wednesday, then tomorrow is Thursday and (T-> W) if tomorrow is Thursday, then today is Wednesday. Therefore, if today is Wednesday, then tomorrow is Thursday, and if tomorrow is Thursday, then today is Wednesday, ( W->T) & (T-> W)
- Considering the conjugation in option 3, the most significant conjunct result is (T-> W).
- Considering option 4 and 2, and applying MT, the result is T

- c)

- F <-> S Premise 1.
- F Premise 2.

_______

- By applying BE to option 1, the result is (F-> S) & (S->F)

Meaning if today is Wednesday, then tomorrow is Thursday, and if tomorrow is Thursday, then today is Wednesday

- Considering the conjugation in option 3, the most significant conjunct result is (S->F)
- Considering option 4and 2 and applying MT, the result is S

d)

- H <-> A Premise 1.
- H Premise 2.

_______

- By applying BE to option 1, the result is (H-> A) & (A->H)

Meaning if today is Wednesday, then tomorrow is Thursday, and if tomorrow is Thursday, then today is Wednesday

- Considering the conjugation in option 3, the most significant conjunct result is (A->H)
- Considering option 4 and 2, and applying MT, the result is A

e)

- A <-> B Premise 1.
- A Premise 2.
- B -> C Premise 3.

_______

- By applying BE to option 1, the result is (A-> B) & (B->A)

Meaning if today is Wednesday, then tomorrow is Thursday, and if tomorrow is Thursday, then today is Wednesday

- Considering the conjugation in option 3, the most significant conjunct result is (B->A)
- Considering option 4 and 2, and applying MT, the result is B
- Considering this (B -> C) and BE, if tomorrow is Thursday, then the day after tomorrow is Friday. If B is present, then C is present. Therefore, the conclusion is C

- f)

- ( M v W) & P Premise 1
- M-> Y Premise 2

3.- ( Y & P ) Premise 3

__________________

- Starting with premise 3, (-(Y&P)), De Morgan’s Law is applied to solve it to obtain the result (–Y v –P)
- By simplifying the conjuction in option 1, we obtain a conjuct P.
- By applying DS to cancel out the Ps in option 4, we obtain -Y
- Considering option 2, if M is present, then Y is present, but based on option 6, Y is absent. Therefore, based on MT, the result is -M
- Considering option 1, the conjugation is simplified to obtain the conjuct; (M v W)
- By applying DS to option 8, either M is present, or W is present, but based on option 7, M is absent. Therefore, the conclusion is W

- g)

- – ( M & N)
- M

___________

- Starting with premise 3, (-(M&N)), De Morgan’s Law is applied to solve it to obtain the result (–M v –N)
- Considering option 3 and applying DS, either M is present or N is present, and considering option 2, M is present, and therefore N is absent. The result is -N

**ORDER A PLAGIARISM-FREE PAPER HERE**

**We’ll write everything from scratch**

**Question**

**Worksheet Week 13.**

**Topic: Bi-Conditionals; Review**

Please Review Everything then answer questions carefully.