p önermesinin K önerme kümesinden türetilebildiğini dile getiren dizimsel sözeden dil önermesi: K|-p.