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.

Ubuntu: „sunt pentru că suntem”

Ubuntu: „Este vorba despre esența de a fi om. . . umanitatea mea este prinsă, legată, indisolubil, de a ta. Când te dezumanizez, mă dezumanizez inexorabil. ” —Desmond Tutu (filozofie bantu) Oamenii nu doar îi dezumanizează pe ceilalți, ci își … Citeşte mai mult

The post Ubuntu: „sunt pentru că suntem” appeared first on Telework.

Logica formală: “nu ambele” și “nici nici”

Două expresii comune care uneori pot provoca confuzie sunt „nu ambele”, cât și „nici nici”. Aceste două fraze au semnificații diferite și astfel sunt traduse cu propoziții logice simbolice diferite. Să vedem un exemplu al fiecăreia. Carla nu va avea … Citeşte mai mult

The post Logica formală: “nu ambele” și “nici nici” appeared first on Telework.

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

The post Folosirea parantezelor în logica formală pentru fraze complexe appeared first on Telework.

Negația și disjuncția în logica propozițională

Negația este operatorul funcțional de adevăr care schimbă valoarea adevărului unei propoziții de la fals la adevărat sau de la adevărat la fals. De exemplu, dacă afirmația „câinii sunt mamifere” este adevărată (așa și este), atunci putem face acea afirmație … Citeşte mai mult

The post Negația și disjuncția în logica propozițională appeared first on Telework.

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

The post Logica propozițională și conectivitățile funcționale ale adevărului de bază – Conjuncția – Tabelul de adevăr appeared first on Telework.

Metode formale de evaluarea argumentelor în logică și gândirea critică

Conform testului informal al validității, pentru a determina dacă un argument este valid, ne întrebăm dacă ne putem imagina un scenariu în care premisele sunt adevărate și totuși concluzia este falsă. Dacă putem, argumentul este invalid; dacă nu putem, argumentul … Citeşte mai mult

The post Metode formale de evaluarea argumentelor în logică și gândirea critică appeared first on Telework.