Rhesymeg gosodiadol

Diffinio'r term "rhesymeg gosodiadol", mae angen i ddeall yn glir beth yw ystyr "datganiad".

Felly, mae'r datganiad yn ddedfryd, graddio ramadegol gywir, ac yn ffug neu'n wir. Rhaid i hyn syniad mynegi ystyr penodol. Er enghraifft, mae'r ymadrodd "aderyn caneri ganddo" yn cynnwys yr elfennau canlynol: "caneri" a "aderyn".

Dyna pam mai un o gysyniadau cychwynnol allweddol o resymeg ac yn ei ddweud. Rhaid i'r rhain cysyniadau disgrifio sefyllfa benodol lle y datganiad naill ai rhywbeth neu wadu.

Mae'n cael ei ystyried i fod yn ddatganiad gwir, os yw'r realiti llinell olrhain y sefyllfa pan gaiff ei circumscribing. Drwy eu hunain, "ffug" a "gwir" benderfynu ar y gwirionedd o'r datganiadau.

rhesymeg gosodiadol yn cynnwys ymadroddion syml a chymhleth. Felly, dim ond meddwl y datganiad nad yw'n cynnwys yn ei gyfansoddiad ymadroddion eraill. Ac at y cymhleth yn cynnwys ymadroddion sy'n deillio o'r syml o ddatganiadau, yn gysylltiedig yn rhesymegol.

Gall rhesymeg gosodiadol clasurol yn cael ei gynrychioli gan y ddamcaniaeth gyffredinol didyniad. Mae'n yw'r rhan honno o'r rhesymeg, nad disgrifio'r dibynnu ar y datganiadau o gysylltiad rhesymegol o ymadroddion syml.

Heb sôn am y cysyllteiriau - cynnig anodd a geir drwy gyfuno dau fynegiad syml gan ddefnyddio y gair "and". Y gwir y cyd cadarnhau bod yr holl ddatganiadau a gynhwysir yn ei strwythur. Yn yr achos lle mae o leiaf un o'i aelodau yn ffug, mae'r cyd cyfan yn arwydd o "celwydd."

Ei hun yn cyd i ffurfio datganiadau cymhleth, sy'n seiliedig ar y rhagdybiaethau hyn:

- Gall unrhyw fynegiant (a syml a chymhleth) naill ai'n gywir neu'n anghywir;

- y gwir y ymadroddion cymhleth yn dibynnu ar y gwirionedd y datganiadau a gynhwysir ynddo a'r cysylltiadau rhesymegol ynddo.

Wrth gysylltu dau ddatganiad gan ddefnyddio y gair "or" eisoes yn cael ei sicrhau y datgysylltiad. Mewn bywyd bob dydd, gall y cysyniad hwn ei weld o safbwynt dau ystyr gwahanol. Yn gyntaf, mae'n synnwyr heb fod yn unigryw, sy'n golygu y gwirionedd o fynegiant, waeth beth yw mynegiant wir un o'r ddau neu a ydynt y rhai o'r ddau. Yn ail, gan ddileu'r teimlad yn honni bod un o'r ymadroddion yn wir, a'r llall - yn anghywir.

fformiwlâu osodiadol cynnwys nodau arbennig. Felly, yn y symbol datgysylltiad V yn dangos bod y mynegiant yn wir os y gwirionedd o leiaf un o'r datganiadau, a gau os yw'r ddau ei pidyn ffug.

Wrth benderfynu ar y goblygiad mae honiad na all y datganiadau sylfaenol fod yn wir yn yr ymchwiliad anghywir. Mewn geiriau eraill, y cysyniad hwn yn awgrymu gwirionedd dibyniaeth neu falsity y mynegiant o werth ei gydrannau a dulliau o'u perthynas.

Er gwaethaf y ffaith bod y goblygiad yn eithaf defnyddiol ar gyfer rhai dibenion, nid yw'n gyson iawn gyda'r ddealltwriaeth confensiynol o gyfathrebu yn gyffredinol. Felly, pan fydd yn amgylchynu'r y ddyfais llawer o nodweddion pwysig o ymddygiad rhesymegol o'r datganiadau a roddwyd cysyniad efallai na fydd disgrifiad digonol ohono.

rhesymeg gosodiadol sy'n anelu at ddatrys tasg mor ganolog, fel y gwahanu cylchedau cywir ac anghywir rhesymu a systematization gyntaf. Er mwyn cael y canlyniad cywir, mae angen i chi ganolbwyntio ar gymeriadau arbennig y gellir cynrychioli un neu ffurf arall. Nododd Felly diddordeb yn y fath eiriau sy'n ymddangos yn ddi-nod fel "neu", "ac," ac ati

datganiadau Logic hyd yn oed yn ei hiaith ei hun, sy'n cynnwys yr elfennau canlynol:

- mae'r cymeriadau gwreiddiol - newidynnau, cysonion rhesymegol, a symbolau technegol;

- fformiwlâu.

I gael gwell dealltwriaeth o'r hyn a ddywedwyd, rhaid i chi fynd at enghreifftiau penodol. Er enghraifft, mae'r cyd defnyddio'r symbol &, datgysylltiad - \ / neu \ º /.