[Math] Logic: Tautologies and Contradictions less than 1 minute read 항상 참인 연산과 항상 거짓인 propositions (or operations)를 가리킴.