Luați în considerare aceste propoziții: Figura de pe tablă este un triunghi numai dacă are exact trei laturi. Figura de pe tablă este un triunghi dacă are exact trei laturi. Figura de pe tablă este un triunghi dacă și numai … Citeşte mai mult
În algebră nu putem face ecuații fără a avea mai întâi un concept de egalitate. Două numere sunt egale atunci când au aceeași valoare. Vă prezentăm acum noțiunea corespondentă în logica propozițională. În esență, vom spune că două afirmații sunt … Citeşte mai mult
Pentru a arăta că o propoziție este o tautologie, trebuie să arătăm că este 1 pe fiecare rând. Deci avem nevoie de un tabel complet de adevăr. Pentru a arăta că o propoziție nu este o tautologie, avem nevoie, totuși, … Citeşte mai mult
Pentru următoarele propoziții, să considerăm R că înseamnă „Veți tăia firul roșu” și B să însemne „Bomba va exploda”. Dacă tăiați firul roșu, atunci bomba va exploda. 22. Bomba va exploda doar dacă tăiați firul roșu. Propoziția 21 poate fi … Citeşte mai mult
Consistența Un set de propoziții este consistent dacă este logic posibil ca toate să fie adevărate simultan. Un set de propoziții este LOGIC CONSISTENT ÎN LOGICA PROPOZIȚIONALĂ dacă există cel puțin o linie dintr-un tabel complet de adevăr pe care … Citeşte mai mult
Luați în considerare aceste propoziții: Denison va juca golf cu mine, sau se va uita la filme. 17. Denison sau Ellery va juca golf cu mine. Pentru aceste propoziții putem folosi această cheie de simbolizare: D: Denison va juca golf … Citeşte mai mult
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
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
Matematica este consistentă, ceea ce înseamnă că indiferent de metoda pe care o folosești pentru a rezolva o problemă, vei obține același răspuns. Știm acest lucru deoarece, atunci când un matematician creează o nouă metodă, trebuie să demonstreze că este … Citeşte mai mult
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
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
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
