p q p⇒q
○ ○ ○
○ × ×
× ○ ○
× × ×