Arutelu:Matemaatiline loogika

Artikli algvariandi kirjutas Taavi Kalvik.

Võtsin nime põhitekstist välja, sest artikkel saab olema kollektiivne. Nime võid ära märkida oma kasutajaleheküljel Taavi55. Et näha, mida keegi on teinud, tuleb klõpsata "View other revisions".

On soovitatav, et artikkel algaks definitsiooni või selgitusega. Peaks ütlema, mis asi see matemaatiline loogika on. Seda on muidugi üsna raske teha. Kogu muu jutt tuleb pärast seda. Andres

===Matemaatilise loogika sümboleid=== Valik standardseid matemaatilise loogika sümboleid.

$\land$ – ja
$\lor$ – või
$\Longrightarrow$ – järeldub
$\iff$ – siis ja ainult siis
$\neg$ – mitte
$\forall$ – iga ... korral
$\exists$ – leidub ...

Võtsin selle alajaotuse esialgu välja, sest ta on minu meelest eksitav järgmistel põhjustel:

Matemaatilises loogikas ei ole standardseid (kohustuslikke) sümboleid. Lauseloogika tehteid tähistatakse mitmel eri viisil. Isegi kvantorite jaoks on siintoodud levinumate lõrval ka teisi sümboleid.
Siit jääb kergesti mulje, nagu oleks tegemist loomuliku keele väljendite lühenditega, tegelikult aga on matemaatilises loogikas just loomuliku keele väljendite näol tegemist kokkuleppelise ja tingliku hääldusega.
Pikad nooled on kasutusel metakeeles ja pigem väljaspool matemaatilist loogikat. "Siis ja ainult siis" võib olla ka materiaalne implikatsioon. Andres 06:27, 1 Mar 2005 (UTC)

Artikli integreerimine[muuda lähteteksti]

Ma tõin kogu sisu artiklist sümbolloogika siia, sest need on sünonüümid--Bioneer1 (arutelu) 29. november 2012, kell 10:28 (EET)[vasta]

Ma küll ei jaga sellest teemast eriti midagi, aga lausejupp "loogikauuringud on muutnud tänapäeva formaalse loogika üpris matemaatikasarnaseks" kõlab kahtlaselt. Kuidas saavad uuringud muuta loogika matemaatikasarnaseks? Mingid enneolematu jõuga uuringud siis? Kuriuss (arutelu) 19. märts 2021, kell 22:59 (EET)[vasta]