Keel (loogika): erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P Replacing deprecated latex syntax mw:Extension:Math/Roadmap |
|||
29. rida:
Keele loogilised sümbolid on:
* [[loenduv hulk]] [[muutuja]]sümboleid: <math>v_0,v_1, \ldots</math> (Matemaatikas kasutatakse tavaliselt tähti <math>x,y,z, \ldots</math>, mida võib mõista tegelike sümbolite <math>\,v_i</math> asendustena.)
* lauseloogika tehete sümbolid: <math>\neg</math>, <math>\rightarrow</math> (võivad esineda veel <math>\vee</math>, <math>\
* [[kvantor]]isümbolid: <math>\forall</math> (võib esineda <math>\exists</math>, mida saab esimese abil defineerida)
* võrdussümbol: <math>\,=</math> (kui on tegu võrdusega loogikaga)
| |||