Propositional formula

Formal sciences
Logic
Classical logic
First-order logic

Related lectures (30)

About
Privacy
Disclaimer

Graph Chatbot

Page 2 of 3

Propositional Logic: Normal Forms

Explains constructing DNF and CNF in propositional logic and their complexity.

Introduction & Propositional Logic

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

Counter-example of basic condition

Explores the basic counter-example of a condition's insufficiency for series representation.

Discrete Mathematics: Logic, Structures, Algorithms

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

Predicate Logic: Basics and Applications

Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.

Sets and Operations: Introduction to Mathematics

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Subgroups Criteria: Propositions and Examples

Covers the criteria for subgroups and provides examples and proofs.

Coordinate Calculations: Scalar Product in Coordinates

Covers the calculation of scalar products in coordinates and extends the concept to three-dimensional space.

The Discriminant and Ideal Class Group in Mathematics

Explores the discriminant in matrices, ideal class groups, and optimal embeddings in mathematics.

Stability of Networked Control Systems

Explores the stability analysis of Networked Control Systems under stochastic packet dropouts, emphasizing mean-square stability and practical implications.