命題関数
めいだいかんすう
- propositional (sentential) function n
めいだいかんすう
メイ • ミョウ
いのち
fate; command; decree; destiny; life; appoint
ダイ
topic; subject
カン
せき • -ぜき • かか.わる • からくり • かんぬき
connection; barrier; gateway; involve; concerning
スウ • ス • サク • ソク • シュ
かず • かぞ.える • しばしば • せ.める • わずらわ.しい
number; strength; fate; law; figures