Vita:Következtetési sémák a formális logikában
Új téma nyitásaLegutóbb hozzászólt 89.135.93.152 6 hónappal ezelőtt a(z) Merge with rule of inference (Q1068763) témában
Merge with rule of inference (Q1068763)[szerkesztés]
Nem vagyok jártas a Wikipédia műkösésében, így nem sikerül elvégeznem e szükséges műveletet, de látom hogy már van egy nemzetközi azonosító az e témájú szócikkekre, így kérem legyen összevonva 89.135.93.152 (vita) 2023. október 16., 12:48 (CEST)