Az előadás letöltése folymat van. Kérjük, várjon

Az előadás letöltése folymat van. Kérjük, várjon

Informatika logikai alapjai természetes levezetés Amit le kell vezetni: ├ A  B  (  A  B) Szombat Sándor - Neptun: WKYNGE.

Hasonló előadás


Az előadások a következő témára: "Informatika logikai alapjai természetes levezetés Amit le kell vezetni: ├ A  B  (  A  B) Szombat Sándor - Neptun: WKYNGE."— Előadás másolata:

1 Informatika logikai alapjai természetes levezetés Amit le kell vezetni: ├ A  B  (  A  B) Szombat Sándor - Neptun: WKYNGE

2 A  B  (  A  B) A  B ├  (  A  B) K A 9-es szabály: A  B,  A  B ├ A K A B C A  B,  A  B ├  A K A B C 7-es szabály: A  B,  A  B ├ A A B K 4-es szabály:  A  B,A ├ A Kész 6-os szabály:  A  B,B ├ A Ellentmondás 4-es szabály: A  B,  A  B ├  A Kész Szombat Sándor - Neptun: WKYNGE 9-es szabály:  (  A  B) ├ A  B K A B

3 Szombat Sándor - Neptun: WKYNGE  (  A  B) ├ A  B K A B  (  A  B),  A ├ B K B 5.1-es szabály: 2-es szabály:  (  A  B),  A ├  A  (  A  B),  A ├  A   Kész  (  A  B),  A,  A ├ 

4 A továbbiakban a fennmaradt egyetlen ágon bármennyiszer a kettes szabályt, azaz Modus Ponnenst alkalmazok, végtelen lesz. Bármely más szabály alkalmazása rossz eredményt okozott… Szombat Sándor Szombat Sándor - Neptun: WKYNGE


Letölteni ppt "Informatika logikai alapjai természetes levezetés Amit le kell vezetni: ├ A  B  (  A  B) Szombat Sándor - Neptun: WKYNGE."

Hasonló előadás


Google Hirdetések