Diskuse:Formule (logika)

Přesnost

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). -- Tento nepodepsaný komentář přidal uživatel Mmrmartin (diskuse) 22. 2. 2017, 16:49 (CE(S)T)

Souhlasím. Až bude chvilka tak zkusím vymyslet jak by se tato situace dala drobnoým upravením vyřešit. -- Tento nepodepsaný komentář přidal uživatel VÍtek 2003 (diskuse) 21. 5. 2023, 00:42 (CE(S)T)