Coba jelasin Logika dari Paraméter dalam bahasa sunda dong

In logic, the paraméters passed to (or operated on by) an open predicate are called parameters by some authors (e.g., Prawitz, "Natural Deduction"; Paulson, "Designing a theorem prover"). Paraméters locally defined within the predicate are called variables. This extra distinction pays off when defining substitution (without this distinction special provision has to be made to avoid variable capture). Others (maybe most) just call paraméters passed to (or operated on by) an open predicate variables, and when defining substitution have to distinguish between free variables and bound variables.