Hľadaj Zobraz: Univerzity Kategórie Rozšírené vyhľadávanie

45 035   projektov
0 nových

Vypracované dôkazy z matematickej logiky

«»
Prípona
.doc
Typ
výpočet
Stiahnuté
1 x
Veľkosť
0,1 MB
Jazyk
slovenský
ID projektu
1861
Posledná úprava
21.07.2016
Zobrazené
1 646 x
Autor:
lukfor
Facebook icon Zdieľaj na Facebooku
Detaily projektu
Popis:
Semantika VL
Metaveta 8 Relácia výrokovej ekvivalencie je metamatematickou ekvivalenciou na systéme všetkých formúl výrokovej logiky.
Overenie. Pre lubovolné ohodnotenie π je

Kľúčové slová:

dôkazy

matematická logika

výroková ekvivalencia

reflexívnosť

symetria

tranzitívnosť



Obsah:
  • Semantika VL
    Syntax VL
    Semantika PL
    Syntax PL