Задача от методика

[Teodora89]

Докажете ,че схемата p^q,q/p не е правило за извод

[Maximianus Herculius]

Обикновено се постъпва така: посочва се контрапример.
Само един контрапример е достатъчен, за да направим извода, че схемата не е правило за извод.
Но трябва да знаем дефиницията на правило за извод.