Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

universal generalization · Vinony

EntityQ5364991· pop 7· linked from 63 articles

universal generalization

Sign in to save

rule in predicate logic

Connections

first-order logic

commutative property

propositional calculus

distributive property

De Morgan's laws

rule of inference

hypothetical syllogism

deduction theorem

disjunctive syllogism

faulty generalization

double negation

modus ponendo tollens

conjunction elimination

Universal instantiation

disjunction introduction

Categories

Predicate logic Rules of inference

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.46

unrestricted grammar

Entitydist 0.54

Hard-core predicate

Entitydist 0.54

Entitydist 0.56

Entitydist 0.57

Entitydist 0.58

Entitydist 0.61

rule of recognition

Entitydist 0.62

Entitydist 0.64

Entitydist 0.64

personal prelature

Entitydist 0.65

Entitydist 0.66

What links here63 pages

logical positivism

conjunction elimination

deduction theorem

rule of inference

modus ponendo tollens

Charles Sanders Peirce

distributive property

existential quantification

Begriffsschrift

disjunction introduction

disjunction elimination

hypothetical syllogism

double negation

law of noncontradiction

principle of excluded middle

Ludwig Wittgenstein

existential generalization