![[userpic]](/media/e5ba77aaeee2cf536713a8ce60f9fd04f5aee1e0f48cd5e10f6802697f8b761d)
Слайд 11, первый пример применения Правила 1:
у Кэрролла я не находил представления в символьной форме вида X1Y1. Как это выражение перевести в нормальную форму? (из посылок следует, что заключение будет X1Y0+Y1X0)
у Кэрролла я не находил представления в символьной форме вида X1Y1. Как это выражение перевести в нормальную форму? (из посылок следует, что заключение будет X1Y0+Y1X0)
1 комментарий
![[userpic]](https://metapractice.ru/images/none-4ee1bcd692ded7d0186297bdd7e6cfd1.gif?vsn=d)
Да, это двойное суждение:
Некоторые Х есть Y'
и
Некоторые Y есть Х'
Некоторые Х есть Y'
и
Некоторые Y есть Х'