Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

برهان شرطی · Vinony

🌐فارسی

English Español Italiano فارسی 한국어 中文日本語

EntityQ5159270· pop 6· linked from 59 articles

برهان شرطی

formal proof

Available in 6 languages

Español
Italiano
Galician
فارسی
한국어

via Wikidata sitelinks · CC0

Connections

mathematical logic

Categories

Conditionals Logic Mathematical proofs Methods of proof

commutative property

Entity

propositional calculus

Riemann hypothesis

distributive property

De Morgan's laws

material implication

first-order logic

logical consequence

rule of inference

hypothetical syllogism

Sign in to save

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