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 .