እ.ኤ.አ. ለኳንተም አመክንዮ ፕሮፖዛል ካልኩለስ የመፍጠር ፅንሰ ሀሳብ በመጀመሪያ በቪን ኑማን 1932 ስራ አጭር ክፍል ላይ ተዘርዝሯል ነገርግን በ1936 የአዲሱ ፕሮፖዛል ስሌት አስፈላጊነት በብዙ ማስረጃዎች ታይቷል። ለምሳሌ፣ ፎቶኖች ቀጥ ብለው በፖላራይዝድ በተደረጉ ሁለት ተከታታይ ማጣሪያዎች ማለፍ አይችሉም (ለምሳሌ፣ አንዱ በአግድም እና ሌላው በአቀባዊ)፣ እና ስለዚህ፣ ፎርቲዮሪ፣ ሶስተኛ ማጣሪያ ፖላራይዝድ ሰያፍ በሆነ መልኩ ወደ ሁለቱ ከተጨመረ፣ በፊትም ሆነ ከነሱ በኋላ በቅደም ተከተል, ነገር ግን ሶስተኛው ማጣሪያ በሌሎቹ ሁለት መካከል ከተጨመረ, ፎቶኖቹ በእርግጥ ያልፋሉ. ይህ የሙከራ እውነታ ወደ አመክንዮ የሚተረጎም እንደ አለመገናኘት ግንኙነት ነው። እንዲሁም የክላሲካል ሎጂክ ስርጭት ህጎች እና , ለኳንተም ቲዎሪ ልክ እንዳልሆኑ ታይቷል።
ለኳተም አመክንዮ ምን ጽንሰ-ሀሳብ ተፈጠረ?
ፕሮፖዛል ስሌት
ፕሮፖዛል ስሌት
propositional calculus