> (P (y) Г™ Q (y) Г‰ R (x, у)) з ( 3) за У $ ; у, х відзначені;
(5) (Р {у) Г™ Q (y)) Г™Г? R (x, у) з (4) за ОИ;
(6) Р (у) Г™ Q (y) з (5) за УК1;
(7) Г? R (x, у) з (5) за УК2;
(8) Р (у) з (6) за УК1;
(9) Р (у) Г‰ R (x, у) з (1) за У " ;
(10) R (x, у) з (8), (9) за УІ1;
(11) R (x, у) Г™Г? R (x, у) з (10), ( 7) по ВК.
Таким чином: 1 В°. " y (P (y) Г‰ R (x, у)), Г? " y (P (y) Г™ Q (y) Г‰ R (x, у)) | - R (x, у) з визначення виводу на основі (1) - (11); у, х відзначені.
В°. " y (P (y) Г‰ R (x, у)) | - " y (P (y) Г™ Q (y) Г‰ R ( x, у)) з 1 В° по ДОД; виводимість є повністю обгрунтованою. Обгрунтувати виводимість " y (P (y) Г™ Q (y) Г‰ R (x, у)) | - " y (P (y) Г‰ R (x, у)) не вдається.
Як бачимо, сучасна логіка дозволяє вирішити цю В«проблемнуВ» ситуацію.
Покажемо необхідність розрізняти фактичне і логічне змісту, а також фактичний і логічний обсяги на прикладі.
Приклад. Нехай дано поняття: 1) В«жива істота, що має членороздільної промовоюВ», 2) В«жива істота, що володіє абстрактним мисленням і членороздільної промовоюВ». Мовою логіки предикаті...
