പ്രോപ്പോസിഷണൽ കാൽക്കുലസ്
ക്വാണ്ടം ലോജിക്കിനായി ഒരു പ്രോപ്പോസിഷണൽ കാൽക്കുലസ് സൃഷ്ടിക്കുക എന്ന ആശയം വോൺ ന്യൂമാന്റെ 1932 ലെ രചനയിലെ ഒരു ചെറിയ വിഭാഗത്തിൽ ആദ്യമായി വിവരിക്കപ്പെട്ടു, പക്ഷേ 1936 ൽ, പുതിയ പ്രോപ്പോസിഷണൽ കാൽക്കുലസിന്റെ ആവശ്യകത നിരവധി തെളിവുകളിലൂടെ തെളിയിക്കപ്പെട്ടു.
ക്വാട്ടം ലോജിക്കിനായി എന്ത് ആശയമാണ് സൃഷ്ടിക്കപ്പെട്ടത്?