Modálna logika: Rozdiel medzi revíziami

d
preklepy
d (odstránenie starej šablóny {{Link FA}} a {{Link GA}})
d (preklepy)
čo opäť vychádza z pozorovania, že nutnosť pravdivosti nejakého tvrdenia, je iba nemožnosť jeho nepravdivosti. Formula <math>\Diamond\,\varphi</math> sa číta ako "Je možné, že <math>\varphi</math>". V takomto jazyku sa dajú úsporne a prehladne zapísať aj veľmi komplikované tvrdenia. Napríklad formula
:<math>\Box\,\Diamond\,\varphi\leftrightarrow\Diamond\,\Box\,\Diamond\,\varphi</math>
sa číta "Tvrdenie <math>\varphi</math> nutne možné vtedy a len vtedy ak je možnemožné nutne možné."
 
== Externé odkazy ==