👉 In formal logic, an "argyman" is a propositional variable that represents a non-logical statement or proposition. It is used to represent and manipulate logical operations in formulas. argemony