ප්‍රවර්ගය:Predicate logic

Predicate logic හා සබැඳි මාධ්‍ය විකිමාධ්‍ය කොමන්ස් හි ඇත.

In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. This formal system is distinguished from other systems such as propositional logic in that its formulas contain variables which can be quantified.