atomär sats
atomär sats, sats som inte innehåller en eller flera enklare satser som beståndsdel(ar).
I det predikatlogiska språket, som spelar stor roll i modern logik, bildas en atomär sats genom att ett predikat sammanställs med ett bestämt antal individtermer. Sålunda ger t.ex. predikatet ”mindre än” tillsammans med termerna ”3” och ”7” upphov till den atomära satsen ”3 är mindre än 7”. Utifrån sådana atomära
Information om artikeln
Källangivelse