Все о моделировании в Компас-3D LT
   Главная Статьи Файлы Форум Ссылки Категории новостей
July 13 2025 07:22:38   
Навигация
Главная
Статьи
Файлы
FAQ
Форум
Ссылки
Категории новостей
Обратная связь
Фото галерея
Поиск
Разное
Карта Сайта
Популярные статьи
Что необходимо ... 65535
4.12.1 Професси... 35805
Учимся удалять!... 32629
Примеры, синони... 23921
Просмотр готовы... 23191
Декартовы коорд... 23088
FAST (методика ... 21936
содержание - се... 21275
Просмотр готовы... 20060
Работа с инстру... 15603
Сейчас на сайте
Гостей: 1
На сайте нет зарегистрированных пользователей

Пользователей: 9,955
новичок: Logyattella
Друзья сайта
Ramblers Top100
Рейтинг@Mail.ru

Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ по Delphi
Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog
«Логик-теоретик»

(



), а ? 2 =(?



)

?.
3. Перед всем выражением для ? 1 (? 2 ) стоит знак отрицания, а перед ? 2 (? 1 ) его нет. Например, ? 1 =

(?

?), а ? 2 =??.
4. Аналогичное различие, но оно касается не всего выражения для ? i ( i =1,2), а некоторого его подвыражения.
5. Скобки в ? 1 расставлены не так, как в ? 2 . Например, ? 1 =?

(?

?), а ? 2 =(?

?)

?.
6. Записи для ? 1 и ? 2 отличаются порядком следования подвыражений. Например, ? 1 =(??)

?, а ? 2 =?

(??).
Для того чтобы иметь возможность ликвидировать подобные различия, используются 12 преобразований формул исчисления высказываний. Первые семь преобразований носят тождественный характер, т.е. не меняют истинного значения преобразуемых формул. Последние пять верны только при условии, что левая часть их является тождественно истинной ( T -выражением).
В преобразованиях использованы большие латинские буквы, которые могут соответствовать любым подвыражениям формул ? 1 и ? 2 . Стрелки

и
Страница 2 из 3 < 1 2 3 >
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Случайные статьи
Теперь о картах и ...
12.3 СЕМАФОРЫ
1.5.1 Прерывания ...
Глава пятая. ВЫВО...
Перепроектирование...
Великолепный Linux...
Определение связи
8.3.1 Перезапуск ч...
Загрузка карт
Глава 12. Fortuna...
Модель для билета ...
Исчисление высказ...
Как происходит опр...
4.9 ВЫВОДЫ
Первая настройка с...
2.1 Классификация ...
8.6. Управление ко...
7.1. Интерпретация...
2.7 Сети PDH и SO...
До 400 долларов
2. Продукции типа...
12.3.3.4 Фиктивные...
Личные впечатления...
10.1.2 Системные ф...
. Система терминов...
Карты и программно...
12.3.3.1 Выделени...
Глава 9. Royaltek ...
Оглавление - сетев...
2.6.2.2 Применение...
4.3 КАТАЛОГИ
Звук
4. Разработка инфо...
Выводы
9.2.1.2 Функция ex...
Претензии пользова...
Известные объекты
Глава 6. Подключен...
Особенности челов...
3.4 ЧТЕНИЕ И ЗАПИС...
Мини-чат
Вам необходимо залогиниться.

Нет присланных сообщений.
Copyright © 2009