I am preparing for exams and am struggling to understand the theory in my textbook. Can someone please confirm if I understand this correctly.
Propositional logic is decidable and you can prove it because you can construct a truth table got any propositional logic formula
Predicate logic is undecidable because the truth table method does not work since there are infinitely many models that can be applied.
To me it makes perfect sense, but is it a valid explanation?