Ohatra ny inference. Inona no fanatsoahan-kevitra? Ny avy hatrany inference

Inona no fanatsoahan-kevitra? Izany no raikitra ny endriky ny toe-tsainy sy ny zo ihany no manao tsoa-kevitra. Ny antsipiriany izany: ao amin'ny dingan'ny fianarana dia mazava fa ny fiampangana, Nanolo-kevitra ny porofo, fa tsy izy rehetra no marina, afa-tsy ny vola sasany vidiny azy.

Mba hametraka ny fahamarinana manontolo dia matetika nanatontosa fanadihadiana lalina; mazava tsara ny mamaritra ny olana mifandray amin'izy samy izy efa manjaka fahamarinana, dosobrat zava-misy ilaina mba hanao fanandramana mba hizaha toetra rehetra indray miaraka nitranga sahoan-dresaka ary hitondra ny vokatra farany. Eto izany - ny teny famaranana.

Ao amin'ny lojika, ny endriky ny fisainana tsy mitady izay fomba hafa: ny tena didim-pitsarana - iray na maromaro - raha manaja fitsipika sasany misintona ny vokatra manaraka dia azo, tolo-kevitra vaovao, izay manaraka mivantana avy teo aloha.

structure

Koa inona no fanatsoahan-kevitra, ary inona no ahitana izany? Ny didim-pitsarana (entana), fampidirana am-ponja (didim-pitsarana vaovao) sy ny fifandraisana mirindra eo amin'ny fitsarana sy ny didim-pitsarana. Logic fitsipika izay tsoa-kevitra toa milaza ny fifandraisana mirindra. Amin'ny teny hafa, ny inference (any) dia ahitana tsotra na sarotra didim-pitsarana izay hampitaovana saina ny fahalalana vaovao. Ireo fitsipika ireo, raha hita fa marina sy ireo afaka hiteraka vaovao, generalizing, antsoina hoe Yu hevitra.

Ny fitsarana dia azo amin'ny alalan'ny fanodinana ny entana izay fomba inferences asa, antsoina hoe alalan'ny terminal (na ary koa ny fanatsoahan-kevitra, na ny lojika vokany). Aoka hojerentsika, ahoana ny fitsipika sy ny inferences. Ara-lojika dia mametraka fitsipika mba hahazoana antoka fa ny tena hevitra. Ahoana no tsoahina Fandresen-dahatra? Ohatra manome entana maro.

• Conservatory mpianatra Natalia mitendry piano mahagaga.
• Elizabeth taona faharoa mandray anjara amin'ny fifaninanana ny pianô ensembles in Duo amin'ny Natalia.
• Famaranana: Elizabeth soa aman-tsara ny fianarany teny conservatory.

Ohatra, afaka mora foana hahatakatra fa toy izany fanatsoahan-kevitra, ary inona no zava-fifandraisany amin'ny faritry (didim-pitsarana). Ny zava-dehibe indrindra fa ny entana dia marina, tsy mba hahazo hevitra diso. Fepetra iray hafa: ny fifandraisana misy eo amin'ny didim-pitsarana dia tsy maintsy ho marina lojika naorina, mba tsikelikely ary araka ny marina ny fikasana hanao lalana koa - avy amin'ny faritry ny famintinana.

Telo fanatsoahan-kevitra ny vondrona

Ny fizarana ho vondrona atao aorian'ny fanamarinana ny ambaratongam-fitoviana ny didim-pitsarana.

• Deductive Fandresen-dahatra, izay moves hevitra avy amin'ny ankapobeny ho an'ny manokana, avy amin'ny lehibe ny madinika.
• Inductive ny hevitra izay avy amin'ny fahalalana ny iray hafa, tsy mitsaha-mitombo ny ambaratongam-generality.
• Fandresen-dahatra amin'ny alalan'ny fampitahana, izay horaisintsika sy ny famaranana mahalala ny ambaratongam-generality iray.

