FormModOperatorok

A VIK Wikiből
A lap korábbi változatát látod, amilyen (vitalap) 2012. október 21., 20:57-kor történt szerkesztése után volt. (Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModOperatorok}} __TOC__ ==G és F== '''A G, és F az X segítségével kifejezhetők''' * <math>Gp=p\wedge XGp</math> * <math>Fq=q\vee X…”)
(eltér) ← Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)
Ugrás a navigációhoz Ugrás a kereséshez

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor kérlek javíts rajta egy rövid szerkesztéssel.

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót


G és F

A G, és F az X segítségével kifejezhetők

  • [math]Gp=p\wedge XGp[/math]
  • [math]Fq=q\vee XFq[/math]

Az U-val is

  • [math]Fp=trueUp[/math]
  • [math]Gq=\neg(trueU \neg q)[/math]

Egzotikus operátorok

B

A *B* az *U* hoz hasonló, azt fejezi ki, hogy valami legalább egyszer igaz, mielőtt valami más igazzá válik.

  • [math]pBq = \neg((\neg p)Uq)[/math]

R

  • [math]pRq=(p\wedge q) \vee (q\wedge X (pRq))[/math]
  • [math]pRq = \neg((\neg p)U\neg q)[/math]
  • ez volt az egyik kidolgozásban, hogy a Tableau módszernél így kell helyettesíteni..

-- Maday Peter - 2007.06.23.