|
- 2018
Logi?ke bilje?ke o ?ahuKeywords: ?ah, logika, klasi?na logika, deonti?ka logika, logi?ki kvadrat, istinitosno stablo, trovrijednosne logike, prirodna dedukcija Abstract: Sa?etak Namjena je rada poku?ati prikazati ?ahovska pravila kao logi?ke iskaze te ljudsko (ne ra?unalno) ?ahovsko razmi?ljanje kao postupak koji se mo?e rekonstruirati pomo?u klasi?nih logi?kih shema kao ?to su istinitosno stablo i deduktivni postupak u Fitchevu stilu. ?ahovska pravila mogu se prevoditi na jezik logike prvoga reda, iako je mjestimi?no potrebno primjenjivati i operatore deonti?ke logike. Ciljevi se u ?ahovskoj igri mogu prikazati pomo?u logi?kog kvadrata. Mogu?nosti jakih poteza op?enito se mogu logi?ki promi?ljati. Nesavr?enost ljudske procjene kvalitete odre?enih poteza otvara mogu?nost primjene elemenata trovrijednosnih logika. Ipak, rad je u ve?ini posve?en mogu?nostima primjene elementarne logike na osnove ?ahovske igre
|