Vezi ce "regula de separare" în alte dicționare este:
Regula de inferență este regula care determină trecerea de la colete la consecințe. P. in. indică modul în care declarațiile a căror adevăr este cunoscut pot fi modificate pentru a obține noi declarații adevărate. De exemplu. Regula de separare stabilește că, dacă ... Dicționarul termenilor de logică
Logica este (logica greacă) știința unor moduri acceptabile de raționament. Cuvântul "L." în uzul său modern este ambiguu, deși nu atât de bogat în nuanțe semantice ca grecul antic. lógos, de unde apare. În spiritul tradiției cu conceptul de L ... Enciclopedia Sovietică Mare
interpretare - (din explicația latină interpretarea, interpretarea) în atribuirea logică a unui anumit sens semnificativ, adică simbolurilor și formulelor sistemului formal; Ca rezultat, sistemul formal este transformat într-o limbă care descrie unul sau altul din subiect ... ... Glosar de termeni de logică
Modus - (din măsura, metoda, imaginea, forma) este un termen folosit în logică, jurisprudență (vezi, de exemplu, Modus vivendi) și filozofie. În logica tradițională (sylogistică), M. este numită o varietate de silogism (inferențe) determinate de ... Marea enciclopedie sovietică
MODUS PONENS - (modus ponens), regula de separare, derivarea regulii în logica formală. sisteme. Regula unui spațiu metric este scrisă sub forma unei scheme în care A și B sunt notații pentru formulele de logică formală. sistem și logică. o grămadă de implicații. M. p. Permite obținerea vizei parcelelor ... ... Enciclopedia matematică
logica declarațiilor este LOGICUL DECLARAȚIILOR, logica propozițională este o secțiune a logicii simbolice care studiază declarații complexe formate din simple și relațiile lor reciproce. Spre deosebire de logica predicatelor, pronunțările simple acționează ca ... ... Enciclopedia de epistemologie și filozofie a științei
logica propozițională - LOGICA DE DECLARAȚII, logica propozițională este o secțiune a logicii simbolice care studiază declarații complexe formate din simple și relațiile lor reciproce. Spre deosebire de logica predicatelor, pronunțările simple acționează ca ... ... Enciclopedia de epistemologie și filozofie a științei
Genurile - I Genera Genera (partus) proces fiziologic expulzarea din uter fetal, lichidul amniotic si placenta (placenta, membranele fetale, cordonul ombilical) după atingerea viabilității fructelor. Faptul viabil, de regulă, devine după 28 de săptămâni ... ... Enciclopedie medicală
- Regulile creierului. Ce ar trebui să știi despre creier pentru tine și copiii tăi. John Medina. Știați că 26 de minute de somn vă pot crește productivitatea cu 34%? Că creierul într-un vis nu își oprește activitatea și este chiar mai activ decât în perioadele de veghe? Cei care ... Citește mai mult Cumpărați pentru 399 руб Audiobook
Articole similare
Trimiteți-le prietenilor: