Раздел 5.7

docx
29.04.2020

Публикация педагогических разработок

Бесплатное участие. Свидетельство автора сразу.
Мгновенные 10 документов в портфолио.

Добавить материал

Раздел 5. 7.docx

Раздел 5. 7

Высказывания R, Т и V. Например, мы можем показать, что высказывание R является следствием, посредством до- бавления его отрицания к совокупности высказываний и применения резолюции, которая может привести к пустому выска- зыванию, как показано ниже.

2. Нет. Совокупность высказываний является противоречивой, поскольку резолюция может привести к пустому выска- зыванию, как показано ниже.

3. a)

thriftier (sue, carol) thriftier (sue, John) б)

thriftier (sue, carol) thriftier (bill, carol) в)

thriftier (carol, John) thriftier(bill, sue) thriftier(sue, carol) thriftier(bill, sue) thriftier(sue, John)

John) б ) thriftier (sue, carol) thriftier (bill, carol) в ) thriftier (carol,

Материалы на данной страницы взяты из открытых источников либо размещены пользователем в соответствии с договором-офертой сайта. Вы можете сообщить о нарушении.