Search Results

Results for: 'double negation'

6:13

proofs vI double negation double arrow PHIL013AB

By: mcweiner

A video on proof rules for wedge in, double negation, and double arrows. NOTE: if you're using captions, there is a possibility that the software may be displaying double arrows in the captions as single arrows. I wrote [double arrow] in the capti...

6:15

proofs vI double negation double arrow PHIL013

By: mcweiner

A video of just over six minutes about doing proofs with four new rules: or in, double negation, and double arrow in and out.

7:56

negation proof rules PHIL013AB

By: mcweiner

A video on rules for proofs with complex negations, like ~(P & Q), ~(P v Q), and ~(P -> Q).

1:32

Sugar Maple Seeds

By: uvmext

Sugar makers and community members alike have noticed a large number of sugar maple seedlings this spring. These first year trees were the result of a large seed year in 2019. Sugar maples begin producing seed when they are about 40 years old or 8...