Definition Let: P : A proposition Then an argument commits the Appeal to Ignorance if and only if it asserts: There is no proof that P is true⟹P is false