Logica propozițională și logica formală

O metodă formală pentru a determina dacă o anumită clasă de argumente (adică cele care utilizează numai operatori funcționali ai adevărului) sunt valide sau invalide, este testul de validitate al tabelului adevărului. De asemenea, o metodă formală pentru a dovedi … Citeşte mai mult

The post Logica propozițională și logica formală appeared first on Telework.

A apărut ediția tipărită a cărții ”Adobe Photoshop pentru începători”

A apărut ediția tipărită a cărții ”Adobe Photoshop pentru începători” Format A5 (210 x 148 x 5 mm, 127 g, 87 pagini. Preț: 14,99 lei MultiMedia Publishing https://www.telework.ro/ro/e-books/adobe-photoshop-pentru-incepatori/ Colecția SOFTWARE ”Adobe Photoshop pentru începători” este un ghid pentru crearea, editarea … Citeşte mai mult

The post A apărut ediția tipărită a cărții ”Adobe Photoshop pentru începători” appeared first on Telework.

Strategii în construirea dovezilor în logică și gândirea criticiă

Vă puteți gândi să construiți dovezi ca pe un joc. Scopul jocului este de a obține concluzia din premisele date folosind doar cele 8 reguli de inferență valide pe care le-am introdus. Nu orice dovadă necesită să folosiți toate regulile, … Citeşte mai mult

The post Strategii în construirea dovezilor în logică și gândirea criticiă appeared first on Telework.

Dovezi și cele opt forme valide de inferență în logică

Deși tabelele de adevăr sunt singura noastră metodă formală de a decide dacă un argument este valid sau invalid în logica propozițională, există o altă metodă formală de a demonstra că un argument este valid: metoda dovezii. Deși nu puteți … Citeşte mai mult

The post Dovezi și cele opt forme valide de inferență în logică appeared first on Telework.

Tautologii, contradicții și declarații contingente

Vă puteți gândi la o afirmație care nu ar putea fi niciodată falsă? Ce ziceți de o afirmație care nu ar putea fi niciodată adevărată? Este mai greu decât credeți, dacă nu știți cum să folosiți operatorii funcționali ai adevărului … Citeşte mai mult

The post Tautologii, contradicții și declarații contingente appeared first on Telework.

Echivalența materială în logica propozițională

Două fraze simbolice diferite pot traduce aceeași frază. „~S ⸧ R” și „S ˅ R” sunt echivalente. Mai exact, ele sunt modalități echivalente de a surprinde relația funcțională de adevăr dintre propoziții. Două propoziții sunt echivalente material dacă și numai … Citeşte mai mult

The post Echivalența materială în logica propozițională appeared first on Telework.

„Cu excepția cazului în care” în logica propozițională

Termenul „cu excepția cazului în care” poate fi dificil de tradus. De exemplu, Reds vor câștiga, cu excepția cazului în care aruncătorul lor de start este accidentat. Dacă folosim „R” ca și constanta pentru a reprezenta propoziția atomică, „Reds vor … Citeşte mai mult

The post „Cu excepția cazului în care” în logica propozițională appeared first on Telework.

Condiționale materiale în logica propozițională

Până acum, am învățat cum să traducem și să construim tabele de adevăr pentru trei conectivități funcționale ale adevărului. Cu toate acestea, există încă un conectiv funcțional de adevăr  pe care nu l-am învățat încă: condiționalul. (2) Expresia care este … Citeşte mai mult

The post Condiționale materiale în logica propozițională appeared first on Telework.

Testarea validității afirmațiilor cu tabele de adevăr

Prin traducerea anumitor fraze în limbajul nostru simbolic vom avea o metodă pur formală de a determina validitatea unei anumite clase de argumente – și anume, acele argumente a căror validitate depinde de funcționarea conectivităților funcționale de adevăr. Aceasta este … Citeşte mai mult

The post Testarea validității afirmațiilor cu tabele de adevăr appeared first on Telework.