|Page 337 of 800||Search internet|
Unary modus probans expresses without specifying the side condition . Unary modus probans can be used in place of binary modus probans in Line L04 of the proof of stated earlier:
In the proof above, unary modus probans is used in Line L04 to prevent adaption from verifying the side conditions of . An attempt to verify the side condition would fail since one cannot know whether or not avoids . That is so because the meta variables and can denote arbitrary terms so avoids for some but not all terms and .
|Page 337 of 800||Search logiweb.eu|