Студопедия

КАТЕГОРИИ:

Главная
Случайная страница
Познавательное
Новые статьи
Контакты
Заказать работу

Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

С помощью кванторов общности и существования постройте высказывания и определите их истинность. 2 страница


⇐ Предыдущая891011121314151617Следующая ⇒


  X Y
b1 b2 b3 b4 b5 b6 b7
a1 Л И Л И Л И Л
a2 Л И И И Л И И
a3 И И Л И Л И Л
a4 И И Л И Л И Л
a5 Л И Л Л И И Л
a6 И И Л Л Л Л И
  X Y
b1 b2 b3 b4 b5 b6 b7
a1 Л И Л И Л Л И
a2 Л И И И Л Л Л
a3 И И Л И Л И И
a4 И И Л И Л И Л
a5 Л И Л И И Л И
a6 Л Л Л Л Л Л Л

 

  X Y
b1 b2 b3 b4 b5 b6 b7
a1 Л И Л И Л Л И
a2 Л И И И Л Л Л
a3 Л Л Л И Л Л И
a4 Л Л И И И И И
a5 Л И И Л И И Л
a6 Л И Л Л Л Л И

 

  X Y
b1 b2 b3 b4 b5 b6 b7
a1 Л И Л И И Л И
a2 И И Л Л Л Л Л
a3 И И Л И Л Л И
a4 Л И Л Л И И И
a5 И И Л И И И Л
a6 Л И И И Л И И

 

  X Y
b1 b2 b3 b4 b5 b6 b7
a1 И И Л И Л И Л
a2 Л И Л И Л И Л
a3 Л И Л И Л Л Л
a4 Л Л Л Л Л И И
a5 И И Л И И И Л
a6 И Л И Л И И И

 

  X Y
b1 b2 b3 b4 b5 b6 b7
a1 И Л Л И Л И Л
a2 Л Л Л И И Л Л
a3 Л И Л И И Л Л
a4 Л Л Л Л И Л И
a5 Л И Л И И И И
a6 Л Л Л Л Л Л И

 

 

  X Y
b1 b2 b3 b4 b5 b6 b7
a1 Л И Л И Л Л И
a2 Л Л И Л Л Л Л
a3 Л И Л И И Л Л
a4 Л И И Л Л Л И
a5 Л Л Л И И Л И
a6 И И Л Л И И И

 

  X Y
b1 b2 b3 b4 b5 b6 b7
a1 И Л Л И Л И Л
a2 Л Л Л И И Л Л
a3 Л И Л И И Л Л
a4 Л Л Л Л И Л И
a5 Л И Л И И И И
a6 Л Л Л Л Л Л И

 

  X Y
b1 b2 b3 b4 b5 b6 b7
a1 И Л Л Л И И И
a2 И Л Л Л Л И И
a3 И Л И И Л И И
a4 И Л И И Л И И
a5 Л И И И И И И
a6 Л И Л Л Л Л И

 

  X Y
b1 b2 b3 b4 b5 b6 b7
a1 Л Л Л И Л И И
a2 Л И Л Л И Л И
a3 Л И Л Л Л И Л
a4 И Л Л Л И Л Л
a5 И И Л Л И И И
a6 Л И Л Л Л Л И

Решение:

Y b1 b2 b3 b4 b5 b6 b7
" x A(x, y)              
$ x A(x, y)              

 

X " y A(x, y)   X $ y A(x, y)  
a1     a1    
a2     a2    
a3     a3    
a4     a4    
a5     a5    
a6     a6    
           
  Высказывание Значение истинности
  "x "y A(x, y)  
  "x$ y A(x, y)  
  $ x"y A(x, y)  
  $ x$ y A(x, y)  
  "y$ x A(x, y)  
  $ y"x A(x, y)  
               

4. Предикат K(x,y) определен на множествах: X={a1,a2,a3,a4,a5,a6}, Y={b1,b2,b3,b4,b5,b6,b7,b8,b9,b10} и задан таблично. С помощью кванторов постройте высказывания и определите их истинность:

  X Y
b1 b2 b3 b4 b5 b6 b7 b8 b9 b10
a1 И И Л И Л И Л Л Л Л
a2 И И И И Л И Л И И И
a3 И И Л И Л И Л Л Л Л
a4 Л И Л И Л И Л Л Л Л
a5 Л И Л Л И И Л Л Л Л
a6 Л И И Л Л И Л И Л И
  X Y
