Calculul propozițiilor

Calculul propozițiilor ca sistem formal

Syllogistica lui Aristotel este unul dintre cele mai simple sisteme formale, care nu vă permite să specificați relații complexe ale domeniului. De exemplu, în silogistica lui Aristotel nu există operațiuni logice. Calculul propozițional este un sistem formal mai complex și, prin urmare, vă permite să specificați relații mai complexe ale domeniului. Definim componentele acestui sistem formal.







- litere mici (a, b, c, etc.), care denotă declarații elementare;

- simbolurile operații logice: ¬ (negatie), coroborat () disjuncție (), implicația (→), echivalenŃă (↔);

Regulile pentru construirea formulelor corecte sintactic L:

1. Fiecare declarație elementară este o formulă regulată.

2. Dacă c 1 și c 2 sunt formule regulate, atunci formula corectă-







(de la 1 la 2), (de la 1 la 2), (de la 1 → s 2), (de la 1 la 2).

3. Nu există alte formule corecte în calculul propozițional.

Axiomele sunt formulele valabile inițial aplicabile problemei care trebuie rezolvată. Pentru a construi axiome trebuie să știe ce sens concepte, cum ar fi „propunere elementară“, „operator logic“ sau „clasă de formule.“

O declarație este o propoziție care ia doar două valori: true sau false. Elementele sunt afirmații care nu pot fi împărțite în părți.

propuneri elementare: a - „Porcii nu zboară“ (declarația este întotdeauna adevărat), b - „Porcii sunt vorace“ (declarația este întotdeauna adevărat), cu - „Toate păsările zboară“ (declarația este întotdeauna falsă) d - „animalul are o pasăre“ (adevărul a pronunțării este determinată în funcție de animalul în cauză).

Cu toate acestea, într-un alt context, spunând „Porcii nu zboară“ poate fi considerată ca o declarație complexă și va fi împărțit în două situații: a - «animale de companie un porc“, b - «animalul nu zboară».

În cazul general, care este o declarație elementară, depinde de obiectivele rezolvării problemei.

Folosind operații logice, puteți face declarații complexe (formule). Semnificația operațiilor este reprezentată de un tabel de adevăr.







Articole similare

Trimiteți-le prietenilor: