w-⊨-P-if-and-only-if-for-some-element-v-of-G -- Multiple sentences match - AltSci AI3

Help

+ −

:: w ⊨ P if and only if for some element v of G, it holds that v ⊨ P and w R v.

Edit

Promote Demote Fragment Fix

+ −

:: w ⊨ P if and only if for some element v of G, it holds that v ⊨ P.

Edit

Promote Demote Fragment Fix

« More previous Okay Cancel More next »

0.004 seconds.

Most text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.