Демо (html) Дискретная математика (курс 1)



1

X - множество студентов группы, Y - множество дисциплин, по которым сдают экзамен. Высказывание «Eсть студент, не сдавший ни одного экзамена» выражается предикатной формулой

$X "Y: (P(X, Y) = 0)

X - множество студентов группы, Y - множество дисциплин, по которым сдают экзамен. Предикат P(X, Y) : «студент Х сдал экзамен по дисциплине Y». Предикатная формула "X: P(X, Y) означает

все студенты сдали экзамен по предмету Y

X = {x} - множество птиц, Y = {y} - множество летающих животных. Соотношение «все птицы летают, но некоторые летающие животные - не птицы» записывается формулой

("x: x Î Y) & ($y: y Ï X)

X = {x} - множество птиц, Y = {y} - множество летающих животных. Соотношение «если все птицы летают, то все летающие животные - птицы» записывается формулой

("x: х Î Y) → ("y: y Î X)