规范形式1:只有有规矩,才能成方圆。这是一个必要条件假言推理,根据真值表,否定前件式和肯定后件式是有效推理。因此,“没有规矩,不成方圆”是正确的,也能从“成方圆”推出“有规矩”。
规范形式2:如果没有规矩,就不成方圆。这是一个充分条件假言推理,根据真值表,肯定前件式是有效推理,肯定后件式是错误的。因此,“没有规矩,不成方圆”是正确的,却不能从“不成方圆”推出“没有规矩”。
规范形式1:只有有规矩,才能成方圆。这是一个必要条件假言推理,根据真值表,否定前件式和肯定后件式是有效推理。因此,“没有规矩,不成方圆”是正确的,也能从“成方圆”推出“有规矩”。
规范形式2:如果没有规矩,就不成方圆。这是一个充分条件假言推理,根据真值表,肯定前件式是有效推理,肯定后件式是错误的。因此,“没有规矩,不成方圆”是正确的,却不能从“不成方圆”推出“没有规矩”。