Why we have two different tags ? :
- first-order logic
and
- predicate logic
Why not link them via synonimy ?
Thanks
$\begingroup$
$\endgroup$
2
-
$\begingroup$ meta.math.stackexchange.com/questions/8267/… $\endgroup$– Asaf Karagila ModMay 6, 2014 at 16:58
-
$\begingroup$ And also: meta.math.stackexchange.com/questions/1363/… $\endgroup$– Martin SleziakMay 6, 2014 at 17:31
Add a comment
|