Notes
  • AI
    • Bayesian
      • Complexity Theory
        • Constraint Satisfaction Problem
          • Cryptography
            • Data Science
              • Decision Theory
                • Distances
                  • Fourier Transform
                    • Frequent Item
                      • Graph
                        • Information Theory
                          • Knowledge Representation
                            • Logic
                              • Logic Programming
                                • Logical System
                                  • Description Logic
                                    • First Order Predicate Logic
                                      • Propositional Logic
                                        • Calculi
                                          • Normal Form
                                            • Resolution Calculus
                                              • SAT
                                                • Atom
                                                • Disjunktion
                                                • Implikation
                                                • Inference Rule
                                                • Interpretation Function
                                                • Konjunktion
                                                • Labeled Formula
                                                • Local Hypothesis
                                                • Logical Equivalences
                                                • Negative Literal
                                                • Opposite Literal
                                                • Positive Literal
                                                • Propositional Logic
                                                • Semantics of Propositional Logic
                                                • Syntax of Propositional Logic
                                                • Universe
                                                • Value Function
                                                • Variable Assignment
                                              • Calculus-Derivation
                                              • Formal System
                                              • Logical System
                                            • 01 Logic
                                            • Abduction
                                            • Assignment Extension
                                            • Axiom
                                            • Backchaining
                                            • Backus-Naur-Form
                                            • Closed World Assumption
                                            • Completeness
                                            • Concept Axiom
                                            • Confluent
                                            • Consistency Test
                                            • Course-Of-Values Induction
                                            • Cummulative Development
                                            • Deduction
                                            • Deductive Learning
                                            • Derivation Relation
                                            • Description Logic
                                            • Entailment
                                            • Ex Falso Quodlibet
                                            • Explanation-based Learning
                                            • Frame Problem
                                            • Generalized Quantifiers
                                            • Idempotenz
                                            • Induction
                                            • Inductive Learning
                                            • Inductive Logic Programming
                                            • Induktion (Beweis)
                                            • Inference
                                            • Information Extraction
                                            • Instance Test
                                            • Inverse Resolution
                                            • Knowledge Base Agent
                                            • Knowledge-based Inductive Learning
                                            • Korrektheit
                                            • Linearized Notation for sequent-style ND proofs
                                            • Logic
                                            • MOC - Grundlagen der Logik in der Informatik
                                            • Modus Ponens
                                            • Open World Assumption
                                            • Preferences on Reward Sequences
                                            • Promotion
                                            • Proof
                                            • Propositional Logic as Set Description Language
                                            • Reiterationsregel
                                            • Relevance-based Learning
                                            • Role
                                            • Russellsches Paradox
                                            • Soundness
                                            • Strukturelle Induktion
                                            • Subsumption Test
                                            • Term Frequency
                                            • Tertium Non Datur
                                            • Unsatisfiability Theorem
                                          • Markov
                                            • Mathematics
                                              • media
                                                • Optimization
                                                  • Other
                                                    • Pattern Recognition
                                                      • Search
                                                        • Sort
                                                          • Statistics
                                                            • INDEX
                                                            • MOC - Introduction to Statistics and Statistical Programming
                                                            • MOC - Stochastische Modellbildung
                                                            Navigation

                                                            • All tags
                                                            • #Algorithmus(48)
                                                            • #Algorithmus, codesnippet, code, js, Python(1)
                                                            • #E(1)
                                                            • #Gemischt-ganzzahlige(1)
                                                            • #MOC(8)
                                                            • #P-hard(1)
                                                            • #bachelor(1)
                                                            • #code(1)
                                                            • #codesnippet, code, js, programmingassignment(5)
                                                            • #codesnippet, code, programmingassignment, js(1)
                                                            • #confirm(1)
                                                            • #data(1)
                                                            • #datascience(1)
                                                            • #excalidraw(11)
                                                            • #infovislearn(2)
                                                            • #keep(2)
                                                            • #lnsexam(1)
                                                            • #note(2)
                                                            • #note, datascience, keep(1)
                                                            • #paper(1)
                                                            • #programmingassignment(4)
                                                            • #question(4)
                                                            • #todo(21)
                                                            • #uebung(1)

                                                            • Opposite Literal
                                                            • Propositional Logic

                                                            • Labeled Formula
                                                            • Atom

                                                            Local graph
                                                            1. Logic /
                                                            2. Logical System /
                                                            3. Propositional Logic /
                                                            4. Positive Literal

                                                            Positive Literal

                                                            A Labeled Formula (Atom) where the label is true.