Propositional lojika

Ny famaritana ny teny hoe "propositional lojika", dia ilaina ny mahatakatra mazava tsara inona no "fanambarana".

Noho izany, ny fanambarana ny didim-pitsarana dia, laharana faha marina ny fitsipi-pitenenana, ary tsy diso na marina. Hevitra io dia tsy maintsy maneho ny heviny sasany. Ohatra, ny teny hoe "vorona Canary manana" dia ahitana ireto singa: "Canary" sy ny "vorona".

Izany no antony iray amin'ireo foto-kevitra manan-danja voalohany ny lojika ary nanao hoe. Ireo foto-kevitra dia tsy maintsy milaza ny toe-javatra manokana izay ny fanambarana izany na zavatra na fandavana.

Tsy heverina ho tena fanambarana, raha ny zava-misy tsipika voaresaka ny toe-draharaha rehefa circumscribing. Ny tenany, "diso" sy "marina" no mamaritra ny fahamarinan 'ny fanambarana.

Propositional lojika dia ahitana ny fomba fiteny tsotra sy sarotra. Noho izany, mihevitra ny fanambarana fotsiny izay tsy tafiditra amin'ny fanaovana teny hafa. Ary ny sarotra dia ahitana teny izay homarinana avy tsotra, mazava ho mifandray fanambarana.

Classical propositional lojika dia azo aseho amin'ny ankapobe momba ny deduction. Izany dia ampahany amin'ny lojika, izay tsy miankina amin'ny mamaritra ny fanambarana ny fifandraisana lojika ny fomba fiteny tsotra.

Tsy lazaina intsony ny conjonctions - sarotra kevitra azo avy natambatra teny roa tsotra mampiasa ny teny hoe "ary". Ny fahamarinan 'ny teny mpampitohy manamafy fa fanambarana rehetra tafiditra ao ny rafitra. Amin'ny tranga izay iray, fara fahakeliny ny mpikambana sandoka, ny teny mpampitohy rehetra dia mariky ny "lainga."

Mihitsy no conjonction mba hanangana ny sarotra fanambarana, izay miorina amin'ny tombantombana ireto:

- misy teny (sy tsotra ary sarotra) na dia mety ho marina na diso;

- ny fahamarinan 'ny sarotra dia miankina amin'ny tenin'Andriamanitra ny fahamarinan' ny fanambarana voarakitra ao aminy sy ny lojika rohy ao aminy.

Rehefa mifandray fanambarana roa mampiasa ny teny hoe "na" dia efa nahazo ny disjunction. Eo amin'ny fiainana andavanandro, izany foto-kevitra azo jerena avy amin'ny fomba fijery roa samy hafa ny dikany. Voalohany, dia tsy heviny manokana, izay midika hoe ny fahamarinana maneho hevitra, na inona na inona ny tena fanehoana ny iray amin'ireo roa na dia izy ireo ny roa. Faharoa, fanesorana ny heviny milaza fa iray amin'ireo fitenenana marina, ary ny iray - no diso.

Propositional rijan misy tarehin-tsoratra manokana. Araka izany, ao amin'ny disjunction mariky V dia midika fa ny teny marina raha ny fahamarinan'Andriamanitra kosa, fara fahakeliny, iray amin'ireo fanambarana, ary raha samy diso ny filahiana diso.

Amin'ny famaritana ny tian'ny misy ny filazana fa ny tena ratsy fanambarana tsy afaka ny ho marina amin'ny diso fanadihadiana. Amin'ny teny hafa, io foto-kevitra marina dia midika fiankinan-doha na falsity ny fanehoana ny lanjan 'ny singa sy ny fomba ny fifandraisana.

Na dia eo aza ny zava-misy fa ny tian'ny dia tena ilaina ho an'ny tanjona sasany, dia tsy tena mifanaraka amin'ny fahatakarana mahazatra ny fifandraisana amin'ny ankapobeny. Noho izany, rehefa manodidina ny fitaovana manan-danja maro ny mampiavaka ny fitondran-tena lojika ny fanambarana nomena foto-kevitra dia mety tsy ho ampy filazalazana izany.

Propositional lojika mikendry ny hamahana ny foibe toy izany asa, tahaka ny fisarahan'ny faritra marina sy diso Fandresen-dahatra sy ny systematization aloha. Mba hahazoana vokatra tsara, dia mila mifantoka amin'ny litera manokana izay afaka misolo tena iray na endrika hafa. Noho izany voalaza izany toa tsy liana amin'ny tsy misy dikany ny teny toy ny hoe "na", "ary," etc.

Logic fanambarana na dia manana ny fiteniny, ahitana ireto singa manaraka ireto:

- endri-tsoratra tany am-boalohany - hiovaova, lojika constants, sy fanehoana an'ohatra ara-teknika;

- rijan.

Fa tsara kokoa ny fahatakarana izay efa nilaza tsy maintsy handeha ho any ohatra manokana. Ohatra, ny teny mpampitohy mampiasa ny mariky &, disjunction - \ / na \ º /.