Therefore, P is true.
S verí, že P je pravdivé.