counterexample


정의: A counterexample is a specific example that contradicts a claim, hypothesis, or generalization. In logic a counterexample disproves a universally stated claim, and does so rigorously in the fields of mathematics and philosophy. For example, the statement that "student John Smith is not lazy" is a counterexample to the generalization "students are lazy", and both a counterexample to, and disproof of, the universally quantified "all students are lazy."


📄 키워드 상세정보

핵심 연구 분야Verification
주요 연도2020년
주요 연관 키워드costly
좋아요 수0

키워드별 논문 목록 (3건)