Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Логическая символика.

Матрицы | Сложение матриц. | Умножение матриц. | Квадратные матрицы. Обратная матрица. | Ранг матрицы. | Система линейных алгебраических уравнений. | Методы решения невырожденных СЛАУ. | Метод Гаусса решения СЛАУ. | Структура решения однородной системы. | Структура решения неоднородной системы. |


Читайте также:
  1. I. При каких условиях эта психологическая информация может стать психодиагностической?
  2. I. Экологическая экспертиза.
  3. II. Культурологическая мысль. Концепции (теории) культуры
  4. II. Социально-психологический климат группы и психологическая совместимость
  5. Билет 21. Социально-психологическая характеристика конфликта
  6. БИОЛОГИЧЕСКАЯ ЗАЩИТА ОТ ВОЗДЕЙСТВИЯ ЭЛЕКТРИЧЕСКИХ И МАГНИТНЫХ ПОЛЕЙ
  7. Биологическая защита сада-огорода от вредителей

 

Отрицание: ù – "не". Если А – высказывание, то его отрицание - ù А ("не А ").

Связки: – "или"; – "и"; Þ – "влечет", "следует"; Û – "равносильно", "тогда и только тогда".

Кванторы: всеобщности: " – "любой", "для любого";

существования: $ – "существует", "найдется",

$! – "существует единственный".

О доказательствах. Математическое высказывание (теорема) имеет следующий вид:

АÞВ (А влечет В или В следует из А),

Внеобходимое условие для А, Адостаточное условие для В.

Классическое правило вывода:

А – истинно и А Þ В, то В – истинно.

Доказательство от противного (принцип исключенного третьего): А ù А – истинно.

 


Дата добавления: 2015-07-20; просмотров: 63 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Собственные числа и собственные векторы матрицы.| Множества. Действия над множествами.

mybiblioteka.su - 2015-2024 год. (0.005 сек.)