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
                                      • First-Order Natural Deduction
                                        • First-Order Unification
                                          • Alphabetical Variant
                                          • Bound Variable
                                          • Closed Formula
                                          • Existential Quantifier
                                          • First-Order Predicate Logic
                                          • First-Order Signature
                                          • Free Variable
                                          • Free Variable Tableau Calculus
                                          • Proposition
                                          • Sentence
                                          • Standard Tableau Calculus
                                          • Terms
                                          • Universal Quantifier
                                        • Propositional Logic
                                          • 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)

                                                        • First-Order Predicate Logic
                                                        • MOC - Grundlagen der Logik in der Informatik

                                                        • Closed Formula
                                                        • Proposition

                                                        Local graph
                                                        1. Logic /
                                                        2. Logical System /
                                                        3. First Order Predicate Logic /
                                                        4. Sentence

                                                        Sentence

                                                        A closed Proposition is called a sentence.