Тесты по теме 31 VI тарау. Алгоритмдер теориясының ЭлементтерІ 34

1 ... 16 17 18 19 20 21 22 23 ... 75

Күрделі қорытындылау ережесі
Қорытындылау ережесін де жалпылау мүмкін. Жалпылау нәтижесінде алынған туынды ереже

түрдегі формулаларға қолданылады да былай анықталады:

егер

және

формулалар дәлелденетін болса, онда L формуласы да дәлелденетін формула.

Күрделі қорытындылау ережесі былай жазылады:

├А₁, ├А₂, …,├А_n, ├A₁→(A₂→(A₃→(...(A_n→L) …))) .

├ L
Силлогизм ережесі

Егер А→В және В→С формулалары дәлелденетін болса, онда А→С формуласы да дәлелденеді, яғни

├А→В,├В→С .

├А→С
Контрапозиция ережесі

Егер А→В формуласы дәлелденетін болса, онда

формула да дәлелденеді, яғни

├ А →В .

├

Бұл ереженің мысалында тұжырымдар есептелімінде мұндай тұжырымдардың дәлелдеу жолын көрсетеміз.

алмастыруын орындап,

├(А→В)→├(

) (1)

дәлелденетін формуланы аламыз.

Ал шарт бойынша

├А→В (2)

– дәлелденетін формула.

Онда (2) және (1) формулаларынан қорытындылау ережесі бойынша ├

Достарыңызбен бөлісу:

1 ... 16 17 18 19 20 21 22 23 ... 75