Talk axióma
Egy sor axiómák tetszőlegesen megválasztható, de ez csak akkor helyes, ha a következő feltételek teljesülnek:
1. A tudás az abszolút vagy axióma - jóváhagyás értelmében ez a logika kizárja ellentétes jelentésű (alternatív), és elvileg nem ismeri el a lehetőségét, cáfolva mit tapasztalat.
2. A tudás, a relatív vagy posztulátum - jóváhagyás a rendszeren belül nem kimenetre a axiómák, hűség empirikus úton, de logikailag elismerik a lehetőségét egy alternatíva.
3. Az igazság vagy valószínű hipotézis - az állítás logikailag egyenértékű a posztulátum kell tenni, mielőtt a kísérlet azonban támadható kísérleti igazolása legalábbis elvileg.
4. Az igazság lehet, azaz a hit vagy értekezés - megnyilatkozás nem mond ellent a rendelet alapvető logikai áramkör és annak közvetlen következményei, de tapasztalat nincs telepítve. Ez lehet a következménye parcellák vagy tétel.
Sőt, az igazság az állítások lehet meghatározni különböző módon.
f (a \ \ földet \ b) = \ mathrm (f (a), \ f (b)), \ qquad f (a \ \ lor \ b) = \ mathrm (f (a), \ f (b) )
f (a \ \ földet \ b) = f (a) \ cdot f (b), \ qquad \ qquad \ \ f (a \ \ lor \ b) = f (a) + F (b) - f (a ) \ cdot f (b)
néhány észrevétel
I. Axiómái kommunikáció
Példák kommunikációs axiómák
Axióma terjedelmesített 1.1 (axióma közötti kapcsolat predikátum
\ in állítmány