[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
user:ptacek:start [2010/05/11 15:19]
ptacek
user:ptacek:start [2010/05/11 15:37]
ptacek
Line 135: Line 135:
 zmena zmena
  
-<latex>\forall x: W_x \subseteq B \Rightarrow (\varphi(x)\downarrow \And \varphi(x) \in B \smallsetminus W_x)</latex>+<latex>\forall x: W_x \subseteq B \Rightarrow (\varphi(x)\downarrow \And \varphi(x) \in B \smallsetminus W_x) !!!</latex>
  
 ~~NOTOC~~ ~~NOTOC~~

[ Back to the navigation ] [ Back to the content ]