Modálna logika: Rozdiel medzi revíziami

Modálna logika (upraviť)

Verzia zo dňa a času 23:42, 11. február 2017

Pridaných 5 bajtov ,  pred 3 rokmi
🙂
d (preklepy)
(🙂)
 
'''Modálna logika''' je odvetvie [[logika|logiky]], ktoré skúma logickú štruktúru ''nutnosti'' a ''možnosti'', s ktorými klasická [[výroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok
:"Je„Je možné, že slnko práve prestalo svietiť."“
je z hladiskahľadiska klasickej výrokovej logiky [[atomárny fakt|atomárny]]. To znamená, že výroková logika ho chápe ako ďalej nedeliteľný celok a nezaujíma sa o jeho vnútornú štruktúru. Modálna logika ide hlbšie a rozlišuje v tomto výroku dve komponenty: takzvanú '''logickú modalitu''' "Je možné, že" a samotný výrok pod modalitou "Slnko práve prestalo svietiť".
 
V užšom význame pojem '''modálna logika''' označuje konkrétny [[logický kalkul]] študovaný v rámci modálnej logiky vo vyššie uvedenom zmysle. Tak napríklad kalkul [[K (modálna logika)|K]] tiež známy ako ''normálna modálna logika'' alebo kalkuly [[S4 (modálna logika)|S4]] a [[S5 (modálna logika)|S5]] sú modálne logiky.
Marián 2
26 696

úprav

Zdroj: „https://sk.wikipedia.org/wiki/Špeciálne:Mobilný_rozdiel/6445810“