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

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

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