Registrácia
|
Prihlásiť
Univerzity
Kategórie
Rozšírené vyhľadávanie
Technická univerzita v Košiciach
Fakulta elektrotechniky a informatiky
Výpočet: Vypracované dôkazy z matematickej logiky
Zobraziť detaily
|
Obľúbený
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ť
Hodnotenie (0x):