Diskuse:Formule (logika)

Na této stránce nejsou žádné diskuse.

Myslím, že u formule nemá smysl uvažovat v jakém řádu je použita[1], protože další řády jen přidávají další věci. Formule se vyskytuje jak ve výrokové[2] tak v predikátové logice a myslím, že by to v textu mělo být více zmíněno, protože se pojmy liší definicí. Přijde mi zavádějící o ní mluvit bez kontextu - i když se asi dá mluvit jen o "formuli" v případě PL. Myslím, že by bylo nejlepší přejmenovat článek na "Formule (predikátová logika)" nebo "Predikátová formule" a napsat, že lze někdy říkat pouze "formule" (takto to podle mě spíše mate).

Zpět na stránku „Formule (logika)“.