×

simple proposition

basit önerme

  1. Önerme bağlacı yardımıyla kurulmuş olmayan önerme, içinde bağlaç olmayan önerme.
    İngilizce simple proposition; simple sentence
    Fransızca proposition simple, f
    Almanca einfacher Satz, m
  2. Kendisi önerme olan hiçbir ana bileşeni bulunmayan önerme.
  3. 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.
  4. Önermeler mantığında, tek bir önerme sembolünden ibaret önerme.
    İngilizce atomic proposition
    Fransızca proposition atomique, f