Definíció
Tautológia (tautológia) néven is ismert Wing tautológia, a pinjin: [Chong yan shì], a logika, a kifejezés, hogy a matematikai szimbólum \ modellek.
Adott egy propozicionális képlet, mintha nem számít, hogy milyen feladat az alkatrészek, amely megfelel a valódi értékét a szárny T (Igaz), az úgynevezett propozicionális formula tautológia vagy állandó igaz formula. [1]
Legyen bármilyen propozicionális képlet, ha A különböző feladatok az alsó érték igaz, akkor A tautológia.
Logikai tautológia igaz értékétől függetlenül a részek, de mindig igaz állítások. Például az "Vagy minden varjak fekete, vagy nem minden fekete" tautológia, mert a Ravens nem ellenőrzik, milyen színű is igaz. Mint egyfajta kifejezés által képviselt X "minden holló fekete" állítás: X vagy nem X, az is igaz, mert nem mindegy, hogy X igaz, van egy szegregáció bejegyzés (diszjunkt) igaz, így az egész állítás igaz.Függetlenül attól, hogy az alkatrészek és a valós érték mindig hamis állítás nevezett konfliktus.
Talált tautológia
A Boole algebra tautológia találhatók a legegyszerűbb módja, hogy használja az igazság táblázatot. Mivel azonban a változók száma vesz részt a növekedés az igazság tábla, hogy mekkora a teljesítménye a növekedés, ami nem kedvez a négy vagy több változó tautológia, akkor egyszerűbb és algebra sokkal hasznosabb lehet. [2]
Vonatkozások
Tautológia szimbólum. Ha R jelentése minden bizonnyal igaz, ha S igaz, jelöljük, amely egyenértékű az. IFF P-> Q tautológia, ez az úgynevezett "P azt Q", jelöljük P => Q
Példák tautológia
"1 1 = 2"
"Minden háromszögnek három oldala van."
"Négy láb állatokra, amelyeknek négy lába az állat."
"Minden agglegény nőtlen." (Bachelor definíciója, amely: még nem házas férfi)
"Xiao Ming nagyon népszerű a lányok, mert van egy nő él." (Vagyis nő él, hogy üdvözölte a lányok, mert a Xiao Ming üdvözölte a lányok úgy gondolták, hogy a női él)
"West Lake víz, vagy megy a hal, vagy menjen nincs hal."
"Végső soron fog történni történni."
|