1 тарау. ТҰжырымдар алгебрасы 5

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

жүктеу 1,18 Mb.

бет	21/34
Дата	16.01.2022
өлшемі	1,18 Mb.
	#32886

1 ... 17 18 19 20 21 22 23 24 ... 34

Дип.-ТҰЖЫРЫМДАР-АЛГЕБРАСЫ

Силлогизм ережесі
Екі еселі терістеу ережесі

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

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

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

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

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

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

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

├А→В,├В→С .

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

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

├ А →В .

├

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

├(А→В)→├( ) (1)

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

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

├А→В (2)

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

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

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

Схематикалық жазылулары: ├ А → және ├ →В

├ ├ .

жүктеу 1,18 Mb.

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

1 ... 17 18 19 20 21 22 23 24 ... 34