Skrypt zawiera materiał z zakresu logiki przeznaczony dla studentów ASzWoj.
Składa się z czterech rozdziałów. Pierwszy to zarys historyczny logiki, w drugim przedstawione są elementy logiki formalnej, wprowadzenie do teorii mnogości zamieszczone jest w rozdziale trzecim, zaś rozdział czwarty zawiera przykłady zastosowania wspomnianych pojęć do analizy języka naturalnego. Zawartość skryptu pokrywa treści programowe przedmiotu "Logika". Duża ilość przykładów, zwłaszcza związanych z zastosowaniem logiki w dowodzeniu, pokazuje znaczenie tego przedmiotu w praktyce.
SPIS TREŚCI
1. Wprowadzenie. Rys historyczny
2. Elementy logiki formalnej
2.1. Rachunek zdań
2.2. Rachunek predykatów (klasyczny rachunek logiczny)
3. Teoria mnogości
3.1. Aksjomatyka teorii mnogości
3.2. Działania na zbiorach
3.3. Relacje
3.4. Odwzorowania - funkcje
4. Elementy analizy języka naturalnego
4.1. Podstawowe własności języka
4.2. Kategorie semantyczne
4.3. Wybrane elementy analizy języka naturalnego
4.3.1. Definicje
4.3.2. Normy i oceny
4.3.3. Podział logiczny
4.3.4. Dowodzenie i argumentacja
4.3.5. Argumentacja w sporze
4.3.6. Praktyczny przykład stosowania logicznej analizy języka
naturalnego
4.4. Działania na połączenie
Zadania - rozwiązania
Bibliografia
Indeks rzeczowy
Spis ilustracji
Spis tabel
Informacja dotycząca wprowadzenia produktu do obrotu:
Ten produkt został wprowadzony na rynek przed 13 grudnia 2024 r. zgodnie z obowiązującymi wówczas przepisami (Dyrektywą o ogólnym bezpieczeństwie produktów). W związku z tym może on być nadal sprzedawany bez konieczności dostosowania do nowych wymogów wynikających z Rozporządzenia o Ogólnym Bezpieczeństwie Produktów (GPSR). Produkt zachowuje pełną legalność w obrocie, a jego jakość i bezpieczeństwo pozostają zgodne z obowiązującymi wcześniej standardami.
Information regarding product placement on the market:
This product was placed on the market before December 13, 2024, in accordance with the applicable regulations at the time (the General Product Safety Directive). As a result, it can continue to be sold without needing to meet the new requirements introduced by the General Product Safety Regulation (GPSR). The product remains fully compliant with all previously valid legal standards, ensuring its continued quality and safety.