👉 Non-reversibility, in computer science and logic, refers to a property that cannot be reversed. For example, if you have a statement like "If it is raining, then I will go for a hike," this statement cannot be reversed because one part of the statement implies the other part of the statement.