ekvipolence

[Latina], ekvivalence dvou vět chápaná, a) jako ekvivalence materiální (implikační), při níž oba výrazy mají stejnou logickou hodnotu, což nastává tehdy, když jeden z druhého vzájemně vyplývají; b) jako oboustranná striktní implikace; c) jako vzájemná odvoditelnost (H. Reinbach, R. Carnap).

Vytvořeno: 14. 3. 2000
Aktualizováno: 30. 11. 2006
Autor: -red-