가천대 소프트웨어학과 이산수학 2016 중간고사 답안

목차

없음

본문내용

1. [10pt] Suppose the variable x represents a student and y represents a course, and:
U(y): y is an upper-level course
M(y): y is a math course
F(x): x is a freshman
B(x): x is a full-time student
For the following statements, write the statement using the predicates above and any needed quantifiers.
(a) All students are freshmen.
(b) Every freshman is a full-time student.
(c) No math course is upper-level.

(a) ∀x F(x)
(b) ∀x ( F(x) B(x) )
(c) ¬∃y ( M(y) ∧U(y) ) or ∀y (¬M(y) ∨ ¬U(y) )

참고 자료

없음