|
이산수학. 한국방송통신대학교출판문화원.
박주미(2019). 컴퓨팅 사고력을 키우는 이산수학. 한빛아카데미.
Kenneth H. Rosen(2019). 이산수학. McGraw-Hill Education. 2. 명제 p v ~(p ^ q)가 항진명제임을 증명하시오. [4점]
3. 집합 X에서의 관계 R이 다음
|
|
|
R은 1부터, 파이썬은 0부터 시작한다. 즉, 벡터 x에 대해 x[1]에서는 첫 번째 값, 파이썬에서는 두 번째 값(0부터 시작하므로) 임에 유의하여야 한다. 파이썬에서는 차원에 상관없이 자료의 성질에 따라 리스트(list), 튜플(tuple), 딕셔너리(dict) 등으
|
|
|
항진명제 t, 모순명제 c에 대하여 다음 동치가 성립함을
보여라.
1) 항등법칙: p∨c ⇔ p 2) 지배법칙:p∨t ⇔ t
p
∨
c
⇔
p
T
T
F
T
T
F
F
F
T
F
p
∨
t
⇔
T
T
T
T
T
T
F
T
T
T
T
역도 성립함으로 동치이다. 역도 성립함으로 동치이다.
<과제 8> 모든 실수 x
|
|
|
명제 변수 p, q, r을 0과 1로 나타낼 때의 중복을 허용하는 모든 경우의 수는 2³ = 8가지이고 이진수로 0 0 0에서 1 1 1까지로 나타낼수 있습니다. 0과 1의 여부는 p, q, r 3개의 명제의 참과 거짓을 저장할 수 있는 3x8행렬에 비트연산을 이용하여 십진
|
|
|
명제가 아님 (2) 논리연결자와 복합명제 ① 수학에서 숫자를 대신하는 변수 x, y, z등을 사용하였듯이, 논리에서는 명제를 대신하는 명제변수 P,Q,R등을 사용 - 중략 - 제 1 장 기초 논리 / 술어논리 / 추론 방법 / 증명 방법 / 집합 / 알고리즘
|
|
메뉴펼치기
