Match the rule of inference with the name of the rule.

Instructions

$p$

$\frac{pq}{\text{:}.q}$

notq

$\frac{pq}{\text{:}.\text{n}\text{o}\text{t}\text{p}}$

$pq$

$\frac{qr}{\text{:}.pr}$

$pvvq$

$\frac{\text{n}\text{o}\text{t}\text{p}}{\text{:}.q}$