Share
Explore BrainMass

Proofs

A) Translate the following argument into symbols: "If either Melissa likes dogs or Jason likes cats, then Ned likes birds. Ned does not like birds. Therefore, Melissa does not like dogs."
(Use the propositional variables M, J and N, respectively.)

b) Complete a proof of the argument from part (a).

Solution Preview

Due to character limitations, I specified logical connectives as follows:
<br>
<br>OR, V: OR
<br>AND, ^, &: ...

Solution Summary

Logical connectives are translated.

$2.19