본문 바로가기

컴공생의 공부LOG

검색하기
컴공생의 공부LOG
프로필사진 푸우키

  • 분류 전체보기 (37)
    • 학교 수업 (36)
      • 1학년 1학기 (36)
Guestbook
Notice
Recent Posts
Recent Comments
Link
«   2025/08   »
일 월 화 수 목 금 토
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
  • formal proof
  • truth table
  • reiteration
  • identity elimination
  • 논리학
  • first order logic
  • functional symbol
  • atomic sentence
  • transitivity of identity
  • 개별 상수
  • arguments
  • fol
  • 1차 논리
  • terms
  • substitution
  • Connectives
  • identity introduction
  • conjunction
  • individual constants
  • Validity
  • disjunction
  • predicate symbols
  • soundness
  • negation
  • 원자 명제
more
Archives
Today
Total
관리 메뉴
  • 글쓰기
  • 방명록
  • RSS
  • 관리

목록soundness (1)

컴공생의 공부LOG

[논리학] 2. The Logic of Atomic Sentences

Arguments (논의, 논쟁)- 한 개 이상의 전제(premises)와 결론(conclusion)이 모인 일련의 문장 모음※ Functional symbols과 predicate의 인자로 들어가는 인자(argument)와 다른 의미라는 점 주의 ex) All men are mortal. Socrates is a man. So, Socrates is mortal.전제1 : All men are mortal.전제2 : Socrates is a man.결론 : Socrates is mortal. Logically Valid Arguments- Argument 가 주어졌을 때, 아래의 경우 논리적으로 합당(logically valid)한 arguments 라고 함=> 전제가 참일 때, 결론이 참인 경우 Lo..

학교 수업/1학년 1학기 2024. 11. 18. 00:50
이전 Prev 1 Next 다음

Blog is powered by kakao / Designed by Tistory

티스토리툴바