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.

conditional proof · Vinony

EntityQ5159270· pop 6· linked from 59 articles

conditional proof

Sign in to save

formal proof

Connections

mathematical logic

commutative property

propositional calculus

Riemann hypothesis

distributive property

De Morgan's laws

material implication

first-order logic

logical consequence

rule of inference

hypothetical syllogism

Categories

Conditionals Logic Mathematical proofs Methods of proof

What links here59 pages

deduction theorem

conjunction elimination

rule of inference

modus ponendo tollens

distributive property

logical negation

existential quantification

consequentia mirabilis

disjunction introduction

disjunction elimination

double negation

universal generalization

hypothetical syllogism

Cramér's conjecture

existential generalization

constructive dilemma

Hilbert's tenth problem

Schinzel's hypothesis H

Similar entities

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

mathematical proof

Entitydist 0.34

disjunction introduction

Entitydist 0.43

deduction theorem

Entitydist 0.50

Entitydist 0.53

Biconditional introduction

Entitydist 0.57

Conjunction introduction

Entitydist 0.60

Entitydist 0.60

Entitydist 0.62

disjunction elimination

Entitydist 0.62

disjunctive normal form

Entitydist 0.63

immediate inference

Entitydist 0.63

logical biconditional

Entitydist 0.64