An Application of Inductive Anvaya

• DOI: 10.5281/zenodo.7793065
• Publication Date: 2023-04-02
• Authors: Aman Chawla
• Keywords: nyaya; anvaya; induction

In this note, the author uses a combination of mathematical induction and anvaya from Indian logic in order to deduce properties of a list of objects. The objects are of a specific, `nested' type. For these objects, it is shown that for any object in the list, the object inheres in the previous one.<br/>3 pages. Addendum: The objects, as constructed have a forward inherence. The reverse inherence is superposed on the forward inherence, being given in the base case and being assumed in the k-th case.:<br/>