Előadást letölteni
Az előadás letöltése folymat van. Kérjük, várjon
1
Informatika logikai alapjai természetes levezetés
Amit le kell vezetni: ├AÚBÛØ(ØAÙØB) Szombat Sándor - Neptun: WKYNGE
2
Szombat Sándor - Neptun: WKYNGE
AÚBÛØ(ØAÙØB) 9-es szabály: AÚB ├ Ø(ØAÙØB) K A 9-es szabály: 7-es szabály: Ø(ØAÙØB) ├ AÚB K A B 7-es szabály: AÚB , ØAÙØB├A K A B C AÚB , ØAÙØB├ØA K A B C 4-es szabály: 4-es szabály: AÚB , ØA, ØB├A A B K AÚB ,ØA,ØB├ØA Kész 6-os szabály: ØA, ØB,B├A ØA, ØB,A├A Ellentmondás Kész Szombat Sándor - Neptun: WKYNGE
3
Szombat Sándor - Neptun: WKYNGE
Ø(ØAÙØB) ├ AÚB K A B 5.1-es szabály: Ø(ØAÙØB), ØA├B K B 2-es szabály: 2-es szabály: Ø(ØAÙØB), ØA├ ØA ÞB K A B Ø(ØAÙØB), ØA├ ØA Ø(ØAÙØB), ØA, ØA ├ B Kész Szombat Sándor - Neptun: WKYNGE
4
Szombat Sándor - Neptun: WKYNGE
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
Hasonló előadás
