formülün cümlecik kümesi ne demek?

1. Verilen formülün bir Skolem standart biçimindeki matrisinde yer alan cümleciklerin kümesi, cümlecik kümesi.

formülün modeli

1. Bk. model.

formülün standart biçimi

1. Bk. Skolem standart biçimi.

cümlecik

1. Önerme.
2. Küçük cümle
3. Sıfır ya da daha fazla harfimsilerin sonlu bir tikel evetlemesi.
4. Clause.

kümesi

1. Heap, pile, mass, cluster, group, tuft, conglomerate, league, aggregate, aggregation, bank, clamp, cloud, clump, conglomeration, family, stack, congeries, division.

Türetilmiş Kelimeler (bis)