Guluschenko , E. V.2023-11-252023-11-252023Guluschenko E. V. Generalization and instantiation laws in the modified propositional logic [Electronic resource] / E. V. Guluschenko // Філософія в сучасному світі : матеріали 4-ї Міжнар. наук.-практ. конф., 17-19 листопада 2023 р. / гол. ред. Я. В. Тарароєв ; Нац. техн. ун-т "Харків. політехн. ін-т" [та ін.]. – Електрон. текст. дані. – Харків, 2023. – С. 53-55.https://repository.kpi.kharkov.ua/handle/KhPI-Press/71181engeneralization lawsinstantiation lawsuniversal generalizationuniversal introductionfirst order logicsmodified propositional logicArticle