Notice
Recent Posts
Recent Comments
Link
| 일 | 월 | 화 | 수 | 목 | 금 | 토 |
|---|---|---|---|---|---|---|
| 1 | ||||||
| 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| 9 | 10 | 11 | 12 | 13 | 14 | 15 |
| 16 | 17 | 18 | 19 | 20 | 21 | 22 |
| 23 | 24 | 25 | 26 | 27 | 28 | 29 |
| 30 | 31 |
Tags
- soundness
- functional symbol
- disjunction
- transitivity of identity
- substitution
- 1차 논리
- identity introduction
- 개별 상수
- 논리학
- terms
- 원자 명제
- atomic sentence
- arguments
- first order logic
- fol
- conjunction
- predicate symbols
- formal proof
- negation
- individual constants
- Connectives
- truth table
- reiteration
- Validity
- identity elimination
Archives
- Today
- Total
목록원자 명제 (1)
컴공생의 공부LOG
[논리학] 1. Atomic Sentences
논리학에서 사용하는 단어 개념 정리Logic (논리)-참/거짓을 가리기 위해 엄격한 검증 원리에 따라서 추론하는 것Syntax (문법)-논리적 문장 구조를 정의하기 위한 논리적 시스템-논리적 문장 구조 정의를 위한 문법※ syntanx에 맞추어 작성해야 syntax error가 발생하지 않음 Semantics (참/거짓)-논리적 문장의 참/거짓-어떤 문장의 semantics? 그 문장의 참 or 거짓을 밝히기※영한사전의 "의미"로 번역하는 것은 바르지 않음 First Order Logic (FOL) (1차 논리)-Individual Constants에만 한정 기호를 가할 수 있고, Predicate에는 한정 기호를 가할 수 없는 논리 체계 Individual Constants (개별 상수)-실제 존재하..
학교 수업/1학년 1학기
2024. 11. 18. 00:18