p gibi bir önermenin, K önerme kümesinin bir dizimsel sonucu olması, p nin K dan türetilebilmesi (K|- p) demektir.
