SORU: Tanıma göre, bir A,B,...? S çıkarımının geçerli olması ile A, B, ... önermelerinin S önermesini içermesi aynı anlama gelmektedir. Bunun sebebi nedir?
CEVAP: Bir A, B, C, ... ?S çıkarımının geçerli olması demek, çıkarımın öncülleri A, B, C, ... doğru olduğunda S sonuç önermesinin yanlış olamaması demektir. Bu ise, A, B, C, ...önermelerinin S önermesini mantıksal olarak içermesi demektir.
