Theorems about leads-to 4

• Completion Theorem:

pre mnozinu predikátov pj, qj, 0 ? j < N:

??j:: pj ? qj ? b?, ??j:: qj unless b? /

/ ??j:: pj? ? ??j:: qj? ? b

• Dôsledok 1 (konecná disjunkcia).

  p ? q, p’ ? q’ / p ? p’ ? q ? q’
  

Dôkaz: špeciálny prípad všeobecnej disjunkcie

• Dôsledok 2.

  p ? b ? q, p ? ?b ? q / p ? q
  

Dôkaz: vyplýva z dôsledku 1

• Dôsledok 3.

  p ? q, r is stable / p ? r ? q ? r
  

Dôkaz: z PSP theorem

Previous slide

Next slide

Back to first slide

View graphic version