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

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

„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

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

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

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

Concepte de bază în logica propozițională

|

Este prezentat un calcul standard propozițional. Există multe formulări diferite care sunt mai mult sau mai puțin echivalente, dar diferă în detalii: limba lor, respectiv colecția specială de simboluri primitive și simboluri ale operatorilor, setul de axiome sau formule distincte; … Citeşte mai mult

Logica propozițională

|

Calculul propozițional este o ramură a logicii. Se mai numește logica propozițională, logica declarației, calculul sentențial, logica sentențială sau, uneori, logica de ordin zero. Se ocupă de propoziții (care pot fi adevărate sau false) și fluxul de argumentare. Propozițiile compuse … Citeşte mai mult