Ad argvmentvm transi
Topos Uranos
Latine

Logica et dedvctiones

Svmmarivm

Haec lectio docet logicam per LaTeX ita scribere vt aeqve prosit iis qvi mathematicam, informaticam vel philosophiam stvdent. Connexivvm lingvae obiecti a sagitta metalingvae distingvit et connexiva cvm svis variantibvs proponit, notationes aliarvm traditionvm (soleam eqvinam, tildam, pvnctvm et notationem Polonicam) et vtilitatem mandati proprii pro singvlis connexivis; spatia qvantificatorvm figit; copias per proprietatem componit et explicat cvr virgvla claviatvrae et \mid non eodem modo spatientvr; signa metalogicae, seqventia et logicam modalem colligit, cvm fascicvlo qvi singvla definit; tabvlas veritatis per array componit; arbores dedvctionis natvralis per bussproofs constrvit, cvivs logica acervi errores eivs explicat, et capsas Fitchianas per logicproof; argvmenta forma canonica cvm praemissis nvmeratis et conclvsione disponit; et in iis qvae vitanda svnt desinit, cvm veris actis cvivsqve erroris.

Proposita discendi

  1. Inter connexivvm lingvae obiecti et sagittam metalingvae eligere, et inter \models, \vdash, \equiv et \Leftrightarrow, secvndvm id qvod formvla affirmat.
  2. Spatia qvantificatorvm, copiarvm per proprietatem et negationvm per tildam praedicere, et neglegentias corrigere qvae nvllvm monitvm gignvnt.
  3. Mandatvm pro singvlis connexivis definire et explicare qvam traditionis mvtationem permittat et qvam non.
  4. Arbores dedvctionis natvralis per bussproofs constrvere statvm acervi eivs seqvendo, et errores ex actis diagnoscere.
  5. Tabvlam veritatis et argvmentvm forma canonica componere, et inter arborem et capsam Fitchianam pro data demonstratione eligere.

Dvo lingvae gradvs

Textvs logicvs semper dvobvs gradibvs loqvitvr. Est lingva obiecti, formvlarvm qvae investigantvr, cvm svis connexivis et qvantificatoribvs; et est metalingva, avctoris, qvae de iis formvlis aliqvid affirmat: vnam ex aliis dedvci, dvas aeqvivalere, vnam in omni exemplari veram esse. Notatio vtrvmqve gradvm separatvm servare debet, qvia sagitta loco alieno posita non est neglegentia typographica sed alia affirmatio. Haec lectio symbola et operatores lectionis de symbolis et notatione et ambitvs lectionis de theorematibvs et demonstrationibvs svpponit; hic id investigatvr qvod logicae proprivm est. Qvi theoriam qvaerit qvam hae notationes exprimvnt, eam in cvrsv Logica Mathematica I: Logica Propositionalis inveniet.