Помогите, пожалуйста, с дискретной математикой. .
Помогите, пожалуйста, с дискретной математикой. .помогите, пожалуйста, с дискретной математикой. .
1) В символической форме запишите сложные высказывания, употребив для их обозначения высказательные переменные.
а) Если город стоит на берегу и река не замерзает зимой, то это не означает, что город расположен в теплых широтах
б) Ум у большинства женщин служит не столько для их благоразумия, сколько для оправдания их безрассудства
2) запишите предложения на языке логики предикатов
а) через любые три точки, не лежащие на одной прямой, проходит единственная плоскость
б) Если два треугольника равны, то стороны и углы одного треугольника соответственно равны сторонам и углам другого треугольника
3) Постройте таблицу истинности заданной формулы и упростите ее с помощью равносильностей.
(X→Y)→(¬X^Yv¬Y)
4) Покажите, что заданная схема есть допустимое правило вывода
А, В→С=>(А→¬С)→¬В
1) В символической форме запишите сложные высказывания, употребив для их обозначения высказательные переменные.
а) Если город стоит на берегу и река не замерзает зимой, то это не означает, что город расположен в теплых широтах
б) Ум у большинства женщин служит не столько для их благоразумия, сколько для оправдания их безрассудства
2) запишите предложения на языке логики предикатов
а) через любые три точки, не лежащие на одной прямой, проходит единственная плоскость
б) Если два треугольника равны, то стороны и углы одного треугольника соответственно равны сторонам и углам другого треугольника
3) Постройте таблицу истинности заданной формулы и упростите ее с помощью равносильностей.
(X→Y)→(¬X^Yv¬Y)
4) Покажите, что заданная схема есть допустимое правило вывода
А, В→С=>(А→¬С)→¬В
Гость
Ответ(ы) на вопрос:
Гость1) а) А-город стоит на берегу В-река не замерзает зимой С-расположен в теплых странах А^B->Cv (~C)= Ω- универсальное множество -------------------------------------------------------------------- ~C - отрецание С ------------------------------------------------------------------- 2) а) [¥ (*) А, B,C € a] ε ! (АВС) ------------------------------------ ¥ -любые €-не принадлежит ε -принадлежит ! -единственная ----------------------------------------- (ΔАВС=ΔА1B1C1) -> [(AB=A1B1)U(ВС=В1С1)U(AC=A1C1)U(
Не нашли ответ?
Похожие вопросы