simple proposition
basit önerme
-
Önerme bağlacı yardımıyla kurulmuş olmayan önerme, içinde bağlaç olmayan önerme.
İngilizce simple proposition; simple sentenceFransızca proposition simple, fAlmanca einfacher Satz, m
- Kendisi önerme olan hiçbir ana bileşeni bulunmayan önerme.
- Birinci derece mantıkta p, q, r gibi önerme simgeleri, F(a), F(b), ..., G(a), G(b), ... gibi yüklem ve ad simgelerinden kurulu, ∀x A(x) biçiminde tümel önermeleri ve ∃x A(x) biçiminde tikel önermeleri içeren önermeler.
-
Önermeler mantığında, tek bir önerme sembolünden ibaret önerme.
İngilizce atomic propositionFransızca proposition atomique, f