equisatisfiable의 뜻은 무엇인가요?
현재 검증된 한국어 뜻은 준비 중이며 영어 정의는 “(logic) Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).”입니다.
발음 발음 정보 없음 · 품사 형용사 (adjective)
검증된 한국어 뜻을 준비 중입니다. 확인되지 않은 자동 번역은 표시하지 않습니다.
(logic) Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not)..
The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.equisatisfiable의 의미, 어조와 문법이 전체 문장에 맞을 때 사용하세요. 동의어라도 모든 문장에서 바로 바꿔 쓸 수 있는 것은 아닙니다.
현재 검증된 한국어 뜻은 준비 중이며 영어 정의는 “(logic) Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).”입니다.
문장 속 의미에 따라 가까운 동의어가 달라집니다.
정확한 반대말은 사용된 의미에 따라 달라집니다.
The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.
FreeDictionaryAPI.com / Wiktionary · 원문 출처 · CC BY-SA 4.0
영어사전 정보는 FreeDictionaryAPI.com이 제공하며 해당 서비스가 밝힌 Wiktionary 라이선스를 따릅니다.