Consider the following logical inferences :
$\text{S1} :$
- “If I study Discrete Mathematics, then I will study Computer Science.”
- “If I study C, then I will study Algorithms.”
- Therefore, “If I study Discrete Mathematics or C then I will study Computer Science or Algorithms.”
$\text{S2} :$
- “If I study Discrete Mathematics, then I will study Computer Science.”
- “If I study C, then I will study Algorithms.”
- “I will not study Computer science or I will not study Algorithms.”
- Therefore, “I will not study Discrete Mathematics or I will not study C.”
Which of the following is TRUE?
- Both $\text{S1}$ and $\text{S2}$ are correct inferences
- $\text{S1}$ is correct but $\text{S2}$ is not a correct inference
- $\text{S1}$ is not correct but $\text{S2}$ is a correct inference
- Both $\text{S1}$ and $\text{S2}$ are not correct inferences