Japanese 論理学 Cited by user Shogi1116 on 15 Jun 2024 論理学 (ろんりがく、logic) は、正しい推論の研究である. 形式論理学および非形式論理学が含まれる. 形式論理学は、演繹的に妥当な推論あるいは論理的真理の研究である.
Vietnamese Logic Cited by user Billcipher123 on 01 Aug 2023 Logic (hợp lý, hữu lý, hàm lý) hay luận lý học, từ tiếng Hy Lạp cổ đại λόγος (logos), nghĩa nguyên thủy là từ ngữ, hoặc điều đã được nói, (nhưng trong nhiều ngôn ngữ châu…
Serbian Исказни рачун Cited by user Dcirovic on 26 Jun 2023 У математичкој логици, исказни рачун представља формални систем у коме се формуле, односно логички искази, који се називају још и исказне формуле, граде од логичких промје…
English Quantifier elimination Cited by user Marc Schroeder on 09 Jul 2022 Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science.