Declarații cu parametri în logica propozițională

|

Vom dezvolta câteva formule în matematica logicii propoziționale. Mai întâi trebuie să introducem o notație de bază. Definiție: O variabilă este o literă folosită pentru a se referi la o cantitate sau un obiect matematic fără a fi nevoie să … Citeşte mai mult

Tautologii, contradicții, propoziții contingente și echivalența logică prin tabele de adevăr

|

Tautologii, contradicții și propoziții contingente Amintiți-vă că o propoziție este o tautologie dacă trebuie să fie adevărată din punct de vedere logic. Cu un tabel complet de adevăr, luăm în considerare toate modurile în care ar putea fi lumea. Dacă … Citeşte mai mult

Raționamentul logic

|

(Raționamentul logic se preocupă de corectitudinea argumentelor. O distincție cheie este între argumentele deductive și nedeductive.) Raționamentul logic este o activitate mentală care își propune să ajungă la o concluzie într-o manieră riguroasă. Se realizează sub formă de inferențe sau … Citeşte mai mult

Conectori în logica propozițională: Conjuncția

|

Luați în considerare aceste propoziții: Adam este atletic. 10. Barbara este atletică. 11. Adam este atletic, iar Barbara este, de asemenea, atletică. Vom avea nevoie de litere de propoziție separate pentru 9 și 10, așa că definim această cheie de … Citeşte mai mult

Logica fuzzy

|

Logica fuzzy este o formă de logică cu mai multe valori în care valoarea de adevăr a variabilelor poate fi orice număr real între 0 și 1. Este folosită pentru a gestiona conceptul de adevăr parțial, unde valoarea adevărului poate … Citeşte mai mult

Reprezentarea argumentelor în logică

|

Pe măsură ce ne preocupăm de argumente, vom dori să ne reprezentăm argumentele într-un fel, indicând care afirmații sunt premisele și care afirmație este concluzia. Vom reprezenta argumentele în două moduri. Pentru ambele sensuri, vom numerota premisele. Pentru a identifica … Citeşte mai mult

Totul și nimic în diagramele Venn din logica categorială

|

Cercuri care se intersectează Acum să luăm în considerare o diagramă puțin mai complicată în care avem două cercuri care se intersectează. Cercul din stânga reprezintă clasa A. Cel din dreapta reprezintă clasa B. Să etichetăm diferitele regiuni mărginite: Regiunea … Citeşte mai mult

Conectori logici – Negarea

|

Conectorii logici sunt folosiți pentru a construi propoziții complexe din componente atomice. Există cinci conectori logici în logica propozițională. Acest tabel le rezumă și sunt explicate mai jos. simbol ce este apelat ce înseamnă ¬ negare ‘Nu este cazul ca…’ … Citeşte mai mult

Erori de logică de inconsistență

|

Erorile de logică de inconsistență sunt cazuri în care este prezentat ceva inconsistent, auto-contradictoriu sau autodistructiv. Inconsistență Aici sunt câteva exemple: „Un lucru pe care îl știm cu siguranță este că nimic nu este vreodată adevărat sau fals.” – Dacă … Citeşte mai mult

Enunțurile în logică

|

Concluziile și premisele sunt articulate sub formă de enunțuri. Enunțurile sunt propoziții despre care se poate determina că sunt sau nu adevărate. Câteva exemple de enunțuri adevărate sau false pot fi găsite mai jos. (Rețineți că, în timp ce unele … Citeşte mai mult

Logica categorială – Diagrame Venn – Notații de bază

|

Imaginile și diagramele pot fi foarte utile în prezentarea informațiilor sau în sprijinirea raționamentului. În acest modul ne vom concentra pe diagramele Venn. Sunt folosite pentru a reprezenta clase de obiecte. Le putem folosi și pentru a evalua validitatea anumitor … Citeşte mai mult

Tabele de adevăr în logica propozițională

|

Aceasta este o modalitate de evaluare a propozițiilor și argumentelor logicii propoziționale (LP). Deși poate fi laborioasă, metoda tabelului de adevăr este o procedură pur mecanică, care nu necesită intuiție sau perspectivă specială. I. Conectori funcționali de adevăr Orice propoziție … Citeşte mai mult

1 2 3 4 5 9