Skip to content
Snippets Groups Projects

Update 02_proprieta.md

1 file
+ 1
1
Compare changes
  • Side-by-side
  • Inline
+ 1
1
@@ -19,7 +19,7 @@ _Un criterio di selezione si dice __valido___ _se qualora \\(P\\) non sia corret
$$
\boxed{
\operatorname{valido}(C, \\, P) \Longleftrightarrow \left (
\lnot \operatorname{ok}(P, \\, D) \Rightarrow \exists T \in C \\: | \operatorname{successo}(T,\,P)
\lnot \operatorname{ok}(P, \\, D) \Rightarrow \exists T \in C \\: | \operatorname{successo}(T,\\,P)
\right )
}
$$
Loading