English: We are interested in logic for deduction that statements that we derive or produce using this logic machinery should necessarily be true and logic is built around that motivation essentially.
Telugu: ఈ లాజిక్ మెషినరీని ఉపయోగించి మనము ఉత్పన్నమయ్యే లేదా ఉత్పత్తి చేసే ప్రకటనలు తప్పనిసరిగా నిజం కావాలని మరియు ఆ ప్రేరణ చుట్టూ లాజిక్ తప్పనిసరిగా నిర్మించబడిందని మినహాయింపు కోసం లాజిక్ పై మాకు ఆసక్తి ఉంది.