Implikacja tirówa: (p₁ → (p₂ → (p₃ → ... (p_n → q)...))) jest fałszywe Co można powiedzieć o p₁, p₂, p₃, ... p_n, q?

Adamm: p₁ ≡ p₂ ≡ ... ≡ p_n ≡ 1, q ≡ 0

tirówa: Ach, czyli wystarczy skorzystać z faktu że implikacja jest fałszywa tylko wtedy gdy poprzednik jest prawdziwy, a następnik fałszywy?

Adamm: tak

tirówa: Adamm dziękuję Ci bardzo za odpowiedź