phil 2140 introduction to logic
For each of the following arguments, decide whether the conclusion is a tautological consequence of the
premises. If it is, submit a proof that establishes the conclusion using one or more applications of Taut
Con. Do not cite more than two sentences at a time for any of your applications of Taut Con. If
the conclusion is not a consequence of the premises, submit a counterexample world showing that the
argument is not valid.
4.27
ö
Cube(a) _ Cube(b)
Dodec(c) _ Dodec(d)
:Cube(a) _ :Dodec(c)
Cube(b) _ Dodec(d)