Aby zdefiniować pojęcie "Rachunek zdań", trzeba jasno zrozumieć, co to jest "oświadczenie".
Więc rachunek jest sugestia, w rankingu gramatycznie poprawne, i jest fałszywe lub prawdziwe.Pojęcie to musi wyrazić pewne znaczenie.Na przykład, wyrażenie "kanarek ptaki mają" składa się z następujących składników: "kanarka" i "ptak".
Dlatego jednym z kluczowych wstępnych koncepcji logiki i mówi.Pojęcia te są opisać konkretną sytuację, w której rachunek jest albo coś lub odmowę.
prawda uznaje się za mówiąc, jeśli prześledzić linię rzeczywistość sytuacji, gdy jest zakreślić.Sami "false" i "true" zdefiniować prawdziwą oświadczenie.
oświadczenia logiczne składa się z prostych i złożonych wyrażeń.Tak, tylko, że stwierdzenie, że nie zawiera w swoim składzie innych wyrażeń.A do kompleksu to wyrażenia, które pochodzą z prostych, logicznie powiązanych ze sobą sprawozdań.
klasyczne Rachunek zdań może być reprezentowany przez ogólnej teorii dedukcji.To, że część logiki, która nie opisuje zależy od struktury zdań prostych wyrażeń logicznych połączeń.
Nie wspominając o spójników - kompleks oświadczenie, uzyskane przez połączenie dwóch prostych wyrażeń używając słowa "i".Prawda połączeniu potwierdza prawidłowość wszystkich stwierdzeń zawartych w jej strukturze.W przypadku, gdy przynajmniej jeden z jej członków jest fałszywe, cała koniunkcja jest znakiem "kłamstwo".
koniunkcja sama służy do tworzenia złożonych oświadczeń, które są oparte na tych założeniach:
- dowolne wyrażenie (zarówno proste i złożone) mogą być albo prawdziwe, albo fałszywe;
- prawda złożonych wypowiedzi zależy od prawdziwości zawartych w nim oświadczeń i logicznych powiązań w nim.
Podczas łączenia dwóch sprawozdań ze słowem "lub" uzyskał już alternatywy.W życiu codziennym, koncepcja ta może być postrzegana z perspektywy dwóch różnych znaczeniach.Po pierwsze, nie jest wyłączny sensie, co wskazuje na ważność ekspresji, niezależnie od prawdziwego kierunku ekspresji jednego lub dwa takie są zarówno.Po drugie, co eliminuje wrażenie zapewnia, że jedno z określeń jest prawdą, a z drugiej - fałszywe.
formuły rachunku zdań zawierać znaków specjalnych.Tak więc, w symbolu alternatywy V oznacza, że wyrażenie jest prawdziwe w tym prawdy co najmniej jednego sprawozdania i false jeśli oba jego członków są fałszywe.
Przy określaniu wpływu znajduje się zdanie mówiąc, że podstawa nie może być prawdą w złym dochodzenia.Innymi słowy, koncepcja ta zakłada prawdę lub fałsz zależność ekspresji wartości jego składników i sposobów ich stosunków.
Pomimo faktu, że konsekwencji jest bardzo użyteczne w niektórych zastosowaniach, nie jest bardzo zgodne z rozumieniem uwarunkowanej połączenia w ogóle.Tak więc, w wielu ważnych cech otacza urządzenie logiczne zachowanie mówiąc, pojęcie to nie może być odpowiedni opis.
logika wypowiedzi mające na celu rozwiązanie tego problemu centralnego, jak oddzielenie dobra i zła schematów rozumowania i systematyzacji pierwszy.Aby uzyskać poprawny wynik, należy skupić się na znaki specjalne, które mogą reprezentować jedno lub inną formę.Stąd wyznaczony interes w tak pozornie nieznaczących słów, takich jak "i", "i", itp
oświadczenia logiczne nawet ma własny język, który składa się z następujących elementów:
- oryginalne postacie - zmienne, stałe i logiczne znaki techniczne;
- wzory.
Aby zrozumieć to, co zostało powiedziane, musi udać się do konkretnych przykładów.Na przykład, za pomocą symbolu połączeniową & Sons, Inc., alternatywa - \ / i \ ° /.
