항진명제

개요

tautology

恒眞命題

항진명제, 토톨로지

• "항상 참인 명제"
• 모든 경우에 대하여 합성명제의 진릿값이 항상 참인 경우
• 복합 명제를 구성하는 단위 명제들의 진릿값에 관계없이 항상 참인 복합 명제
• 논리식으로서 거기에 들어 있는 명제변수가 참이든 거짓이든 항상 진리값이 참이 되는 것

같이 보기

• 명제
• 항위명제
• 항진퍼지명제

참고

• 영어 위키백과 "Tautology (logic)"
• 다음사전 "항진명제"
• 다음백과 "항진명제"
• 네이버사전 "항진명제"
• 네이버백과 "항진명제"