Ad argvmentvm transi
Topos Uranos
Latine

Gradvs 1 · 28 lectiones

Logica Mathematica I: Logica Propositionalis

Syntaxis, dedvctio et semantica calcvli propositionalis classici.

Argvmentvm cvrsvs

Pars 0Praesentatio cvrsvs

  1. 01Ratio stvdiorvm cvrsvs Logicae Mathematicae I

Pars 1Lingva

  1. 02Lingva: introdvctio
  2. 03Qvid est logica mathematica
  3. 04Lingva logicae propositionalisCvm ratione
  4. 05Indvctio in nvmeris natvralibvs et in formvlisCvm ratione
  5. 06Formalizatio lingvae natvralisCvm ratione
  6. 07Lingva: synthesis et provocationesCvm ratione

Pars 2Dedvctio

  1. 08Dedvctio: introdvctioSvbscriptioCvm ratione
  2. 09Systemata dedvctiva formaliaSvbscriptioCvm ratione
  3. 10Qvattvor artes dedvctionisSvbscriptioCvm ratione
  4. 11Symmetriae connectivorvmSvbscriptioCvm ratione
  5. 12Artes logicae classicaeSvbscriptioCvm ratione
  6. 13Leges De Morgani et leges distribvtivaeSvbscriptioCvm ratione
  7. 14Dedvctio: synthesis et provocationesSvbscriptioCvm ratione

Pars 3Semantica

  1. 15Semantica: introdvctioSvbscriptioCvm ratione
  2. 16Semantica logicae propositionalisSvbscriptioCvm ratione
  3. 17Conseqventia et aeqvivalentia semanticaeSvbscriptioCvm ratione
  4. 18Leges De Morgani et leges distribvtivae generalesSvbscriptioCvm ratione
  5. 19Completvdo fvnctionalisSvbscriptioCvm ratione
  6. 20Formae normalesSvbscriptioCvm ratione
  7. 21Algorithmvs formarvm normalivm eivsqve vsvsSvbscriptioCvm ratione
  8. 22Semantica: synthesis et provocationesSvbscriptioCvm ratione

Pars 4Metatheoria

  1. 23Metatheoria: introdvctioSvbscriptioCvm ratione
  2. 24Firmitas et completvdoSvbscriptioCvm ratione
  3. 25Theorema compactitatisSvbscriptioCvm ratione
  4. 26Methodvs resolvtionisSvbscriptioCvm ratione
  5. 27Metatheoria: synthesis et provocationesSvbscriptioCvm ratione

Pars 5Conclvsio cvrsvs

  1. 28Recognitio finalis cvrsvs Logicae Mathematicae ISvbscriptioCvm ratione