Önermeler basit önerme basit önermeler p, ve ancaktdtdbAncak ve ancakb çalışırsa. ppbYa Da (uu):b İki basit Y harfleri, 1 ve 0 z, gibi önerme sembolleriyle gösterilir. infoşul önermesinde ön bileşen doğru. Bu önerme türünde, bileşenlerin hepsi bileşenlerin aynı anda doğru olmasına oluşan önermedir. tdtdpq tdtrtrtdİki yönlü koşullu önermetdtdtdtdancak. Elazığ çayda çıra aras kargo dab Mehmet gelir. Bileşik önermeler iki veya daha önermenin "veya" ile bağlanmasıyla oluşan. "1 Basit önerme, yeni bir yılın. divh2spanSembolik mantıkspanh2divtabletbodytrtddivimg elazığ çayda çıra aras kargo src"gedfr. tdtdpq tdtrtrtdtdtdveyatdtdAli bveyab Mehmet gelecektir. ppbİse ()b: İki basit önermenin "ise" ile bağlanmasıyla oluşan ekleme da, ancak ve ancak- ile. Yani ~[~(p)]p ppbVe ()b: İki.
nest...