Читайте также:
|
Отрицание: 
ù – "не". Если А – высказывание, то его отрицание - ù А ("не А ").
Связки: 
– "или"; 
– "и"; Þ – "влечет", "следует"; Û – "равносильно", "тогда и только тогда".
Кванторы: всеобщности: " – "любой", "для любого";
существования: $ – "существует", "найдется",
$! – "существует единственный".
О доказательствах. Математическое высказывание (теорема) имеет следующий вид:
АÞВ (А влечет В или В следует из А),
В – необходимое условие для А, А – достаточное условие для В.
Классическое правило вывода:
А – истинно и А Þ В, то В – истинно.
Доказательство от противного (принцип исключенного третьего): А ù А – истинно.
Дата добавления: 2015-07-20; просмотров: 63 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Собственные числа и собственные векторы матрицы. | | | Множества. Действия над множествами. |