Eventum investigationis
Jump to navigation
Jump to search
Exaequata indicibus rerum
- '''Logica propositionalis''', in [[logica]] et [[mathematica]], dicitur cognitionis ratio quae praecipue ad [[argumen ...misa et deductiones seu conclusiones, quae [[veritas|verae]] aut [[captio (logica)|falsae]] possunt esse; quae in denotatione formali litteris A, B, C, etc., ...11 chiliocteti (1 844 verba) - 04:50, 23 Augusti 2023
- '''Signatura''' in [[logica mathematica]] est [[copia]] signorum alicuius linguae logicae. ...formula <math>\forall</math>, <math>x</math> et <math>=</math> sunt signa logica, quia omnes formulae logicae his utuntur, sed non sunt <math>+</math> et <m ...3 chiliocteti (403 verba) - 13:17, 8 Februarii 2024
- ...a modalis classica''' '''L''' in [[logica modalis|logica modali]] est ulla logica quae, ut [[axioma]] vel [[theorema]], continet [[dualitas (mathematica)|dua ...notas describunt rationes modales classicas quae tenuiores quam tenuissima logica modalis normalis, '''K.''' ...2 chiliocteti (224 verba) - 01:58, 1 Octobris 2017
Textus paginarum adaequat
- ...a modalis classica''' '''L''' in [[logica modalis|logica modali]] est ulla logica quae, ut [[axioma]] vel [[theorema]], continet [[dualitas (mathematica)|dua ...notas describunt rationes modales classicas quae tenuiores quam tenuissima logica modalis normalis, '''K.''' ...2 chiliocteti (224 verba) - 01:58, 1 Octobris 2017
- '''Porta NON''' seu '''invertrum''' seu Anglice '''porta NOT''' est [[porta logica]] digitalis quae [[Negatio logicalis|negationem logicalem]] efficit. Gerit ...arum''" pro portis logicis simplicis permittit. Si vis, vide etiam [[Porta logica#Symboli|Symboli Portae Logicae]]. ...3 chiliocteti (391 verba) - 03:14, 11 Septembris 2023
- '''Porta ET''' seu Anglice '''porta AND''' est [[porta logica]] digitalis quae [[Coniunctio logicalis|coniunctionem logicalem]] efficit. ...tangularum" pro portis logicis simplicis sinit. Si vis, vide etiam [[Porta logica#Symboli|Symboli Portae Logicae]]. ...3 chiliocteti (428 verba) - 03:10, 11 Septembris 2023
- ...ica]] [[numerus integer|numerorum integrorum]] et [[logica propositionalis|logica propositionali]], [[additio]] et [[multiplicatio]] ambae associativae sunt. ...1 chiliocteti (108 verba) - 12:28, 23 Martii 2023
- '''Porta NON-VEL''' seu Anglice '''porta NOR''' (ex ''NOT OR'') est [[porta logica]] digitalis quae inversionem [[porta VEL|portae VEL]] efficit. Gerit ut [[t ...arum''" pro portis logicis simplicis permittit. Si vis, vide etiam [[Porta logica#Symboli|Symboli Portae Logicae]]. ...3 chiliocteti (376 verba) - 03:12, 11 Septembris 2023
- '''Porta NON-ET''' seu Anglice '''porta NAND''' (e ''NOT AND'') est [[porta logica]] digitalis quae inversionem [[porta ET|portae ET]] efficit. Gerit ut [[tab ...arum''" pro portis logicis simplicis permittit. Si vis, vide etiam [[Porta logica#Symboli|Symboli Portae Logicae]]. ...3 chiliocteti (401 verba) - 03:13, 11 Septembris 2023
- '''Signatura''' in [[logica mathematica]] est [[copia]] signorum alicuius linguae logicae. ...formula <math>\forall</math>, <math>x</math> et <math>=</math> sunt signa logica, quia omnes formulae logicae his utuntur, sed non sunt <math>+</math> et <m ...3 chiliocteti (403 verba) - 13:17, 8 Februarii 2024
- ...impliciter '''notatio praefixorum,''' est genus [[notatio]]nis in usu in [[logica]], [[arithmetica]], et [[algebra]]. Sua proprietas unica est [[operator (ma [[Alonzus Church]] in [[liber|libro]] classico de [[logica mathematica]] hanc rationem commemorat, quam dignam notationis aestimat in ...4 chiliocteti (493 verba) - 16:39, 4 Aprilis 2021
- *[[Logica|Logica formalis]] ...2 chiliocteti (186 verba) - 00:36, 20 Maii 2021
- ...ucturis tractat, magis generaliter quam [[algebra abstracta]]. Est pars [[logica mathematica|logicae]]; licet etiam dicere partem [[algebra]]e esse. [[Categoria:Logica]] ...2 chiliocteti (277 verba) - 14:33, 13 Novembris 2023
- '''Porta AUT''', seu '''porta XAUT''' ([[Anglice]] ''XOR port''), est [[porta logica]] digitalis quae [[Disiunctio exclusionalis logicalis|disiunctionem exclusi ...arum''" pro portis logicis simplicis permittit. Si vis, vide etiam [[Porta logica#Symbola|Symbola Portae Logicae]]. ...5 chiliocteti (691 verba) - 21:07, 9 Februarii 2025
- ...o consilio regulas et modos [[logica]]e deductivae, nec quidem [[inductio (logica)|inductivae]] aut [[empirismus|empiricae]] sequuntur. Demonstratio est spec ...3 chiliocteti (368 verba) - 15:27, 22 Aprilis 2023
- '''Logica propositionalis''', in [[logica]] et [[mathematica]], dicitur cognitionis ratio quae praecipue ad [[argumen ...misa et deductiones seu conclusiones, quae [[veritas|verae]] aut [[captio (logica)|falsae]] possunt esse; quae in denotatione formali litteris A, B, C, etc., ...11 chiliocteti (1 844 verba) - 04:50, 23 Augusti 2023
- [[Categoria:Logica]] ...2 chiliocteti (200 verba) - 15:48, 11 Ianuarii 2024
- ...chusetta]] mortuus die [[24 Februarii]] [[2001]]) fuit [[mathematicus]], [[logica|logicus]], [[cryptographia|cryptographus]], [[machinator]] [[electricitas|e ...=July 22, 2012|publisher=}}</ref> quoniam adhibitionis [[Algebra Booleana (logica)|algebrae booleanae]] et computationis [[Electronica digitalis|electronicam ...4 chiliocteti (495 verba) - 01:55, 13 Septembris 2024
- [[Categoria:Logica]] ...2 chiliocteti (179 verba) - 00:57, 21 Februarii 2025
- [[Categoria:Logica]] ...3 chiliocteti (646 verba) - 18:15, 20 Decembris 2014
- ...Abductio enim, quamquam incerta est, conclusionem valet eo firmare, quod [[logica propostionalis|propositionem]] sive legem generalem atque id quod praesto e ...3 chiliocteti (389 verba) - 05:46, 15 Martii 2022
- * Copia omnium sententiarum [[logica primi ordinis|logicae primi ordinis]] de numeris naturalibus, nomine <math> [[Categoria:Logica]] ...8 chiliocteti (1 129 verba) - 15:57, 5 Septembris 2022
- ...tationem explicantem systema dialecticorum, quod hodie [[Algebra booleana (logica)|algebra Booleana]] vocatur, quod utilius erat progressibus systematis bina ...4 chiliocteti (436 verba) - 02:23, 18 Iulii 2024