어떤 인공언어로 된 타당한논변의 전제를연언으로 연결하고 그연언을 조건문의 전건으로, 후건으로는 그 논변의
결론을 가지는 술어논리 문장에서,조건문의 전건에 해당하는 문장이 문장문자를 포함하고 있다면 그 문장문자를 대치했을때 논리적인 참인 술어논리가 되는
하지만 문장문자와 같은 뜻도 문장문자도 아닌 그러한 문장을 찾아낼수 있나요?( 단,술어논리에 나타난 문장문자는 원래부터 문장문자가 아닌 문장의 일부를 문장문자로 대치한것이며,이러한 대치가 2번이상 일어났다는것을 가정한다 또한 이러한 대치로 인해 해당문장은 참이지만 논리적인 참이 아니게 되었다 )


모든 용어는 벤슨메이츠의 기호논리학에서 사용하는 용어입니다