Výpočet: Vypracované dôkazy z matematickej logiky
Skryť detaily | Obľúbený- Kvalita:71,6 %
- Typ:Výpočet
- Univerzita:Technická univerzita v Košiciach
- Fakulta:Fakulta elektrotechniky a informatiky
- Kategória:Prírodné vedy
- Podkategória:Matematika
- Predmet:Matematická logika
- Autor:lukfor
- Ročník:2. ročník
- Rozsah A4:1 strán
- Zobrazené:1 675 x
- Stiahnuté:1 x
- Veľkosť:0,1 MB
- Formát a prípona:MS Office Word (.doc)
- Jazyk:slovenský
- ID projektu:1861
- Posledna úprava:21.07.2016
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
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