통합검색

논리 기호의 뜻을 진리표 없이 규칙으로 정할 수 있을까?

증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.

Proof-Theoretic Semantics

새 근거가 왔을 때 회의 전 판단과 후 판단을 어떻게 나눠 기록할까?

인원·모둠·근거 묶음·시간·전후 기록 방식을 바꾸어 비교 가능한 근거 갱신 카드, 처리량과 빠진 쌍을 계산합니다.

Section 2: Explanation of Key Team Leadership Concepts and Tools

“안 돼요”를 누가 이기는 말이 아니라 확인할 조건으로 바꾸려면?

반대 이유·확인 질문·시범 범위를 선택하면 확인된 사실, 실행 조건과 남은 쟁점이 달라지는 가상 도입 대화를 연습합니다.

Crisis + Emergency Risk Communication by Leaders for Leaders

‘전면 도입하자’보다 먼저 써야 할 조건은 무엇일까?

근거 범위·적용 대상·예외·중단 기준을 바꾸어 권고문의 강도와 빠진 안전장치를 확인하고, 단정적인 초고를 조건부 문장으로 고칩니다.

WHO handbook for guideline development, 2nd Edition

AI는 실패한 도구를 몇 번까지 다시 시도해야 할까?

한 번의 성공 가능성·시도 예산·비용·과부하 신호를 바꾸어 성공 가능성과 최대 비용을 비교합니다.