section_heading: Propozicije
paragraph_text: Hrizip je propoziciju definirao kao "ono što se može poreći ili potvrditi onim po čemu je to po sebi" i dao primjere propozicija kao što su "dan je" i "Dion hoda".<ref> Razlikovao je jednostavne i nejednostavne propozicije, koje su u modernoj terminologiji poznate kao atomske i molekularne propozicije. Jednostavne propozicije povezane su zajedno kako bi stvorile nejednostavne propozicije korištenjem logičkih veza. Hrizip je nabrojao pet vrsta molekularnih propozicija prema vezi koja se koristi da ih spoji: