부울 대수와 명제의 연관성에 대한 연구
페이지 정보
작성일 20-10-17 06:01
본문
Download : 부울 대수와 명제의 연관성에 대한 연구.pptx
1. 부울 대수
_SLIDE_5_
명제 : 참과 거짓을 구별할 수 있는 식이나 문장
연결사 : 단순명제들을 이용하여 대수적 계산이 가능하도록 연결해주는 연산자.
(...
_SLIDE_1_
부울대수와 명제의 연관성에 대한 연구
_SLIDE_2_
목차
_SLIDE_3_
Ⅰ. 연구 동기 및 목적
이산수학에 대해 조사를 하던 도중 이산수학 내에서도 큰 비중을 차지하고 있는 ‘부울 대수’를 접하게 되었는데 부울 대수의 성질들이 우리들이 접해보았던 논리와 비슷한 점이 많다는 점을 알 수 있었다. 하지만 부울 대수와 논리에 대해 조사할수록 부울 대수가 논리를 바탕으로 만들어 졌다는 생각을 하게 되었고, 그에 대해 연구해보고 싶다는 생각이 들었다.
1. 부울 대수
_SLIDE_5_
명제 : 참과 거짓을 구별할 수 있는 식이나 문장
연결사 : 단순명제들을 이용하여 대수적 계산이 가능하도록 연결해주는 연산자.
(가)논리합 (Disjunction) p ∨ q p 또는 q (p or q)
(나)논리곱 (Conjunction) p ∧ q p 그리고 q (p and q)
(다)조건문 (Conditional) p → q p이면 q이다.(p if then q)
(라)쌍조건문 (Biconditional) p ↔ q p일 때만 q이다.
_SLIDE_4_
Ⅱ. theory 적 배경
定義(정의) : 이항 연산자 +, 과 단항 연산자 ’이 定義(정의)되고, 두 개의 독특한 원소인 0과 1이 존재하며, 그리고 모든 x, y, z∈ B에 마주향하여 다음의 성질을 만족하는 집합 B이다. 하지만 부울 대수와 논리에 대해 조사할수록 부울 대수가 논리를 바탕으로 만들어 졌다는 생각을 하게 되었고, 그에 대해 연구해보고 싶다는 생각이 들었다. (p if and only if q)
진리표 :합성명제를 포함한 모든 명제에 대한 입출력 결과를 기록하는 표
Ex)
2. 명제
_SLIDE_6_
진리표를 통한 연산을 쉽게 하기 위한 방법
아래의 표와 같이 P와 Q에 각각의 진리값을 표기하고, P∧Q 의 진리값을 ∧ 아래에 표기함으로써 하나의 명제 아래에서 진리값을 연산하는 방법이 있다
`방법`
연산의 순서 : P → Q → ∧
이 순서에 따라서 각 항의 아래에 …(skip)
부울 대수와 명제의 연관성에 대한 연구 , 부울 대수와 명제의 연관성에 대한 연구기타레포트 , 부울 대수와 명제 연관성
부울 대수와 명제의 연관성에 대한 연구
설명
순서
레포트/기타
부울,대수와,명제,연관성,기타,레포트
다.
_SLIDE_4_
Ⅱ. theory 적 배경
定義(정의) : 이항 연산자 +, 과 단항 연산자 ’이 定義(정의)되고, 두 개의 독특한 원소인 0과 1이 존재하며, 그리고 모든 x, y, z∈ B에 마주향하여 다음의 성질을 만족하는 집합 B이다.
부울 대수와 명제의 연관성에 대한 연구
Download : 부울 대수와 명제의 연관성에 대한 연구.pptx( 32 )
_SLIDE_1_
부울대수와 명제의 연관성에 대한 연구
_SLIDE_2_
목차
_SLIDE_3_
Ⅰ. 연구 동기 및 목적
이산수학에 대해 조사를 하던 도중 이산수학 내에서도 큰 비중을 차지하고 있는 ‘부울 대수’를 접하게 되었는데 부울 대수의 성질들이 우리들이 접해보았던 논리와 비슷한 점이 많다는 점을 알 수 있었다.
