logica formală Archives - MultiMedia

Logica propozițională și logica formală

Nicolae Sfetcu — Wed, 08 Sep 2021 17:50:41 +0000

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 MultiMedia.

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

Nicolae Sfetcu — Sat, 28 Aug 2021 18:59:21 +0000

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 MultiMedia.

Folosirea parantezelor în logica formală pentru fraze complexe

Nicolae Sfetcu — Fri, 27 Aug 2021 17:15:34 +0000

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 MultiMedia.