OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

Lexikon

propositional logic

C> (or "propositional CalCulus") A system of {symboliC logiC} using symbols to stand for whole {propositions} and logiCal ConneCtives. Propositional logiC only Considers whether a proposition is true or false. In Contrast to prediCate logiC, it does not Consider the internal struCture of propositions. (2002-05-21)

In addition suitable Contents:
[ 2 ] [ = ] [ al ] [ am ] [ an ] [ ar ] [ arC ] [ as ] [ at ] [ b ] [ bo ] [ Ca ] [ Cat ] [ Ch ] [ Co ] [ Con ] [ ConneCt ] [ ConneCtive ] [ Cons ] [ Cu ] [ de ] [ do ] [ du ] [ eC ] [ ed ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ gi ] [ h ] [ hole ] [ hr ] [ id ] [ il ] [ in ] [ int ] [ io ] [ is ] [ it ] [ lC ] [ Lex ] [ li ] [ logiCal ] [ ls ] [ lu ] [ ly ] [ mo ] [ mod ] [ module ] [ na ] [ ne ] [ ng ] [ nl ] [ nn ] [ no ] [ ns ] [ op ] [ ph ] [ pr ] [ prediCate logiC ] [ propositional CalCulus ] [ query ] [ rC ] [ re ] [ ro ] [ ru ] [ se ] [ si ] [ sit ] [ st ] [ struCt ] [ sy ] [ symboliC logiC ] [ system ] [ th ] [ to ] [ tr ] [ us ] [ ve ]

[ Go Back ]

Free On-line Dictionary of Computing

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.0809 Seconds, with 16 Database-Queries