Logical connective

Related lectures (30)

Introduces NumPy arithmetic operations, logical operations, indexing, multidimensional arrays, matrix operations, and data import/export.

Covers the process of showing logical equivalences through examples and introduces De Morgan's Laws.

Covers logical equivalences, quantifiers, and De Morgan's Laws in predicate logic.

Introduces formal verification methodology and Presburger arithmetic for program verification and automated reasoning.

Covers the basics of logical systems, Boolean algebra, logic gates, and coding in digital circuits.

Covers basic operations on arrays and functions in Matlab, including array creation, arithmetic operations, and function definitions.

Covers the concept of logical equivalence in proofs and inference rules.

Covers the description of all solutions of the initial problem and related concepts such as compactness and closure.

Covers inference engines based on resolution, Horn clauses, filtering, and unification in artificial intelligence.

Page 2 of 2