Vita:Értékréses logika
Új téma nyitása
|
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
[szerkesztés]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)