p→qである

qである

よってpである

……これは論理的に間違った推論だ、ということ