Search results
Jump to navigation
Jump to search
Page title matches
- [[Category:Logiko]] ...10 KB (1,608 words) - 08:13, 18 March 2020
- :''Kelkaj aŭtoroj uzas "propozicia logiko" por tio, kion mi nomas "aserta logiko".'' ...igni ajnan formulon en formala logika lingvo. Do dum ni parolas pri aserta logiko, ili signas ajnan senc-havan kombinon de grandliteroj (A, B, C, Ĉ, ...) kun ...7 KB (1,160 words) - 08:13, 18 March 2020
Page text matches
- :''Kelkaj aŭtoroj uzas "propozicia logiko" por tio, kion mi nomas "aserta logiko".'' ...igni ajnan formulon en formala logika lingvo. Do dum ni parolas pri aserta logiko, ili signas ajnan senc-havan kombinon de grandliteroj (A, B, C, Ĉ, ...) kun ...7 KB (1,160 words) - 08:13, 18 March 2020
- La aksioma kalkulo por aserta logiko bezonas nur tri aksiom-skemojn kaj unu deduktan regulon: ...onduko en la logikon/ 6-a ĉapitro: Predikata logiko|6-a ĉapitro: Predikata logiko]].'''}} ...6 KB (965 words) - 08:13, 18 March 2020
- [[Category:Logiko]] ...10 KB (1,608 words) - 08:13, 18 March 2020