فرنود آوری

logic, reasoning, dialectic, verification