Logic: Problem 1

Claim: For every dinosaur D, if D eats meat, then D has sharp teeth and D is not huge.

Correct Solution

Negation: There is a dinosaur D, such that D eats meat, but D does not have sharp teeth or D is huge.

Alternate negation: There is a dinosaur D, such that D eats meat, and D has blunt teeth or D is huge.

Contrapositive: For every dinosaur D, if D does not have sharp teeth or D is huge, then D does not eat meat.

Buggy Solutions

Buggy negations:

Buggy contrapositives

Self Check

Main structure

Details