Is the following argument valid? State why or why not. Use a truth table.
If I like chocolate or ice cream, then I like candy.
I don't like ice cream.
Therefore, I like candy or chocolate.

Question

Is the following argument valid? State why or why not. Use a truth table.
If I like chocolate or ice cream, then I like candy.
I don't like ice cream.
Therefore, I like candy or chocolate.

unklerhaukus · Answer

$$\begin{array}{|c|c|c|c|c|x|}\hline
\tiny\text{chocolate}&\tiny\text{icecream}&\tiny\text{candy}&\tiny\text{chocolate}\lor\text{icecream}&\tiny\text{chocolate}\lor\text{icecream}\implies\text{candy}&\tiny\neg\text{icecream}&\tiny\text{candy}\lor\text{chocolate}\\hline
T&T&T\
T&T&F\
T&F&T\
T&F&F\
F&T&T\
F&T&F\
F&F&T\
F&F&F\\hline
\end{array}$$

anonymous · Answer

Why is it invalid?

unklerhaukus · Answer

did you fill out the table?

anonymous · Answer

no, how do I do it?

unklerhaukus · Answer

chocolate     icecream           chocolate or icecream
  T                    T                            T

unklerhaukus · Answer

chocolate     icecream           chocolate or icecream

  T                    F                            ?

anonymous · Answer

Could you fill it out completely for me? I'm lost.

unklerhaukus · Answer

T or T   =>  T
T or F   =>   T
F or T   =>   T
F or F   =>   F

unklerhaukus · Answer

can you fill in the first column?