Arutelu:Valem

Siin on väidetud, et valem peab väljendama mingit väidet, aga matemaatilises loogikas, mis on samuti matemaatika osa, valemit nii ei mõisteta, väidet saab predikaatloogikas väljendada ainult lause. Sellepärast paningi toimetamismärkuse ning panen selle nüüd tagasi. Vaata: Tamme, Tammet, Prank. Loogika: Mõtlemisest tõestamiseni, 1997, lk 101.

Ka tõeväärtus omistatakse lausetele. Nad peavad olema interpreteeritud. Andres 1. november 2010, kell 01:11 (EET)

Ka seda arvestamata on esitus toimetamist vajav. Matemaatilisi valemeid ei kasutata ainult matemaatikas, vaid ka matemaatika rakendustes näiteks füüsikas. Valem ei pea väljendama väidet, vaid võib väljendada näiteks definitsiooni või võrrandit. Ka näiteks lauses "olgu antud funktsioon y=f(x)" on tegu valemiga, mis ei väljenda väidet. Andres 1. november 2010, kell 18:20 (EET)

Kogu esitus on segane. Andres 1. november 2010, kell 18:21 (EET)

Nägin nüüd ette formaliseeritud keelte valemite kohta eraldi artikli, sest seal kasutatakse seda sõna spetsiifilises tähenduses.

Teisel lõigul on sama allikas mis esimesel, aga ma ei saa kopeerida ega hakka seda uuesti sisestama.

Viimase lõigu jätsin välja, sest see tundub sisuliselt ülearune.

Kogu jutt vajab muidugi pikemat esitust, aga võtsin toimetamismärkuse ära. Päris selge ei ole esitus siiski. Andres 2. november 2010, kell 10:56 (EET)