Предел функции
Повтор лекции 1 Логическая символика Умение логически мыслить – логика – является основным инструментом процесса математического анализа. Логика в математике – наука о способах доказательств и опровержений; – совокупность научных теорий с доказательствами и опровержениями 1. Конъюкцией высказываний относительно p и q называют высказывание, которое истинно только тогда, когда оба высказывания ( и p , и q ) истинны. Логический символ конъюкции ∧ заменяет союз “и” 2. Дизъюкцией высказываний относительно p и q называют высказывание, которое ложно в том и только в том случае, когда оба высказывания ( и p , и q ) ложны, а истинно, когда хотя бы одно из них ( p или q ) истинно. Логический символ дизъюкции ∨ заменит союз “или” . 2 3. Импликацией (следование) высказываний относительно p и q называют высказывание, которое ложно тогда и только тогда, когда p истинно, а q – ложно. Логический символ импликацией ⇒ используют при указании на последствия некоторого факта. Он заменит словосочетание “если ... , то …” или “ p влечет q “ . 4. Символ эквиваленции ⇔ означает, что высказывание истинно только тогда, когда оба высказывания p и q истинны или оба высказывания ложны. Этот символ заменяется термином “равносильно”. 5. Отрицание высказыванием p называют высказывание ¬ p, которое истинно, если p ложно, и ложно, когда p истинно. Логический символ отрицания используют при указании на последствия некоторого факта; оно заменяет слово “ не ”. Повтор 1 лекции 3
