Black Friday Edition — 7.1f

First, symbolize the following argument (part I) and then do a derivation showing it's valid. (part 2)

There are no Black Friday deals on puppies. Sam is my wonderful new puppy. Therefore Sam is not a Black Friday deal.

Part 1: Symbolize

universe of discourse: everything
Dx: x is a Black Friday deal
Px: x is a puppy
Nx: x is new to y   (Alert: there is something a little new here, a relationship so the x and y)
Wx: x is wonderful

s: Sam (the puppy), m: me


  1. There are no Black Friday deals on puppies.
  2. Sam is my wonderful new puppy.
  3. Sam is not a Black Friday deal.