MATHDSE2: Prob & Stats / Logic & Graph / Portfolio | Semester VI | Vidyasagar University

University curriculum map

Learning structure

See every source-backed lesson affiliated with this exact university, course, semester, and paper before entering the chronological tree.

Interactive concept atlas

MATHDSE2: Prob & Stats / Logic & Graph / Portfolio Curriculum Map

51 concepts · 50 relationships · auto mode

Concept map ready to load

The graph engine loads only when this learning map approaches the viewport.

Accessible text outline

Concepts

ApexMath Curriculum Mapatlas
Statements and Primitive Statementssubsection
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfoliocurriculum
Negation and Compound Statementssubsection
Conjunction and Disjunctionsubsection
Implication and Biconditionalsubsection
Open Sentences and Truth Valuessubsection
Truth Tables for Basic Connectivessubsection
Symbolic Translation of Compound Statementssubsection
Conditional Statements and Programming Decisionssubsection
Parentheses in Compound Truth Tablessubsection
Tautologies, Contradictions, and Valid Argumentssubsection
Truth-Table Applicationssubsection
Equivalent Forms of Compound Statementssubsection
De Morgan's Lawssubsection
Distributive Laws for Logical Connectivessubsection
Laws of Logicsubsection
Duality in Logical Equivalencesubsection
Substitution Rules for Logical Equivalencesubsection
Negation and Duals of Conditional Statementssubsection
Converse, Inverse, and Contrapositivesubsection
Nested Conditionals and Program Logicsubsection
Simplification of Compound Statementssubsection
Switching Networks and Logical Equivalencesubsection
NAND and NOR Connectivessubsection
Valid Arguments and Logical Implicationsubsection
Direct Rules of Inferencesubsection
Invalid Conditional Reasoningsubsection
Conjunction and Disjunction Rulessubsection
Contradiction and Indirect Proofsubsection
Proofs Using Several Rules of Inferencesubsection
Invalid Arguments and Counterexamplessubsection
Open Statements and Universe of Discoursesubsection
Existential and Universal Quantifierssubsection
Implicit Quantification and Universe Dependencesubsection
Quantifiers in Programming Statementssubsection
Truth Conditions for Quantified Statementssubsection
Logical Equivalence and Implication of Predicatessubsection
Converse, Inverse, and Contrapositive of Quantified Implicationssubsection
Logical Laws for Quantified Statementssubsection
Negation of Quantified Statementssubsection
Multiple and Nested Quantifierssubsection
Negation of Nested Quantified Statementssubsection
Unique Existencesubsection
Biconditional Definitions with Quantifierssubsection
Proof by Exhaustion and Theorem Terminologysubsection
Universal Specification in Quantified Argumentssubsection
Universal Generalization in Theorem Proofssubsection
Quantifier Laws and Existential Rulessubsection
Integer Parity Definitions and Direct Proofssubsection
Indirect Proof Methods for Theoremssubsection

Relationships

ApexMath Curriculum Map --contains--> University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Statements and Primitive Statements
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Negation and Compound Statements
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Conjunction and Disjunction
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Implication and Biconditional
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Open Sentences and Truth Values
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Truth Tables for Basic Connectives
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Symbolic Translation of Compound Statements
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Conditional Statements and Programming Decisions
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Parentheses in Compound Truth Tables
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Tautologies, Contradictions, and Valid Arguments
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Truth-Table Applications
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Equivalent Forms of Compound Statements
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> De Morgan's Laws
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Distributive Laws for Logical Connectives
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Laws of Logic
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Duality in Logical Equivalence
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Substitution Rules for Logical Equivalence
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Negation and Duals of Conditional Statements
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Converse, Inverse, and Contrapositive
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Nested Conditionals and Program Logic
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Simplification of Compound Statements
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Switching Networks and Logical Equivalence
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> NAND and NOR Connectives
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Valid Arguments and Logical Implication
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Direct Rules of Inference
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Invalid Conditional Reasoning
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Conjunction and Disjunction Rules
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Contradiction and Indirect Proof
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Proofs Using Several Rules of Inference
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Invalid Arguments and Counterexamples
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Open Statements and Universe of Discourse
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Existential and Universal Quantifiers
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Implicit Quantification and Universe Dependence
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Quantifiers in Programming Statements
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Truth Conditions for Quantified Statements
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Logical Equivalence and Implication of Predicates
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Converse, Inverse, and Contrapositive of Quantified Implications
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Logical Laws for Quantified Statements
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Negation of Quantified Statements
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Multiple and Nested Quantifiers
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Negation of Nested Quantified Statements
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Unique Existence
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Biconditional Definitions with Quantifiers
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Proof by Exhaustion and Theorem Terminology
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Universal Specification in Quantified Arguments
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Universal Generalization in Theorem Proofs
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Quantifier Laws and Existential Rules
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Integer Parity Definitions and Direct Proofs
University: Vidyasagar University / B.Sc. 4 Years Honours in Mathematics under NEP / Semester VI / MATHDSE2: Prob & Stats / Logic & Graph / Portfolio --maps-to--> Indirect Proof Methods for Theorems

Concepts

Relationships

Mapped learning units

Basic Logical Connectives and Truth Tables

Statements and Primitive Statements

Negation and Compound Statements

Conjunction and Disjunction

Implication and Biconditional

Open Sentences and Truth Values

Truth Tables for Basic Connectives

Symbolic Translation of Compound Statements

Conditional Statements and Programming Decisions

Parentheses in Compound Truth Tables

Tautologies, Contradictions, and Valid Arguments

Truth-Table Applications

Logical Equivalence and the Laws of Logic

Equivalent Forms of Compound Statements

Logical Implication and Rules of Inference

Valid Arguments and Logical Implication

Predicates and Quantifiers

Open Statements and Universe of Discourse

Quantifiers Definitions And Proofs Of Theorems

Biconditional Definitions with Quantifiers

Curated pathways

Metric Spaces

De Morgan's Laws

Distributive Laws for Logical Connectives

Laws of Logic

Duality in Logical Equivalence

Substitution Rules for Logical Equivalence

Negation and Duals of Conditional Statements

Converse, Inverse, and Contrapositive

Nested Conditionals and Program Logic

Simplification of Compound Statements

Switching Networks and Logical Equivalence

NAND and NOR Connectives

Direct Rules of Inference

Invalid Conditional Reasoning

Conjunction and Disjunction Rules

Contradiction and Indirect Proof

Proofs Using Several Rules of Inference

Invalid Arguments and Counterexamples

Existential and Universal Quantifiers

Implicit Quantification and Universe Dependence

Quantifiers in Programming Statements

Truth Conditions for Quantified Statements

Logical Equivalence and Implication of Predicates

Converse, Inverse, and Contrapositive of Quantified Implications

Logical Laws for Quantified Statements

Negation of Quantified Statements

Multiple and Nested Quantifiers

Negation of Nested Quantified Statements

Unique Existence

Proof by Exhaustion and Theorem Terminology

Universal Specification in Quantified Arguments

Universal Generalization in Theorem Proofs

Quantifier Laws and Existential Rules

Integer Parity Definitions and Direct Proofs

Indirect Proof Methods for Theorems

Introduction To Discrete Mathematics