I am studying propositional logic and little bit confused with Propositional function. It is part of propositional calculus and it is similar to predicate. But predicates are part of First-order logic - also known as predicate logic.
Do I understand correctly that we can look at propositional function in two different ways: as proposition (Propositional logic) and as function (FOL)?
