Lógica ojeiporu oñeme'ẽ hag̃ua semantica formal ohechaukátava mba'éichapa ojeiporu va'erã umi función de razonamiento sistema KR símbolo-kuéra rehe.