명제 논리

등록일 2001.05.10 한글 (hwp) | 2페이지 | 가격 300원

본문내용

명제논리를 구성하는 기호들 (명제 연결사)
∼ not
& and (∧)
∨ or
→ if
↔ if and only if (iff)

자연언어를 명제논로 번역하려면?

- 만약 용재가 미남이고 부자이면 영희가 용재를 좋아할 것이지만, 용재는 미남이기는 해도 부자는 아니거나 부자이기는 해도 미남은 아니다.
((A&B)→C)&((A&~B)∨(~A&B))


*원하는 자료를 검색 해 보세요.
  • [형식논리학]추론과 연역법 7 페이지
    1. 비예증적 추론 ‘추론’에 대한 2가지 가설 1) 추론적 이해 과정은 비예증적(non-demonstrative)이라는 점을 묵시적으로 상정 2) 추론적 이해 과정은 ‘국지적(local)’이 아니라 ‘전국적(glob..
  • 명제논리, 술어논리. 11 페이지
    논리(Logic) 논리학은 올바른 추론과 증명의 법칙을 연구하는 학문을 말한다. 심리학(Pschology), 사회학(Sociology), 인류학(Anthropology) 등과 같은 제반 학문에서 학문이나 이론 등을 의미하는..
  • 명제논리의 철학적 배경(논리학) 3 페이지
    아리스토텔레스가 기원전 4세기 처음으로 고전논리학의 체계를 잡는다. 그 이후 현재에 이르기까지 놀라운 성장을 했다. 최초에 아리스토텔레스가 정리한 논리학은 사고를 개념으로까지 분해하는데 그쳤었다. 논리학에 대한 아리스토텔레스의..
  • [논리][논리와 사고][추리] 명제변형으로 직접 추리하기 8 페이지
    1) 환질법이란? 어떻게 환질법 추리를 진행하는가? 환질법은 원래의 명제의 양은 그대로 두고 질만 바꾸면서 원래 명제의 술어명사를 술어명사에 대한 모순명사-즉 술어명사를 부정하는 명사-로 대치시켜 원래 명제의 의미를 그대..
  • [논리학] 정언명제의 표준화 2 페이지
    일상언어에서 삼단논법이 표준형식의 정언적 삼단논법에서 나온다. 세 개 이상의 개념을 포함하는 것처럼 보일뿐 아니라, 일상언어에서 나타나는 논증을 구성하는 명제는 모두 표준형식의 명제일 수는 없기 때문이다. 일상생활에는 비표..
      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      최근 본 자료더보기
      추천도서