• 1.1 What is Digital logic? • 1.2 Digital operations (AND, OR, NOT) • 1.3 Truth table • 1.4 Robot Hardware • 1.5 Software implementation of digital operations
Two forms of Completeness Theorem Let Γ be a set of wffs. The following parts are equivalent. If Γ |= A then Γ ` A If Γ is consistent, then Γ is satisfiable