*
基本演繹法則