Cele patru forme categorice sunt date mai jos. Putem folosi diagramele Venn pentru a determina dacă anumite tipuri de argumente sunt valide sau invalide. Un astfel de tip de argument este ceea ce vom numi „inferențe categorice imediate”. O inferență … Citeşte mai mult The post Testul de validitate Venn pentru inferențe categorice imediate appeared […]
Testul de validitate Venn pentru inferențe categorice imediate Read More »
Luați în considerare următorul argument: Toți oamenii sunt muritori Toate lucrurile muritoare mor Prin urmare, toți oamenii mor Dacă ar fi să aplicăm testul informal al validității (din capitolul 1) acestui argument, am vedea că argumentul este valid deoarece nu … Citeşte mai mult The post Logica categorică appeared first on Telework.
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.
Logica propozițională și logica formală Read More »
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ă
Strategii în construirea dovezilor în logică și gândirea criticiă Read More »
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
Dovezi și cele opt forme valide de inferență în logică Read More »
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.
Tautologii, contradicții și declarații contingente Read More »
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.
Echivalența materială în logica propozițională Read More »
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
„Cu excepția cazului în care” în logica propozițională Read More »
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.
Condiționale materiale în logica propozițională Read More »
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
Testarea validității afirmațiilor cu tabele de adevăr Read More »
