2
$\begingroup$

Why we have two different tags ? :

  • first-order logic

and

  • predicate logic

Why not link them via synonimy ?

Thanks

| | | | | |
$\endgroup$

You must log in to answer this question.

Browse other questions tagged .