ഈ പ്രോഗ്രാമിന്റെ ഏക ലക്ഷ്യം, സത്യം പട്ടികകൾ സൃഷ്ടിക്കുന്നു, കൂടാതെ കാണിക്കുന്പോൾ.
ഈ സൗജന്യ പതിപ്പ് ക്ലാസിക്കൽ തർക്കശാസ്ത്രം, ആ negation ആകുന്നു സംയോജനം, (അടക്കം) disjunction, conditonal (മെറ്റീരിയൽ ഇതായിരുന്നു), കൂടാതെ biconditional (മെറ്റീരിയൽ സമവാക്യമായ), അതുപോലെ യഥാക്രമം സത്യത്തെയും അസത്യത്തെയും, ഗുണിതസൂചകമായ സ്ഥിരാങ്കങ്ങൾ 1 0 എല്ലാ പതിവു connectives പിന്തുണയ്ക്കുന്നു. ഒരുകിടിലം ലോജിക് അല്പമെങ്കിലും വിരസത സ്റ്റാൻഡേർഡ് നൊട്ടേഷൻ കൂടാതെ നിങ്ങൾ കൂടി Lukasiewicz സ്ട്രീമിലെ പാകിയ, തിളങ്ങുന്ന പോളിഷ് നൊട്ടേഷൻ ഉപയോഗിക്കാം എന്നതാണ്.
അത് ഇവിടെ സ്റ്റോപ്പില്ല. നിങ്ങൾ വ്യക്തിയുടെ ഇറങ്ങി-ടു-ഭൂമി, സാമാന്യബോധ തരത്തിലുള്ള നിങ്ങൾക്ക് ആക്ടിവ് സ്വതവേ, പ്രോഗ്രാം ക്ലാസിക്കൽ, രണ്ട്-മൂല്യമുള്ള, യുക്തി ഉപയോഗിക്കുന്നു എന്നു കണ്ടെത്തുന്നതാണ്. എന്നാൽ നിങ്ങൾ സാഹസിക തരം കൂടുതൽ എങ്കിൽ ഒരു എന്റർപ്രൈസ് ഷോർട്ട് തടയുന്നതായി ഒരിക്കലും, Android വേണ്ടി സത്യം പട്ടികകൾ വളരെ, യുക്തിയുടെ നോൺ ക്ലാസിക്കൽ, മൾട്ടി-വിലമതിക്കുന്ന സിസ്റ്റങ്ങളിൽ പല പിന്തുണയ്ക്കുന്നു പഠിക്കാൻ സന്തുഷ്ടരാകുമെന്നും ആയിരിക്കും. രണ്ടുതവണ ഒരു നദി നൽകുക ഒരിക്കലും രണ്ടു നെഗറ്റീവുകളെ അരുളപ്പാടു കാണിക്കാതിരിക്കുകയും, പറയാൻ!
അപ്ഡേറ്റ് ചെയ്ത തീയതി
2013, നവം 14