Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModOperatorok}} TOC ==G és F== '''A G, és F az X segítségével kifejezhetők''' * $Gp=p\wedge XGp$ * $Fq=q\vee X…”$

2012-10-21T19:57:32Z

Ú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…”

Új lap

{{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 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..
-- [[MadayPeterTamas|Maday Peter]] - 2007.06.23.

[[Category:Infoalap]]

FormModOperatorok - Laptörténet

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModOperatorok}} __TOC__ ==G és F== '''A G, és F az X segítségével kifejezhetők''' * Gp=p\wedge XGp * Fq=q\vee X…”

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModOperatorok}} TOC ==G és F== '''A G, és F az X segítségével kifejezhetők''' * $Gp=p\wedge XGp$ * $Fq=q\vee X…”$