ReasonLines

Wallace A Murphree

앱 정보

ReasonLines (1) 전통적인 논법 전통적인 논법 (2) 확장에 대한 새로운 쉽게 접근 수치 정량 포함하도록 제공한다.
 
1) 기존의 삼단 논법에 대한 새로운 접근
 
대신 같은 주요 전제, 미성년자 전제와 결론으로 ​​인수의 구성 요소와 격리 된 문을 고려으로,이 새로운 접근 방식은 균등 각 문을 번들 각 번들은 화살표의 자신의 "설계도"로 표시됩니다. 전제 회로도는 측면 자신의 병렬 디스플레이는 어떤 결론에있는 경우, 수반되는 경우 서로 함께 장소에서 삭제할 수 있습니다. 사용자는 올바른 전제 회로도를 선택하는 방법과 결론의 화살표를 수행하는 방법을 배울 필요가있다.
 
& # 8195; & # 8195; 도움말 페이지의 일부 하나는이 새로운 접근 방식에 대한 튜토리얼입니다.
 
(2) 기존의 삼단 논법의 수치 확장
 
이미 수치 특정 수량을 해석하는 표준이다 즉, 그것은 또한, 범용 한정사가 "모든"과 "아니,"또한 충실하기 때문에 수치 적으로 렌더링 할 수 있습니다 "적어도 하나."로 "일부"가 "모두" "제로 제외한 모든"의미 취할 표준입니다 "더는"없음 "제로 제외하고 아무도."의미이 감안할 때, 그것은 "적어도 하나는"일련의 개방 이후 기존의 한정사 단순히 적어도 세 ","적어도 두를, "끝이 가능한 정량화의 시작을 표시 밝혀 없습니다 "등, 그리고"모든 (없음)하지만 제로 등 "모든 (없음)하지만이"모든 (없음)하지만 하나 ","열립니다 없다 "
 
이 명시함으로써, 제로 전통적인 삼단 논법 중 하나가 다른 번호로 교체된다. 따라서, 예를 들어, 적어도 100은 "" 10 A 그러나 모든 B하고 20 B하지만 모든 C, 그래서 모든하지만 30 A는, C 입니다 "와 B, 모든하지만, 7 B 그래서 적어도 93는, C입니다 C , "그냥 기존의 바바라와 Darii 유효하고, 바로 그 이유입니다.
 
& # 8195; & # 8195; 도움말 페이지의 제 2 부에서는 회로도에 호소하여이 수치 확장을 개발하고 있습니다.

새로운 기능

Minor bug fixes