Dyskusja:Prawa rachunku kwantyfikatorów
Z Wikipedii
Nie sposób wypisać wszystkich praw rachunku kwantyfikatorów. Ważniejsze można wypisać, ale czy nie lepiej zrobić to w odpowiednim haśle Rachunek predykatów pierwszego rzędu, a nie tworzyć nieuporządkowaną listę? Na razie daję merge, jeśliby ktoś oponował. Laforgue (zieew) 21:56, 6 paź 2006 (CEST)
[edytuj] predykaty kontra rachunek kwantyfikatorów
-"...lepiej zrobić to w odpowiednim haśle Rachunek predykatów pierwszego rzędu":
- Skoro istnieje hasło "Prawa rachunku zdań" to, dlaczego nie ma istnieć "Prawa rachunku kwantyfikatorów"?
- Jeśli ktoś chce się dowiedzieć coś na ten temat (np. licealista) to nie będzie szukał pod "predykaty".
-"Nie sposób wypisać wszystkich praw rachunku kwantyfikatorów.(...) tworzyć nieuporządkowaną listę"
- Niektóre z tych praw są uznawane za bardziej użyteczne (oczywiście jest to pojęcie rozmyte), część doczekała się nazw.
- Na pewno da się wyznaczyć jakiś dobry porządek.
- IMO hasło prawa rachunku zdań też powinno zostać zintegrowane, z tego samego względu. To jest tylko lista ważniejszych praw, i jako taka nie stanowi pojęcia encyklopedycznego. Można przenieść treść i zrobić przekierowanie z tytułu - wtedy problem wyszukujących licealistów zniknie. Poza tym obecny tytuł nie grzeszy ścisłością terminologiczną. Laforgue (zieew) 23:28, 6 paź 2006 (CEST)
