... assumed that if A --> B, then **/A** proves **/B**. ... fallacy. The former requires a tight argument structure, while ... a thing in informal logic), then it's something like, "Your conclusion ... wrong, so you proved A." Your conclusion exists, so your premises ...