Ringschluss
id:
ringschluss-189-2579708
title:
Ringschluss
text:
A closed chain inference is a mathematical proof technique with which the pairwise equivalence of several statements can be proven without having to prove all pairwise equivalences directly. In order to prove that the statements φ 1, …, φ n are each pairwise equivalent, proofs are given for the implications φ 1 ⇒ φ 2, φ 2 ⇒ φ 3, …, φ n − 1 ⇒ φ n and φ n ⇒ φ 1. The pairwise equivalence of the statements then results from the transitivity of the material conditional.
brand slug:
wiki
category slug:
encyclopedia
description:
Proof strategy for showing a collection of statements are pairwise equivalent.
original url:
https://en.wikipedia.org/wiki/Ringschluss
date created:
2024-08-14T11:51:59Z
date modified:
2024-09-09T03:30:08Z
main entity:
{"identifier":"Q100350718","url":"https://www.wikidata.org/entity/Q100350718"}
image:
fields total:
13
integrity:
15