Úlohy z výrokové logiky

1 Základy 2 Výroková logika 3 Formáln´ı axiomatický systém logiky

Bod uzávěru množiny M je takový bod x, jehož ε-okolı́ obsahuje alespoň jeden bod z množiny M . Množina všech bodů uzávěru se nazývá uzávěr množiny (značı́me M ). Platı́, že M ⊆ M...

Hyperjemné interakce v magnetitu a maghemitu

Mikroskopické a nanoskopické částice z magnetických sloučenin nalézajı́ stále hojnějšı́ uplatněnı́ v různých oborech přı́rodnı́ch věd, technických disciplin i výzkumných, léčebn...

Otázky do diskuse - Katedra obecné lingvistiky

Gramatické a stylové prostředky vědeckého vyjadřování, pravopis; správná volba slov z hlediska přesnosti a z hlediska stylové vhodnosti, exaktní formulování myšlenky, vhodné a nevhodné opakování 11...

Základy matematické logiky

Lemma 2.6. Necht’ všechny prvotnı́ formule ve výrokové formuli A jsou obsaženy mezi P1 , . . . , Pn . Pak pro lib. ohodnocenı́ v prvotnı́ch formulı́ platı́ P1v , . . . , Pnv ⊢ Av . Důkaz: Indu...

historický vývoj teorie množin

však do této problematiky zasáhl svými pracemi z matematické analýzy i Bolzano.2 Dospěli jsme tak v tomto stručném přehledu do obdobı́, v němž Bolzano pı́še své dı́lo Paradoxy nekonec...

Koncesní smlouva VST