Problems of Truth-Functional Logic

Case 1

1. ¬A
   Therefore A→B
2. The Padre beach is not poluted.
   Therefore, if the Padre beach is poluted, it is good for surfing.

Case 2

1. B
   Therefore A→B
2. The Padre beach is good for surfing.
   Therefore, if the Padre beach is poluted, it is good for surfing.

[.5in] Case 3

1. A→B
   C→¬B
   C→A
   C
   Therefore B∧¬B
2. If it is a bird, then it can fly.
   If it is penguin, then it cannot fly.
   If it is penguin, then it is a bird.
   It is a bird
   Therefore, it cannot fly.