b1 b2 b3 b4 b5 b6 b7 b8 b9 b10
a1 И Л Л И Л И Л Л Л Л
a2 И И Л И Л И И И И И
a3 И И Л И Л И Л Л Л Л
a4 И И Л И Л И Л Л Л Л
a5 И Л Л Л И И Л Л Л Л
a6 И И И И Л И Л Л И И

 

 

  X Y
b1 b2 b3 b4 b5 b6 b7 b8 b9 b10
a1 И И Л И Л И Л Л Л Л
a2 И И И И Л И И И И И
a3 Л И Л Л Л Л Л Л И И
a4 И И Л И Л И Л И Л И
a5 Л И Л Л И И Л Л Л Л
a6 И И И Л И И И И И И

 

 

  X Y
b1 b2 b3 b4 b5 b6 b7 b8 b9 b10
a1 Л Л Л Л Л Л Л Л Л Л
a2 И И И И Л И И И И Л
a3 И Л Л И Л И Л Л Л Л
a4 И И Л И Л И Л Л Л Л
a5 И И Л И И И Л Л Л Л
a6 И И И И Л Л И И Л Л

 

 

  X Y
b1 b2 b3 b4 b5 b6 b7 b8 b9 b10
a1 И И Л И Л И Л Л Л Л
a2 Л Л Л Л Л Л Л Л Л Л
a3 И И Л И Л И Л Л Л Л
a4 И И Л И Л И Л Л Л Л
a5 И И Л Л И И Л Л Л Л
a6 И Л И Л Л И И И И И

 

 

  X Y
b1 b2 b3 b4 b5 b6 b7 b8 b9 b10
a1 Л И Л И Л И Л Л Л Л
a2 И Л И И Л И И И И И
a3 И И Л И Л И Л Л Л Л
a4 И И Л Л Л И Л Л Л Л
a5 И И Л Л Л И Л Л Л Л
a6 И И И И И Л И И И И

 

 

  X Y
b1 b2 b3 b4 b5 b6 b7 b8 b9 b10
a1 Л Л Л Л Л Л Л Л Л Л
a2 И И И И Л И И И И И
a3 И И Л И Л И Л Л Л Л
a4 И И Л И Л И Л Л Л Л
a5 И И Л Л И И Л Л Л Л
a6 Л Л Л Л Л Л Л Л Л Л

 

  X Y
b1 b2 b3 b4 b5 b6 b7 b8 b9 b10
a1 И И Л И Л И Л Л Л Л
a2 Л И И И Л И И И И Л
a3 Л Л Л Л Л Л Л Л Л Л
a4 И И Л И Л И Л Л Л Л
a5 Л Л Л Л Л Л Л Л Л Л
a6 И Л И И И Л И И И Л

 

  X Y
b1 b2 b3 b4 b5 b6 b7 b8 b9 b10
a1 Л Л Л И Л И Л Л Л Л
a2 И Л И И Л И И И И И
a3 Л И Л И Л И Л Л Л Л
a4 И И Л И Л Л Л Л Л Л
a5 И И Л Л И И Л Л Л Л
a6 Л И И И И Л И Л И И

 

  X Y
b1 b2 b3 b4 b5 b6 b7 b8 b9 b10
a1 И И Л И Л И Л Л Л Л
a2 Л И И И Л И И И И И
a3 И Л И И И И Л Л Л Л
a4 Л И Л И Л И Л Л Л Л
a5 И И Л Л И И Л Л Л Л
a6 И И И Л И И И И Л И

Решение:

Y b1 b2 b3 b4 b5 b6 b7 b8 b9 b10
"xK(x,y)                    
$ xK(x,y)                    
X " y K(x, y)   X $ y K(x, y)
a1     a1  
a2     a2  
a3     a3  
a4     a4  
a5     a5  
a6     a6  
   
Высказывание Значение истинности
"x "y K(x, y)  
"x$ y K(x, y)  
$ x"y K(x, y)  
$ x$ y K(x, y)  
"y$ x K(x, y)  
$ y"x K(x, y)  
           

 

⇐ Предыдущая891011121314151617Следующая ⇒


Поделиться с друзьями:

Дата добавления: 2014-11-20; Просмотров: 505; Нарушение авторских прав?; Мы поможем в написании вашей работы!

Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.008 сек.