negation introduction

logical rule of inference where the conclusion is that a proposition is false

Categories: