Ny lalàna fototra ny lojika

Ao amin'ny lojikan'ny lalàna azy manokana. Ny tena izy - efatra. Ny telo tamin'izy ireo no namorona ny Aristote. Ny lalàna ny Aristotelian lojika - izany no lalàna ny tsy mifanohitra, voaroaka afovoany, ny maha. Be tatỳ aoriana, lalàna iray hafa nanampy ho an'ny fototra lalàna - ny lalàn'ny ampy antony.

Ny lalàna ny propositional lojika dia mifandray mivantana amin'ny tanteraka ny adihevitra rehetra. Ny lojika teny, ka nieritreritra hetsika angon-drakitra dia tsy ilaina tanterahana tanteraka.

Misy fitsipika hafa ny lojika. Anisan'izany ny:

• avo roa heny ratsy;
• contraposition.

Ao amin'ny lalàna izany koa naorina isan-karazany ny fisaintsainana. Manome rohy hevitra.

Ny lalàna ny lojika

Ny voalohany dia ny lalàna no lalàna ny amin'ny maha-. Fehiny dia hoe misy hevitra ny dingan'ny Fandresen-dahatra dia tsy maintsy ho tonga na mazava, afa-po anatiny. Zava-dehibe koa fa afa-po io dia tsy niova ny toetry ao amin'ny dingana. Antoka amin'ny lafiny iray, na tompon-tany fananana fisainana. Tao amin'ny fototra, ary ny fampisehoana ny hoe iza ny lalàna: eritreritra rehetra dia tokony ho mitovy tanteraka ny tenany. Hevitra isan-karazany dia tsy azo fantatra na inona na inona toe-javatra. Matetika ny lalàna no manitsakitsaka ny hoe mitovy hevitra miseho amin'ny fomba samihafa. Koa, olana eo amin'ny toe-javatra izay dia ampiasaina ny teny maromaro manana dissimilar tena soatoavina. Ao amin'io azo fantatra eritreritra diso.

Ny famantarana ny hevitra tsy mifanaraka matetika no mitranga rehefa ny fifanakalozan-kevitra dia olona samy hafa asa matihanina, tsy mitovy amin'ny samy izy fari-pahaizana sy ny sisa. Ny famantarana ny foto-kevitra isan-karazany - dia lojika Hadisoana lehibe, izay amin'ny tranga sasany ny olona ho niniana.

Ny lalàna ny lojika dia ahitana ny lalàna ny tsy mifanohitra. Aoka isika hanomboka amin'ny zava-misy fa ny hevitra mirindra tsara - mieritreritra azy io tsy tapaka. Ny hevitra dia ahitana ny mifanohitra, dia afaka manakana ny fianarana be dingan'ny. Zavatra-lojika fanadihadiana mifototra amin'ny ny filàna ny tsy mifanohitra amin'ny fisainana: raha misy hevitra roa mifanohitra, dia amin'ny kely indrindra ka tsy maintsy ho diso. Mandritra izany fotoana izany marina izany, dia tsy afaka, na inona na inona toe-javatra. Izany lalàna ihany no afaka manao zavatra roa mifanohitra tanteraka ny didim-pitsarana.

Ny lalàna ny amin'ny avahana afovoany ihany koa tafiditra ao amin'ny lalàna fototra ny lojika. Izany dia mihatra amin'ny fitsarana ao mifanohitra. Fehiny dia roa mifanohitra tolo-kevitra dia tsy diso roa - ny iray dia voatery marina. Mariho fa mifanohitra amin'ny fitsipika niresaka momba ny fanambarana toy izany, ny iray amin'ireo dia izay mandà ny foto-kevitra, na eo amin'ny ny tranga ny izao tontolo izao, ary ny faharoa dia tamin'izany andro izany mitana izany, momba ny toe-javatra na zavatra mitovy. Amin'ny toe-javatra sasany, dia mety ho tsy tena amin'ny toe-javatra na ny zavatra, afa-tsy ny manokana ny ampahany manokana. Raha toa ka afaka manaporofo ny fahamarinan'ny iray amin'ireo didim-pitsarana mifanohitra izay hita ny falsity ny hafa avy hatrany.

Izy no manatontosa ny lalàna ny lojikan'ny, lalàn'ny ampy antony. Izany dia maneho ny fitakiana izay apetraka eo amin'ny marina ataon hevitra. Tadidio fa ny hevitra dia ny manana antony ampy dia azo heverina marina. Izany hoe, raha manana eritreritra, tsy maintsy misy fanamarinana. Amin'ny ankamaroan'ny toe-javatra, ny tena ratsy dia traikefa olombelona. Amin'ny toe-javatra sasany, hizaha toetra ny marina ihany no mety ho ny alalan 'ny fanomezana ny zava-misy, hanangona fampahalalana fanampiny, sy ny sisa. Mba hanamarinana misy toe-javatra manokana no manaporofo ny teny dia tsy voatery misy ampiharina amin'ny zavatra niainany - misy andian-axioms eto amin'izao tontolo izao, izany hoe ny zava-misy fa tsy misy na inona na inona zavatra ilaina porofo.