.rV0MmG_page{color:#173b31;max-width:1180px;font-size:var(--logic-text-body,16px);margin:0 auto;padding:28px 24px 72px;line-height:1.7}.rV0MmG_page a{color:inherit;text-decoration:none}.rV0MmG_breadcrumb{color:#687a70;font-size:var(--logic-text-label,14px);align-items:center;gap:10px;margin-bottom:22px;display:flex}.rV0MmG_hero{background:linear-gradient(135deg,#f7faf7,#f4f0e8);border:1px solid #dfe7e1;border-radius:22px;grid-template-columns:1.15fr .85fr;gap:34px;padding:38px;display:grid}.rV0MmG_eyebrow{color:#7d6438;font-size:var(--logic-text-label,13px);letter-spacing:.04em;margin:0 0 8px;font-weight:800}.rV0MmG_hero h1{letter-spacing:-.05em;margin:0;font-size:clamp(34px,5vw,50px);line-height:1.14}.rV0MmG_lead{letter-spacing:-.025em;margin:17px 0 6px;font-size:clamp(20px,2.3vw,27px);font-weight:750}.rV0MmG_hero>div>p:last-child{color:#53675c;max-width:680px;margin-bottom:0}.rV0MmG_examples{align-self:center;gap:8px;display:grid}.rV0MmG_examples code{color:#284d3c;font:600 var(--logic-text-label,15px)/1.45 "Times New Roman","Pretendard",sans-serif;background:#fff;border:1px solid #d8e3db;border-radius:10px;padding:12px 14px;display:block}.rV0MmG_workspace{background:#fff;border:1px solid #dce6df;border-radius:18px;margin-top:28px;padding:28px}.rV0MmG_workspaceHead{justify-content:space-between;align-items:flex-end;gap:20px;margin-bottom:20px;display:flex}.rV0MmG_workspaceHead h2{letter-spacing:-.035em;margin:0;font-size:27px}.rV0MmG_exampleButtons{flex-wrap:wrap;justify-content:flex-end;gap:6px;display:flex}.rV0MmG_exampleButtons button,.rV0MmG_symbolBar button,.rV0MmG_addButton,.rV0MmG_formulaRow>button{color:#456654;cursor:pointer;background:#fff;border:1px solid #d6e1d8;border-radius:8px}.rV0MmG_exampleButtons button{font-size:var(--logic-text-small,11px);padding:8px 10px}.rV0MmG_exampleButtons button:hover,.rV0MmG_symbolBar button:hover,.rV0MmG_addButton:hover{background:#edf5ef}.rV0MmG_symbolBar{background:#f4f7f4;border-radius:11px;flex-wrap:wrap;align-items:center;gap:6px;margin-bottom:20px;padding:11px 13px;display:flex}.rV0MmG_symbolBar>span{color:#687a70;font-size:var(--logic-text-small,11px);margin-right:2px;font-weight:750}.rV0MmG_symbolBar button{width:36px;height:34px;font:var(--logic-text-body,18px) "Times New Roman",serif;padding:0}.rV0MmG_symbolBar small{color:#7d8b82;font-size:var(--logic-text-small,10px);margin-left:auto}.rV0MmG_inputGrid{grid-template-columns:minmax(0,1.2fr) minmax(300px,.8fr);gap:20px;display:grid}.rV0MmG_premisePanel,.rV0MmG_conclusionPanel{background:#fbfcfb;border:1px solid #e0e8e2;border-radius:14px;padding:18px}.rV0MmG_panelTitle{justify-content:space-between;align-items:center;margin-bottom:14px;display:flex}.rV0MmG_panelTitle h3{font-size:var(--logic-text-body,18px);margin:0}.rV0MmG_panelTitle span{color:#7a8a80;font-size:var(--logic-text-small,10px)}.rV0MmG_premiseList{gap:10px;display:grid}.rV0MmG_formulaRow{grid-template-columns:28px minmax(0,1fr) 32px;align-items:start;gap:8px;display:grid}.rV0MmG_number{color:#6c8074;width:28px;height:36px;font-size:var(--logic-text-small,11px);place-items:center;font-weight:800;display:grid}.rV0MmG_formulaRow label,.rV0MmG_conclusionPanel>label{color:#66796d;font-size:var(--logic-text-small,10px);margin-bottom:5px;font-weight:750;display:block}.rV0MmG_formulaRow input,.rV0MmG_conclusionPanel>input{color:#173b31;width:100%;min-width:0;font:600 var(--logic-text-label,14px)/1.35 "Pretendard Variable","Pretendard","Malgun Gothic",sans-serif;background:#fff;border:1px solid #ccd9d0;border-radius:8px;padding:10px 11px}.rV0MmG_formulaRow input:focus,.rV0MmG_conclusionPanel>input:focus{border-color:#659179;outline:3px solid #4b846326}.rV0MmG_formulaRow input[aria-invalid=true],.rV0MmG_conclusionPanel>input[aria-invalid=true]{background:snow;border-color:#c97871}.rV0MmG_formulaRow>button{color:#95605a;width:32px;height:36px;font-size:var(--logic-text-body,18px);padding:0}.rV0MmG_formulaRow>button:disabled{opacity:.25;cursor:not-allowed}.rV0MmG_formulaInfo,.rV0MmG_formulaError{font-size:var(--logic-text-small,10px);margin-top:5px;line-height:1.45}.rV0MmG_formulaInfo p{color:#607568;align-items:baseline;gap:7px;margin:2px 0;display:flex}.rV0MmG_formulaInfo b,.rV0MmG_formulaError b{color:#456654;flex-shrink:0}.rV0MmG_formulaInfo code{color:#214d3b;font:600 var(--logic-text-small,12px) "Times New Roman","Pretendard",sans-serif;overflow-wrap:anywhere}.rV0MmG_formulaError{color:#a04d49;gap:7px;display:flex}.rV0MmG_formulaError b{color:#a04d49}.rV0MmG_addButton{font-size:var(--logic-text-small,11px);margin-top:12px;padding:8px 11px;font-weight:700}.rV0MmG_addButton:disabled{opacity:.4;cursor:not-allowed}.rV0MmG_conclusionPanel{align-self:start}.rV0MmG_conclusionPanel>input{font-size:var(--logic-text-body,16px);padding:12px}.rV0MmG_notCalculation{background:#fffaf0;border:1px solid #dfcfaa;border-radius:10px;margin-top:18px;padding:13px}.rV0MmG_notCalculation b{color:#806625;font-size:var(--logic-text-small,11px)}.rV0MmG_notCalculation p{color:#6e684e;font-size:var(--logic-text-small,11px);margin:4px 0 0;line-height:1.55}.rV0MmG_argumentError{color:#9c4e48;font-size:var(--logic-text-small,11px);background:#fff1ef;border-radius:9px;margin:16px 0 0;padding:11px 13px}.rV0MmG_syntaxResult{background:#f7fbf8;border:1px solid #d4e2d8;border-radius:14px;margin-top:22px;padding:22px}.rV0MmG_resultHead{justify-content:space-between;align-items:flex-end;gap:16px;margin-bottom:15px;display:flex}.rV0MmG_resultHead h3{font-size:var(--logic-text-lead,20px);margin:0}.rV0MmG_resultHead>span{color:#426d52;font-size:var(--logic-text-small,10px);background:#e7f1e9;border-radius:999px;padding:5px 8px;font-weight:750}.rV0MmG_signatureGrid{grid-template-columns:repeat(4,minmax(0,1fr));gap:9px;display:grid}.rV0MmG_signatureGrid article{background:#fff;border:1px solid #dfe8e1;border-radius:10px;padding:12px}.rV0MmG_signatureGrid strong{color:#4d6959;font-size:var(--logic-text-small,10px);display:block}.rV0MmG_signatureGrid p{overflow-wrap:anywhere;color:#263f33;font-size:var(--logic-text-small,12px);margin:5px 0 0}.rV0MmG_normalizedArgument{background:#fff;border:1px solid #dfe8e1;border-radius:10px;margin-top:14px;padding:15px}.rV0MmG_normalizedArgument>strong{color:#516b5b;font-size:var(--logic-text-small,10px);margin-bottom:7px;display:block}.rV0MmG_normalizedArgument ol{gap:5px;margin:0;padding-left:25px;display:grid}.rV0MmG_normalizedArgument li{padding-left:3px}.rV0MmG_normalizedArgument code{font:600 var(--logic-text-label,14px) "Times New Roman","Pretendard",sans-serif}.rV0MmG_normalizedArgument>div{border-top:1px solid #d8dfda;align-items:baseline;gap:9px;margin-top:9px;padding-top:8px;display:flex}.rV0MmG_normalizedArgument>div span{font-family:Times New Roman,serif;font-size:var(--logic-text-lead,19px)}.rV0MmG_ast{background:#fff;border:1px solid #dfe8e1;border-radius:9px;margin-top:12px}.rV0MmG_ast summary{cursor:pointer;color:#526d5d;font-size:var(--logic-text-small,11px);padding:10px 12px;font-weight:750}.rV0MmG_ast pre{color:#31473b;max-height:420px;font-size:var(--logic-text-small,10px);background:#f8faf8;border-top:1px solid #e4ebe6;margin:0;padding:12px;line-height:1.55;overflow:auto}.rV0MmG_scope{grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;margin-top:24px;display:grid}.rV0MmG_scope>div{background:#f8f7f2;border:1px solid #dfe5df;border-radius:12px;padding:17px}.rV0MmG_scope strong{font-size:var(--logic-text-small,12px)}.rV0MmG_scope p{color:#66766b;font-size:var(--logic-text-small,11px);margin:4px 0 0}@media (max-width:900px){.rV0MmG_hero{grid-template-columns:1fr;padding:30px}.rV0MmG_inputGrid{grid-template-columns:1fr}.rV0MmG_workspaceHead{flex-direction:column;align-items:flex-start}.rV0MmG_exampleButtons{justify-content:flex-start}.rV0MmG_signatureGrid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width:620px){.rV0MmG_page{padding:20px 14px 52px}.rV0MmG_hero{border-radius:18px;padding:24px 19px}.rV0MmG_workspace{padding:18px 13px}.rV0MmG_workspaceHead h2{font-size:23px}.rV0MmG_symbolBar small{width:100%;margin-left:0}.rV0MmG_formulaRow{grid-template-columns:24px minmax(0,1fr) 30px;gap:6px}.rV0MmG_number{width:24px}.rV0MmG_formulaRow>button{width:30px}.rV0MmG_signatureGrid,.rV0MmG_scope{grid-template-columns:1fr}.rV0MmG_resultHead{flex-direction:column;align-items:flex-start}}.rV0MmG_proofRun{color:#fff;width:100%;font-size:var(--logic-text-small,12px);cursor:pointer;background:#315f4b;border:1px solid #315f4b;border-radius:9px;margin-top:18px;padding:11px 13px;font-weight:800}.rV0MmG_proofRun:hover{background:#3c7058}.rV0MmG_proofRun:disabled{color:#89958d;cursor:not-allowed;background:#d8e2da;border-color:#d8e2da}.rV0MmG_proofResult,.rV0MmG_undetermined{background:#f5faf6;border:1px solid #cfe0d4;border-radius:14px;margin-top:22px;padding:22px}.rV0MmG_proofResultHead{justify-content:space-between;align-items:flex-end;gap:16px;margin-bottom:14px;display:flex}.rV0MmG_proofResultHead h3,.rV0MmG_undetermined h3{font-size:var(--logic-text-lead,21px);letter-spacing:-.03em;margin:0}.rV0MmG_proofResultHead>span{color:#3f6a50;font-size:var(--logic-text-small,10px);background:#e4f0e7;border-radius:999px;padding:5px 8px;font-weight:800}.rV0MmG_proofList{gap:6px;margin:0;padding:0;list-style:none;display:grid}.rV0MmG_proofList li{padding:8px 10px 8px calc(10px + var(--depth,0) * 20px);background:#fff;border:1px solid #dde8df;border-radius:9px;grid-template-columns:30px minmax(0,1fr) minmax(180px,.7fr);align-items:center;gap:9px;display:grid}.rV0MmG_proofList li>span{color:#4b6a59;width:25px;height:25px;font-size:var(--logic-text-small,10px);background:#edf3ee;border-radius:50%;place-items:center;font-weight:800;display:grid}.rV0MmG_proofList code{overflow-wrap:anywhere;color:#173b31;font:650 var(--logic-text-label,14px)/1.45 "Times New Roman","Pretendard",sans-serif}.rV0MmG_proofList small{color:#64786b;font-size:var(--logic-text-small,10px);text-align:right;line-height:1.45}.rV0MmG_assumptionStep{background:#fffaf2!important;border-left:4px solid #a17c48!important}.rV0MmG_proofPrinciple{color:#66796d;font-size:var(--logic-text-small,10px);margin:11px 2px 0;line-height:1.6}.rV0MmG_undetermined{background:#fffaf0;border-color:#dfcfaa}.rV0MmG_undetermined .rV0MmG_eyebrow{color:#876a2e}.rV0MmG_undetermined>p:last-child{color:#6f684e;font-size:var(--logic-text-small,11px);margin:7px 0 0;line-height:1.6}@media (max-width:620px){.rV0MmG_proofResult,.rV0MmG_undetermined{padding:17px 13px}.rV0MmG_proofResultHead{flex-direction:column;align-items:flex-start}.rV0MmG_proofList li{padding-left:calc(8px + var(--depth,0) * 13px);grid-template-columns:27px minmax(0,1fr)}.rV0MmG_proofList small{text-align:left;grid-column:2}}.rV0MmG_countermodelResult{background:#fff6f4;border:1px solid #e1c2bd;border-radius:14px;margin-top:22px;padding:22px}.rV0MmG_countermodelHead{justify-content:space-between;align-items:flex-end;gap:16px;margin-bottom:8px;display:flex}.rV0MmG_countermodelHead h3{font-size:var(--logic-text-lead,21px);letter-spacing:-.03em;color:#8e4d47;margin:0}.rV0MmG_countermodelHead>span{color:#984f48;font-size:var(--logic-text-small,10px);background:#f7e5e2;border-radius:999px;padding:5px 8px;font-weight:800}.rV0MmG_countermodelLead{color:#704f4b;font-size:var(--logic-text-small,11px);margin:0;line-height:1.6}.rV0MmG_modelGrid{grid-template-columns:repeat(2,minmax(0,1fr));gap:9px;margin-top:14px;display:grid}.rV0MmG_modelGrid article{background:#fff;border:1px solid #ead8d4;border-radius:10px;padding:12px}.rV0MmG_modelGrid article>strong{color:#765550;font-size:var(--logic-text-small,10px);margin-bottom:6px;display:block}.rV0MmG_modelGrid code{font:650 var(--logic-text-label,13px) "Times New Roman","Pretendard",sans-serif;color:#4d302d}.rV0MmG_modelWide{grid-column:1/-1}.rV0MmG_modelItems{flex-wrap:wrap;gap:6px;display:flex}.rV0MmG_modelItems span{color:#5f423e;font-size:var(--logic-text-small,10px);background:snow;border:1px solid #eadfdd;border-radius:7px;align-items:center;gap:4px;padding:5px 7px;display:inline-flex}.rV0MmG_modelItems b{font-size:var(--logic-text-small,11px)}.rV0MmG_functionTables{gap:8px;display:grid}.rV0MmG_functionTables>div{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.rV0MmG_functionTables>div>b{color:#5e433e;font-size:var(--logic-text-small,11px);margin-right:2px}.rV0MmG_functionTables span{font-size:var(--logic-text-small,10px);color:#6a4c47;background:#fff8f7;border:1px solid #eadfdd;border-radius:6px;padding:4px 6px}.rV0MmG_searchMeta{border-top:1px solid #785a5026;flex-wrap:wrap;gap:8px;margin-top:12px;padding-top:10px;display:flex}.rV0MmG_searchMeta span{color:#6b6258;font-size:var(--logic-text-small,9px);background:#ffffffb3;border-radius:999px;padding:4px 7px}.rV0MmG_searchMeta b{font-size:var(--logic-text-small,10px)}@media (max-width:620px){.rV0MmG_countermodelResult{padding:17px 13px}.rV0MmG_countermodelHead{flex-direction:column;align-items:flex-start}.rV0MmG_modelGrid{grid-template-columns:1fr}.rV0MmG_modelWide{grid-column:auto}}.rV0MmG_relationAxioms{background:#fff;border:1px solid #d7e3da;border-radius:10px;flex-wrap:wrap;align-items:center;gap:7px;margin-top:14px;padding:12px;display:flex}.rV0MmG_relationAxioms>strong{color:#526d5d;width:100%;font-size:var(--logic-text-small,10px)}.rV0MmG_relationAxioms span{color:#456654;font-size:var(--logic-text-small,10px);background:#f3f8f4;border:1px solid #d8e5db;border-radius:999px;align-items:center;gap:5px;padding:5px 8px;display:inline-flex}.rV0MmG_relationAxioms span b{font-size:var(--logic-text-small,11px)}.rV0MmG_relationBadges{flex-wrap:wrap;gap:6px;display:flex}.rV0MmG_relationBadges span{color:#684944;font-size:var(--logic-text-small,10px);background:snow;border:1px solid #eadfdd;border-radius:999px;align-items:center;padding:5px 8px;display:inline-flex}.rV0MmG_relationBadges b{font-size:var(--logic-text-small,11px);margin-right:3px}.rV0MmG_templateTransfer{background:#f7fbf8;border:1px solid #d7e3da;border-radius:11px;flex-wrap:wrap;align-items:center;gap:8px;margin-top:12px;padding:12px 14px;display:flex}.rV0MmG_templateTransfer button{color:#fff;font-size:var(--logic-text-small,11px);cursor:pointer;background:#315f4b;border:1px solid #315f4b;border-radius:8px;padding:9px 12px;font-weight:800}.rV0MmG_templateTransfer button:hover{background:#3c7058}.rV0MmG_templateTransfer span{color:#687b70;font-size:var(--logic-text-small,10px)}@media (max-width:620px){.rV0MmG_templateTransfer button,.rV0MmG_templateTransfer span{width:100%}}