Na přednášce jsme používali operátor Before p q. Definujte jej formálně pomocí ostatních operátorů intencionální logiky.
Deadline: pondělí 26. května 2008.