Vita:Értékréses logika

Ez a szócikk témája miatt a matematikai műhely érdeklődési körébe tartozik.
Bátran kapcsolódj be a szerkesztésébe! Besorolatlan Ezt a szócikket még nem sorolták be a kidolgozottsági skálán. Nem értékelt Ezt a szócikket még nem értékelték a műhely fontossági skáláján. Értékelő szerkesztő: ismeretlen

Folytatás következik. Majd bevezető is lesz, ha majd jól össze tudom foglalni a dolgot.

Érthetőségre törekszem, de az az érzésem, hogy a cikk egyelőre nehezen érthető annak, aki csak középiskolás fokon tanult matematikát. Például el kellene magyarázni az olyan fogalmakat, mint a predikátum, individuum, terminus. Ha valaki segítene ebben, akkor azt megköszönném. Szalakóta ^vita 2009. május 29., 20:10 (CEST)

Nekem is van egy ilyen érzésem, már a motivációs résznél: szerintem lényegtelen földi halandó számára nem érthető, hogy a határozatlan deskripciók miatt miért kellene feladni az állítások egyetemes kiértékelhetőségének követelményét. De írd csak nyugodtan a cikket, szerintem jó lesz ez; az ilyen problémákban szívesen segítek. ♥♥♥ A Diadalmas Gubb ✍ 2009. május 31., 19:27 (CEST)

Köszönöm. Nyugodtan túrj bele. Szalakóta ^vita 2009. május 31., 19:47 (CEST)

szívesen. sajnos rég foglalkoztam komolyan ezekkel a dolgokkal, úgyhogy manapság már nagyon félek, nem írok-e hülyeségeket, de azért beletúrok bátorságot színlelve. ♥♥♥ A Diadalmas Gubb ✍ 2009. május 31., 19:48 (CEST)

Magyarázandó fogalmak

A továbbiakban le kell majd írni, hogy mit is jelentenek a következő fogalmak: deskriptor, funktor, formula, terminus, individuum. Csak azért írom le ide, hogy tudjuk, mit kell elmagyarázni. Szalakóta ^vita 2009. június 1., 14:10 (CEST)