prov·a·ble
C1formal증명할 수 있는, 입증 가능한
adjective형용사
- 1
증명 가능한, 입증 가능한 — 증거, 논리, 사실 등을 통해 참임을 증명하거나 입증할 수 있는C1〔general〕
able to be proved or shown to be true by evidence, reasoning, or facts
The claim is provable if the data are accurate.
그 주장은 자료가 정확하다면 입증할 수 있다.
There was no provable link between the product and the illness.
그 제품과 질병 사이에 입증 가능한 관련성은 없었다.
- 2
증명 가능한, 형식적으로 증명 가능한 — 수학·논리학에서, 어떤 형식 체계의 공리와 추론 규칙으로 증명될 수 있는C2〔mathematics〕
in mathematics or logic, able to be derived or proved within a formal system
The theorem is provable from these axioms.
그 정리는 이 공리들로부터 증명 가능하다.
Not every true statement is provable in the system.
그 체계 안에서 모든 참인 명제가 증명 가능한 것은 아니다.
뉘앙스 · 쓰임
provable은 단순히 ‘믿을 만한’ believable보다 더 강하게, 실제 증거 또는 논리로 증명할 수 있음을 뜻합니다. verifiable은 자료나 절차로 ‘확인 가능하다’는 느낌이 강하고, demonstrable은 실제 예시나 관찰로 ‘보여 줄 수 있다’는 뉘앙스가 있습니다.
일상적인 말에서는 provable보다 can be proved 또는 can be shown이 더 자연스러운 경우가 많습니다. 수학·논리학에서는 특정 공리나 규칙 안에서 명제가 증명될 수 있다는 전문적 의미로 쓰입니다.
유의어 뉘앙스 비교
- demonstrable
- 예시, 관찰, 실험 등을 통해 실제로 보여 줄 수 있다는 뉘앙스가 강합니다.
- verifiable
- 독립적인 확인이나 검증이 가능하다는 뜻에 더 가깝습니다.
- establishable
- 사실이나 법적·공식적 근거로 확립할 수 있다는 다소 딱딱한 표현입니다.
- derivable
- 형식 규칙에 따라 결론을 ‘도출할 수 있다’는 전문적 느낌이 강합니다.
- deducible
- 주어진 전제에서 논리적으로 추론될 수 있다는 뜻입니다.
반의어
- unprovable
- 해당 체계 안에서 증명될 수 없다는 뜻입니다.
- disprovable
- 틀렸음을 입증할 수 있다는 뜻으로, 단순히 증명 불가능하다는 의미와는 다릅니다.
- undecidable
- 특정 형식 체계 안에서 참도 거짓도 증명할 수 없다는 더 전문적인 의미입니다.
자주 쓰는 표현 · Collocations
adj+noun
- a provable claim입증 가능한 주장
- provable evidence입증 가능한 증거
- a provable link입증 가능한 관련성
- provable facts증명 가능한 사실
adj+prep+noun
- provable in court법정에서 입증 가능한
- provable from axioms공리로부터 증명 가능한
어원 · 암기 팁
[Old French and Latin]동사 prove에 ‘~할 수 있는’이라는 뜻의 접미사 -able이 붙은 말입니다. prove는 중세 영어를 거쳐 고프랑스어 prover, 라틴어 probare에서 온 말로, ‘시험하다, 입증하다’라는 뜻과 관련이 있습니다.
prove(증명하다, 입증하다) + -able(~할 수 있는)
💡 prove가 ‘증명하다’이고 -able이 ‘~할 수 있는’이므로, provable은 ‘증명할 수 있는’으로 기억하면 됩니다.