Foundations of Propositional Logic — KopHub

Chapters

On this page & study actions

Assessed progress

Sign in and complete the verified MCQs to track mastery.

Practice this topic Next topicPropositional Equivalences and Tautologies

Home/Sem 3/← Discrete Mathematical Structures/Mathematical logic/Foundations of Propositional Logic

Unit 1: Mathematical logic4 min read

Foundations of Propositional Logic

Assessed progress

Sign in and complete the verified MCQs to track mastery.

Practice this topic Next topicPropositional Equivalences and Tautologies

Practice this subject

Continue to KopHub’s existing question and assessment experience.

Next Propositional Equivalences and Tautologies

CSE/SY Sem 3

Leaderboard Calendar Playground

CSE/SY Sem 3

Leaderboard Class Schedule Code Playground Settings

Appearance

Discrete Mathematical Structures

6 Modules

Foundations of Propositional Logic Propositional Equivalences and Tautologies Special Connectives and Functional Completeness Boolean Logic and Bit Operations Operator Precedence and Polish Notation

Functions and Their Properties Binary Relations and Equivalence Posets and Hasse Diagrams Foundations of Set Theory Set Operations and Identities

Algebraic Systems and Binary Operations Semigroups and Subsemigroups Monoids and Submonoids Groups and Abelian Groups Subgroups and Homomorphisms

Introduction to Lattices and Posets Algebraic Properties and Lattice Operations Substructures, Products, and Homomorphisms Distributive, Bounded, and Complemented Lattices

Content unavailableSoon

Introduction to Graphs and Basic Properties Paths, Reachability, and Connectivity Matrix Representations of Graphs Trees and Their Properties Special Graphs, Planarity, and Theorems Practical Applications of Graphs

Discrete Mathematical Structures

6 Modules

Foundations of Propositional Logic Propositional Equivalences and Tautologies Special Connectives and Functional Completeness Boolean Logic and Bit Operations Operator Precedence and Polish Notation

Functions and Their Properties Binary Relations and Equivalence Posets and Hasse Diagrams Foundations of Set Theory Set Operations and Identities

Algebraic Systems and Binary Operations Semigroups and Subsemigroups Monoids and Submonoids Groups and Abelian Groups Subgroups and Homomorphisms

Introduction to Lattices and Posets Algebraic Properties and Lattice Operations Substructures, Products, and Homomorphisms Distributive, Bounded, and Complemented Lattices

Content unavailableSoon

Introduction to Graphs and Basic Properties Paths, Reachability, and Connectivity Matrix Representations of Graphs Trees and Their Properties Special Graphs, Planarity, and Theorems Practical Applications of Graphs

DM ADS DT CN SPM COI

MDM ElectiveMDM

Labs & ProjectsLabs