Шпаргалка По Высшой Математике (Афанасьева С. Г.) / 2.Высказывания
.doc2. Высказывания. Операции с ними.
Высказывание - повествовательное предложение, о котором, можно сказать истинно оно или ложно.
Отрицание- операция, синоним частица не, обозначается ¬,
Дизъюнкция- логическое высказывание, которое получается путем объединения двух простых утверждений при помощи слова «или»,обозначается v.
Конъюнкция- логическое высказывание, которое получается путем объединения двух простых утверждений союзом «и»,обозначается ^.
Импликация - приблизительный логический эквивалент оборота "если..., то..."; операция, формализующая логические свойства этого оборота.
Эквиваленция - логическое действие, состоящее в употреблении связок «если, и только если» в содержательных логических выводах и разговорном языке; выражается через импликацию и конъюнкцию.
Элементарное высказывание – высказывание, которое нельзя разложить на отдельные части, являющиеся самостоятельными высказываниями.
Составное высказывание – высказывание, которое можно разложить на отдельные части, являющиеся самостоятельными высказываниями
Абсолютно истинное высказывание – высказывание, истинное при любых значениях истинности, входящих в него элементарных высказываний, обозначается «и».
Абсолютно ложное высказывание – высказывание, ложное при любых значениях истинности, входящих в него элементарных высказываний.
Равносильные высказывания – высказывания, которые одновременно истины или одновременно ложны, при любых значениях истинности входящих в них элементарных высказываний, А=В.
Высказывательная форма – предложение с одной или несколькими переменными, которое обращается в высказывание при подстановке в него конкретных значений переменных.
Логическая операция – образование составного высказывания из элементарных.