Reguła podstawiania Benny: Reguła podstawiania: Jeśli schemat S(p₁, p₂, ..., p_n) jest prawek rachunku zdań, to również schemat S'(q₁, q₂, ..., q_n)=S(s₁(q₁, q₂, ..., q_k), ..., s_n(q₁, ..., q_k)) jest prawek rachunku zdań. Dowód (przez wartościowanie) Wiemy, że w(S(p₁, ..., p_n))=1 niezależnie od wartości logicznych w(p₁), ..., w(p_n). Niech teraz q₁, ..., q_k będą dowolnymi zdaniami logicznymi. Ich wartości logiczne w(q₁), w₍q_k) jednoznacznie wyznaczają w(s₁(q₁, ..., q_k)), ..., w(s_n(q₁, ..., q_k)). Dla tych wartości logicznych mamy 1=w(S(s₁, ..., s_k))=w(S(q₁, ... , q_k)). Dlaczego? Nie rozumiem tego przejścia.