The following pages link to Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction (Q1037610):
Displaying 1 item.