Folosirea parantezelor în logica formală pentru fraze complexe

Am văzut cum să traducem anumite propoziții simple în limbajul nostru simbolic folosind punct, pană și tildă. Procesul de traducere începe cu determinarea propozițiilor atomice ale propoziției și apoi folosirea conectivelor funcționale de adevăr pentru a forma propoziția compusă. Uneori, … Citeşte mai mult

Bloomberg a găsit vinovatul de serviciu pentru încălzirea globală: România

Bloomberg a găsit vinovatul de serviciu pentru încălzirea globală: România James Turitto, de la asociația Clean Air Task Force, a efectuat de curând un studiu în România privind scăpările de metan. Folosind o cameră specială cu infraroșu capabilă să detecteze … Citeşte mai mult

Căutarea informațiilor, organizarea cunoașterii și filosofia științei

Căutarea informațiilor (Information retrieval, IR) se referă la crearea de sisteme pentru găsirea documentelor sau a informațiilor. Organizarea cunoașterii (Knowledge organization, KO) este domeniul care se ocupă de indexarea, clasificarea și reprezentarea documentelor pentru IR, browsing și procese conexe, indiferent … Citeşte mai mult

Logica propozițională și conectivitățile funcționale ale adevărului de bază – Conjuncția – Tabelul de adevăr

Logica propozițională (numită și „logică sentențială”) este zona logicii formale care se ocupă de relațiile logice dintre propoziții. O propoziție este pur și simplu ceea ce am numit anterior ca fiind o afirmație. (1) Câteva exemple de propoziții sunt: Zăpada … Citeşte mai mult

1 … 343 344 345 346 347 348 349 … 1.022