2014-05-04から1日間の記事一覧
量化記号all,exも使えるようにしました.すなわち,all(束縛変数,論理式)およびex(束縛変数,論理式)は論理式であり,all,exから始まる論理式はこの形に限ります. ただし,束縛変数は入力時に区別する必要があります(勝手にalpha-convしません.したがって…
量化記号all,exも使えるようにしました.すなわち,all(束縛変数,論理式)およびex(束縛変数,論理式)は論理式であり,all,exから始まる論理式はこの形に限ります. ただし,束縛変数は入力時に区別する必要があります(勝手にalpha-convしません.したがって…