Soundness of Ω-logic: $T \vdash_\Omega \varphi \Rightarrow T \models_\Omega \varphi$ · Prove2Me

P

Initializing...

Soundness of Ω-logic: $T \vdash_\Omega \varphi \Rightarrow T \models_\Omega \varphi$ · Prove2Me