Logical disjunction

Related lectures (32)

Page 2 of 4

Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.

Covers logical arrays, 3D surface plotting, parametric curves, interpolation, and fitting in Matlab.

Covers translating natural language to propositional logic and proving tautologies.

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

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

Covers the role of pins as input and output, GPIO, and operations on bit fields.

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

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

Covers the calculation of propositions in predicate logic with a focus on logical connectives.

Analyzes quiz answers on predicate logic, covering quantifiers, implications, and negations.