Topic
pair of transformation rules that are both valid rules of inference
Free account · your comment posts right after signup