3
(A → B) → (¬B → ¬A)
Yah saya pikir sudah saatnya kita memiliki pertanyaan bukti-golf . Kali ini kita akan membuktikan kebenaran logis yang terkenal ( A → B ) → ( ¬ B → ¬ A )(SEBUAH→B)→(¬B→¬SEBUAH)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Untuk melakukan ini kita akan menggunakan Skema Aksioma ketiga Łukasiewicz …
38
logic
proof-golf