задача - Помощь студентам

света9627 · 11.01.2013, 23:13

7. Является ли тавтологией предикат ∀$#119909;$#119860;($#119909

⇒ ∃$#119910; $#119860;($#119910

?
8. Является ли тавтологией предикат ∃$#119910; ∀$#119909;$#119861;($#119909;, $#119910

⇒ ∀$#119909; ∃ $#119910;$#119861;($#119909;, $#119910

?
9. Является ли тавтологией предикат ∀$#119909; ∃$#119910; $#119861;($#119909;, $#119910

⇒ ∃ $#119910;∀$#119909;$#119861;($#1199 09;, $#119910

?

Abstraction · 12.01.2013, 01:27

А теперь то же, но не столь китайской грамотой, пожалуйста.

Похожие темы
Тема	Автор	Раздел	Ответов	Последнее сообщение
Задача по подсчёту статистики использования букв. Другая задача - по длинной арифметике Pascal ABC	kimberly	Паскаль, Turbo Pascal, PascalABC.NET	3	24.12.2012 17:03
задача на структуру(struct)/задача на работу с файлом	SevenArth	Помощь студентам	0	26.04.2012 19:06
Задача на оптимальный расчет маршрута (задача в презентации) в табличном процессоре Excel	Toofed	Помощь студентам	0	30.11.2011 01:12
Задача минимизации дисбаланса на линии сборки (задача минимакса)	LenZab	Microsoft Office Excel	13	13.03.2011 22:51

11.01.2013, 23:13	#1
света9627 Новичок Джуниор Регистрация: 11.01.2013 Сообщений: 4	задача 7. Является ли тавтологией предикат ∀$#119909;$#119860;($#119909 ⇒ ∃$#119910; $#119860;($#119910? 8. Является ли тавтологией предикат ∃$#119910; ∀$#119909;$#119861;($#119909;, $#119910 ⇒ ∀$#119909; ∃ $#119910;$#119861;($#119909;, $#119910? 9. Является ли тавтологией предикат ∀$#119909; ∃$#119910; $#119861;($#119909;, $#119910 ⇒ ∃ $#119910;∀$#119909;$#119861;($#1199 09;, $#119910?

12.01.2013, 01:27	#2
Abstraction Старожил Регистрация: 25.10.2011 Сообщений: 3,178	А теперь то же, но не столь китайской грамотой, пожалуйста.