一个不能再分解的命题称为______；由原子命题通过联结词联结而成的命题称为______。

______称为命题公式的最小联结词完备集。

命题p→q的主析取范式中含小项的个数是______，主合取范式中含大项的个数是______。

将命题“在北京卖菜的人不全是东北人”符号化为______，其中，F(x):x在北京卖菜，G(x):x是东北人。