Tyhjiö
Kvanttimekaniikan mukaan jopa ideaalinen tyhjiö, jossa ainetta ei olisi lainkaan, ei käytännössä pysyisi tyhjänä. Eräs syy on, että tyhjiötä rajaavat seinämät lähettävät aina mustan kappaleen säteilyä. Perustavanlaatuisempi syy on kuitenkin kvanttimekaniikan teoria, jonka mukaan tyhjiöenergia ei koskaan voi olla tarkalleen nolla. Alinta mahdollista energiatilaa kutsutaan nollapiste-energiaksi, ja se koostuu hyvin lyhytikäisten virtuaalisten hiukkasten puurosta. Tätä kutsutaan kvanttifluktuaatioksi. Tämä fluktuaatio voidaan yhdistää ns. kosmologiseen vakioon. Kvanttimekaanisella tyhjiöllä eli vakuumilla, joka on vakuumitilaksi kutsuttava kvanttitila, tarkoitetaan siten energian teoreettista minimiä, ei totaalisen tyhjää.
Symbolinen logiikka
Propositiologiikka tutkii lauseiden ominaisuuksia niiden sisältämien vakioiden ja muuttujaviittausten, kuten A, B, C, ... sekä viiden operaattorin, "ja" (AND), "tai" (OR), "jos...niin" [IMPLIES), "jos ja vain jos"' (EQUALS) sekä "ei" (NOT) perusteella. Vastaavat logiikan operaatiot ovat konjunktio, disjunktio, implikaatio, ekvivalenssi, sekä negaatio eli kielto. Näistä muut paitsi "ei" ovat binaarisia operaatioita. Operaatioiden merkitystä kuvataan totuusarvotaulukoilla.
Predikaattilogiikka on propositiologiikan laajennus, joka tuo mukaan muuttujat, lauseet eli predikaatit. Muuttujat esitetään yleensä pienellä alkukirjaimella "x", "y", "z" jne, kun taas predikaatit esitetään isolla alkukirjaimella, esimerkiksi P("x") or Q("y","z"). Sen lisäksi predikaattilogiikkaan liittyvät kvanttorit, jotka kuvaavat tapauksia "kaikki" (universaalikvanttori formula_1) ja "on olemassa" (eksistenssikvanttori formula_2).