Ekvivalencia, megszámlálhatóan végtelen és kontinuum számosságú halmazok
Feladat: Adjunk bijekciót az alábbi halmazok között: ...
két formulát logikailag ekvivalensnek nevezünk, ha a bennük szereplő változók bármilyen kiértékelése esetén megegyezik a logikai értékük, azaz az igazságtáblázatuk azonos minden modellben. Az így definiált fogalom a logikai ekvivalencia ...
ekvivalenciaosztály
Legyen ekvivalenciareláció az S halmazon. Ekkor az ekvivalenciaosztály S azon elemeinek halmaza, melyek a-val ekvivalensek, azaz .
Meglepő ekvivalencia. Ugyanakkor meglepő disszonancia is: a formális logika arról beszél, hogy a K állítás a következmény, de amiről ilyenkor biztosan és egyértelműen ki tudja jelenteni, hogy igaz, az mégsem a K, csupáncsak a Tétel_0.
A paraciklus definíciójához be kell látnunk, hogy a "korrespondáló pontpár" ekvivalencia-reláció (21. feladat), ami ekvivalens azzal (20. feladat), hogy ha egy háromszög három oldalfelezője közül kettő párhuzamos, azaz egy irányú, ...
Ha egy reláció rendelkezik a fenti tulajdonságokkal, akkor azt ekvivalencia relációnak nevezzük.
(Az ekvivalencia itt azt jelenti, hogy ha ismerünk valamelyikre egy megoldást, abból egyszerűen kaphatunk megoldást a másikra.) A kérdés az i. e. 5.
A díjszámítás alapja az ekvivalencia elv, ami azt mondja ki, hogy
A bevételek várható értékének jelenértéke = a kiadások várható értékének jelenértékével.
Mivel rendelkezik ezzel a három tulajdonsággal, ez egy ekvivalencia reláció.
Számítási szabályok
Főgombok ...
 Lásd még: Definíció, Gráf, Halmaz, Komponens, Ekvivalens
  
|
RSS