Ny vondrona voalohany ny fanjohian-Mifototra amin'ny tsy miankina sy ny vondrona raha ny rehetra dia mitovy amin'ny Wikibolana anglisy. Izany hoe, Na ahoana na ahoana, fomba iray: avy amin'ny ankapobeny ho an'ny manokana. Deductive Fandresen-dahatra dia antsoina hoe deductio - "fanesorana" (ny ankapobeny fitsipi-fanadihadiana hetsika ho amin'ny raharaha manokana). Miasa amin'ny lojika deduction na fitsipika sendikà: a categorical syllogism, fisarahana-categorical sy fepetra fisarahana. Rehetra no nandray ny iray deductive lalana.

Deduction manomboka mianatra amin'ny endrika fahita indrindra, ary io categorical syllogism - syllogism, izay nadika avy amin'ny teny grika midika hoe "soschityvanie". Eto dia manomboka ny asa fandalinana ny tohan-kevitra izay zavatra nataon ka ny fitsipika sy ny foto-kevitra.

Analysis ny rafitra tsotra

Ny fianarana ny teknika momba rafitra saro-takarina foana manomboka amin'ny singa fototra indrindra. Olombelona rehetra nieritreritra tao am fiainana andavanandro, na ao amin'ny tontolo matihanina - Fandresen-dahatra toy izany koa, na iza na lava gadran 'ny Fandresen-dahatra - rehetra notsoahina tsy misy fahalalana vaovao.

Tontolo iainana - natiora - dia nanome ny olombelona kely kokoa noho ny biby, fa io fototra nitombo ny tarehy goavam trano, izay ny olona mianatra sy ny toerana, ary ny fanabeazana fototra poti, ary avo-fanabeazana, sy ny halalin 'ny ranomasina lovia famafazana sy efa lany tamingana fiteny sy ny Firenena fahiny . Tsy misy ny efa misy fahalalana dia tsy ho azo raha tsy olombelona nomena ny fahafahana hanorina famaranana.

Ohatra O fitrandrahana

Mba hanesorana lesona avy amin'ny Narahi-baovao - Tsy ny rehetra saina manontolo, fa tsy misy izany olona tsy miaina indray andro. Ny lafiny manan-danja indrindra ny sain'olombelona - ny fahafahana hahazo izay ny dia niady hevitra sy ny fahafahana manao izany. Na dia ny tena fototra trangan-javatra sy ny zavatra mitaky fampiharana ny saina: Mifohaza, hijery ny fitaovana fijerena hafanana ivelan'ny varavarankely, ary raha ny volavelona nandatsaka ny -30, fitafy mifanaraka amin'izany. Toa isika tsy mieritreritra hanao izany. Na izany aza, ny hany fanazavana izay niseho - mari-pana izany. Izao no famaranan moa fa ny hatsiaka, na dia be dia na inona na inona mihoatra noho ny fitsapana hafanana mbola tsy voamarina. Angamba dia tsy ho hatsiaka any amin'ny vanin-taona mafana sarafan? Aiza fahalalana? Mazava ho toy izany rojo ezaka ara-tsaina no ilaina. Ary fanampiny entana koa. Ireo no fanatsoahan-kevitra avy hatrany. Smart ny olona dia afaka manana indrindra ny vaovao avy amin'ny kely indrindra mialoha ny fahalalana sy ny zava-misy rehetra ny vokatry ny zavatra nataony. Ny ohatra tsara ny - Sherlock Holmes sy ny mahatoky Watson. Syllogism dia ahitana roa na mihoatra ampy ihany koa ny entana, ary miorina amin'ny endriky ny singa ao amin'ny fitsarana. Misy tsotra sy sarotra, ary nohafohezina slozhnosokraschonnye syllogisms.

Ny avy hatrany inference

Araka ny hita etsy ambony, ny avy hatrany inference - tsoa-kevitra azo homarinana avy amin'ny iray fonosana. Ny fiovam-po fitsaboana, ny mpanohitra noforonin'ny ny lojikan'ny Fandresen-dahatra. Ny fanovana - fiovam-kalitao entana tsy manova ny isa. Fitsarana izay mitohy nofoanana, sy ny fanambarana (enti-) - ny hevitra ny mifanohitra tanteraka famaranana. ohatra:

• Ny amboadia rehetra - ny biby mpiremby (manerana izao rehetra izao affirmative fitsarana). Tsy misy ny amboadia dia tsy nehischnikom (manerana izao rehetra izao ratsy fitsarana).
• Tsy misy ny polyhedra tsy fisaka (manerana izao rehetra izao ratsy fitsarana). Rehetra tsy planar polyhedra (manerana izao rehetra izao affirmative fitsarana).
• Ny sasany dia fihinana ny holatra (ho an'ny fitsarana matetika). Misy holatra dia inedible (chastnootritsatelnoe fitsarana).
• Part ny heloka dia tsy niniana (chastnootritsatelnoe fitsarana). Ampahany tsy nahy fahatafintohinana (ho an'ny fitsarana matetika).

Hanova ny antso ihany koa ny foto-kevitra sy ny enti-toerana amin'ny subordination tanteraka ny fitsipika nizara teny amin'ny fitsarana. Mizara tsara madio (tsotra) sy voafetra.

Fanoherana - mivantana inference, izay ilay foto-kevitra lasa ny enti-, ary ny toerana dia nalaina avy amin'ny foto-kevitra, tanteraka tany am-boalohany, nefa tsy araka ny rariny. Noho izany, dia nofoanana ny fonosana. Afaka mandinika ny mpanohitra noho ny aorian'ny-fitsaboana sy ny fiovana.

Inference in lojika - mitovy karazana deduction izay avy hatrany ny hita dia mifototra amin'ny lojika kianja.

categorical syllogism

Categorical deductive Fandresen-dahatra - izany, izay didim-pitsarana marina roa tokony namarana. Ny hevitra izay ny ampahany amin'ny syllogism, antsoina hoe. Simple categorical syllogism manana teny telo:

• sonia ny enti-(P) - ny teny lehibe;
• niditra tao amin'ny foto-kevitra (S) - tsy ampy taona teny;
• ligament entana P sy S, no tonga ao amin'ny trano-maizina (M) - ny teny afovoany.

Endriky ny syllogism, izay samy hafa eo afovoany teny (M) ao amin'ny faritry, atao hoe ny teny sasany ao amin'ny categorical syllogism. Misy efatra farantsa izany, samy manokana sy ny fitsipika.

• Figure 1: General faritry lehibe, tsy dia affirmative;
• Figure 2: anglisy faritry lehibe, tsy dia ratsy;
• Sary 3: ny kely affirmative, ny quotient famaranana;
• Figure 4: Farany, tsy misy manerana izao rehetra izao affirmative fitsarana.

Tarehimarika tsirairay dia mety ho fomba maro (izao no syllogisms samy hafa ny hatsaran'ny toetra sy ny hamaroan'isa ny faritry sy ny fanatsoahan-kevitra). Ho vokany, ny sarin-syllogism dia sivy ambin'ny folo amin'ny fomba marina, ny tsirairay avy izay voatendry ny amin'ny anarany Latina.

Simple categorical syllogism: ankapobeny fitsipika

Hamaranana amin'ny syllogism mahazo ny marina, dia mila mampiasa ny tena faritry, mba hanomezam-boninahitra ny fitsipiky ny tarehimarika sy ny kely saina categorical syllogism. inference fomba mitaky fanajana ny fitsipika manaraka ireto:

• Aza quadrupling ny teny, dia tokony ho telo ihany. Ohatra, ny hetsika (M) - mandrakizay (P); mankany amin'ny University of (S) - ny mihetsika (M); famaranana dia diso: mankany amin'ny oniversite mandrakizay. Medium teny eto upotreblon amin'ny fomba samihafa: ny iray - ao amin'ny filozofika ary ny iray kosa - ny andavanandro.
• Medium teny voatery zaraina amin'ny iray, fara fahakeliny ilay entana. Ohatra, ny trondro (P) afaka hitsingevana (M); anabaviko (S) milomano (M); anabaviko - trondro. Diso hevitra.
• Ny teny hoe dia zaraina raha tsy aorian'ny famaranana ny fizarana ao amin'ny fonosana. Ohatra, ao amin'ny tanàna rehetra ny tendrony - ny White alina; St. Petersburg - tsy tendrony tanàna; tany Saint-Pétersbourg, tsy misy fotsy alina. Izao no famaranan no diso. Term famaranana misy mihoatra noho ny fandefasana ny lehibe kokoa ny teny hoe omena.

Misy fitsipika ho amin'ny fampiasana ny faritry, izay mitaky ny endriky ny Fandresen-dahatra, izy ireo, koa, dia tsy maintsy ho hitan'ny.

• Roa ratsy Output entana tsy manome. Ohatra, trozona - tsy hamono; Pike - fa tsy trozona. Ka inona?
• Rehefa misy ratsy faritry voatery ho ratsy hevitra.
• Ao amin 'ny tsy miankina roa entana tsy azo namarana.
• Rehefa tsy miankina iray fonosana maintsy manokana ny hevitra.

fepetra Fandresen-dahatra

Rehefa samy fonosana - fepetra didim-pitsarana azo fepetra syllogism fotsiny. Ohatra, raha misy, dia B; raha B, dia B; Raha A, dia B. Intuitively: raha hametraka roa isa hafahafa, dia ny isan'ny-paharivan'ny dia; raha ny vola aza, dia azo zaraina ho roa tsy misy sisa; noho izany, raha miforitra roa hafahafa isa, dia azo atao ny mizara ny isan'ny tsy misy sisa. misy raikipohy noho izany fifandraisana fitsarana: vokatry ny fanadihadiana - vokatry ny fipetrahany izy.

Categorical fepetra syllogism

Inona no inference fepetra categorical? Fepetra fitsarana no faritry ny voalohany, sy ao amin'ny faritry ny faharoa sy ny famaranana - categorical didim-pitsarana. Modus eto dia mety ho na manamafy na mandà. Rehefa mampiseho ny fomba raha ny faharoa milaza faritry setrin 'ny voalohany, dia ny Output ihany no inoana. Raha ny fomba ny ratsy, raha ny tena ratsy dia nandà fepetra faritry, amin'ny famaranana ihany koa azo inoana ihany. Ireo no fepetra inference.

ohatra:

• Tsy fantatrao - hangina. Mangina - angamba tsy mahalala (raha misy, dia B, raha B, dia mety A).
• Satria na dia snowing, dia tonga ny ririnina. Winter tonga - angamba snowing.
• Raha talaky masoandro, hazo manome alokaloka. Tsy ny hazo manome alokaloka - tsy talaky masoandro.

manasaraka syllogism

Fandresen-dahatra atao hoe syllogism fisarahana, raha misy mpikambana ao amin'ny tena nizarana entana, ary koa ny Output nahazo fisarahana fitsarana. Toy izany no zavatra hafa azo asolo ny isan'ny mampitombo.

Na dia zava-dehibe kokoa dia ny fisarahana-categorical syllogism izay iray mandeha ny fisarahana faritry ny fitsarana, ary ny faharoa - vao tanteraka. Ity fomba roa: utverzhdayusche-ratsy sy negating, nankasitraka.

• Ny marary, na maty na velona (ABC); manam-paharetana raha mbola velona (AB); marary maty (As). Amin'ity tranga ity, dia raikitra fitsarana mandà hafa.
• Fandikan-dalàna - dia misdemeanor na ny heloka bevava; amin'ity tranga ity - dia tsy heloka bevava; Izany dia midika hoe - ny misdemeanor.

fepetra mizara

Ny foto-kevitra dia ahitana fepetra ny inference fisarahana tsy ampy iray izay mametraka - roa na mihoatra fepetra fanambarana, ary ny faharoa - manasaraka ny rariny. Raha tsy izany dia antsoina hoe ny teny. Fanononana asa - safidy ny vahaolana maro.

Alternatives mizara fepetra mizara hevitra amin'ny Miteraka sy ny polilemmy trilemma. Isan'ny safidy (disjunction - ny fampiasana ", na") affirmative fitsarana - mahasoa teny. Raha ny disjunction ny negations - SAMPA manimba. Raha toa ny fepetra fonosana iray manome vokatra - pirenena tsotra, raha vokany samy hafa - teny sarotra. Azo hita, araka ny rafitra fananganana fanatsoahan-kevitra.

Ohatra ny toy izany ho momba;

• Simple mahasoa SAMPA: AB + CB + db = amin '; iray + d + e = b. Raha mandeha, zanak'i nitsidika (s) dia hanao ny lesona tatỳ aoriana (b); raha ny Zanaka dia hankany amin'ny sarimihetsika (c), eo anoloany, dia hanao ny lesona (b); raha ny Zanaka kosa hijanona an-trano (d), dia hanao ny enti-mody (b). Zanaka handeha hitsidika na horonan-tsary, na mijanona ao an-trano. Ny lesona mbola manao.
• A sarotra manorina: a + 'ny; d + e. Raha ny herin'ny manaranaka (a), ny Fanjakana monarchical (b); raha toa ny governemanta fifidianana (c), ny fanjakana - ny repoblika (d). Ny fahefana dia mifindra amin'ny alalan'ny lova na voafidy. State - ny fitondram-panjaka na ny repoblika.

Nahoana isika no inference, fitsarana, foto-kevitra

Fanatsoahan-kevitra tsy ho velona amin'ny tenany. Ny fanandramana natao tsy an-jambany. Izy ireo ihany no dikany izay mitohy. Plus teorika sy voafintina amin'ny fanadihadiana, izay amin'ny alalan'ny fampitahana, fampitahana sy ankapobeny dia afaka manao tsoa-kevitra. Ary ento Fandresen-dahatra amin'ny alalan'ny fampitahana tsy mivantana ihany no nahalala izany, fa ny "mahatsapa" misy azo atao. Ahoana no hahita mivantana ireo dingana toy ny fananganana ny kintana sy ny fivoaran'ny fiainana eto an-tany? Izay mila izany-tsaina lalao ho mahay misaina.

hevitra

Efa mahay misaina manana endrika fototra telo: foto-kevitra, ny fitsarana sy ny inferences. Ny foto-kevitra dia taratry ny tena mahazatra, zava-dehibe, ary ny fanapahan-kevitra ilaina fananana. Ao anatin'izany misy ny famantarana ny zava-misy, fa ny zava-misy indraindray tsy manam mazava.

Rahoviana no nanao ny hevitra, antony Tsy mitaky zavatra betsaka ny olona iray na ny madinika loza amin'ny soritr'aretina, dia mamintina ny fomba fijerin'ny rehetra sy ny hevitra iray tsy mitsaha-mitombo isa ny zavatra toy izany koa ny homogeneity sy manangona izany rehetra izany raiki-tampisaka sy manokana.

Hevitra - dia generalization ny angon-drakitra iray traikefa manokana. Ny fikarohana dia mitana toerana lehibe. Fomba fandalinana na foto-kevitra dia: Mbola haharitra ela avy ny kely saina ny sarotra sy lalina sy ny endrika ivelany fotsiny. Rehefa nianatra bebe kokoa ny momba ny fananana manokana ny zavatra sy ny endri-javatra hita sy ny didim-pitsarana momba azy.

fitsarana

Miaraka amin'ny fandalinan'ny ny fahalalana sy ny fanatsarana ny foto-kevitra, ary misy ny didim-pitsarana momba ny zavatra izao tontolo izao ny tanjona. Izany no iray amin'ireo tena endrika fisainana. Ny fitsarana taratry ny fifandraisana ny zavatra tanjona sy trangan-javatra, ny anatiny afa-po sy ny lalàna rehetra amin'ny fampandrosoana. Ny lalàna sy misy fandaharana ao amin'ny tanjona dia azo aseho izao tontolo izao ao amin'ny fitsarana sasany. Izany anjara toerana mitendry manokana eo amin'ny famaranana ny dingana lojikan'ny.

Ny tranga ny Fandresen-dahatra

Nisy asa manokana ny hevitra, izay misy ny zavatra takiana alohan'ny azo ampy kevitra vaovao momba ny zava-nitranga sy ny zavatra - raiki-tampisaka amin'ny olombelona ny fahafahana Fandresen-dahatra. Raha tsy misy io fahafahana, dia ho vita ny mahalala izao tontolo izao. Nandritra ny fotoana ela sarotra ny hahita ny tany avy any ivelany, fa avy eo ny olona dia afaka ho tonga any amin'ny famaranana fa ny tany manodidina. Nanampy mifampiresaka ny tena marina ny fitsarana: nanipy zavatra boribory ao amin'ny aloky ny endriky ny faribolana; Tany amin'ny manodidina Moon mametraka aloka mandritra ny fanakonam-bolana; Ny tany dia sehatra. Fandresen-dahatra amin'ny alalan'ny fampitahana!

Ny correct ny fanjohian-dia miankina amin'ny fepetra roa: naniraka, izay mifototra amin'ny famaranana, dia tsy maintsy ho marina; fifandraisana entana tokony ho fiheverana ny lojika, izay mandalina ny lalàna rehetra sy ny endriky ny tolo-kevitra amin'ny fananganana Fandresen-dahatra.

Noho izany, ny hevitra, fitsarana ka nieritreritra toy ny tena endriky ny mahay misaina mamela ny olona iray ny mahafantatra ny tanjona izao tontolo izao, maneho ny zava-dehibe indrindra, ny ampahany manan-danja indrindra, ny lalàn 'ny zava-misy sy ny fifandraisana.