-
Książka- \'Logika dla pornych\'
Logikaopracowania własnewykłady
Pobierz za 1 kredytów Pliki w notatce:- K (1 MB)
Opis notatki
Niniejszy materiał zawiera książkę: Krzysztof Wieczorek - Logika dla opornych. Materiał jest w formacie pdf i składa się z 222 stron. Na stronach tych zostały przedstawione w przejrzysty sposób przykłady liczbowe i tekstowe do każdego zagadnienia oraz opisane zostały następujące zagadnienia: klasyczny rachunek zdań, schematy zdań, negacja, koniunkcja, alternatywa, implikacja, równoważność, budowanie schematów zdań języka naturalnego, zdanie, spójnik logiczny, nawiasy, następnik, poprzednik, spójnik główny, tabelki zero - jedynkowe, wartość logiczna, zastosowanie tabelek, tautologie, kontrtautologie, status formuł, skrócona metoda zerojedynkowa, idea metody skróconej, wykorzystanie metody skróconej, prawda i fałsz logiczny, zdania wewnętrznie sprzeczne, wynikanie logiczne, wnioskowania, reguły wnioskowania, reguły dedukcyjne, reguły niededukcyjne, sprawdzanie poprawności wnioskowań, wykorzystanie pojęcia tautologii, amfibolia, stała logiczna, sylogistyka, schematy zdań, desygnaty, zdania kategoryczne, zdania ogólne, zdania szczegółowe, zapisywanie schematów zdań, nazwa, sprawdzanie poprawności sylogizmów metodą diagramów Venna, sylogizm, przesłanka większa, przesłanka mniejsza, diagramy dla trzech nazw, zastosowanie diagramów Venna, błąd materialny, sprawdzanie poprawności sylogizmów przy pomocy metody 5 reguł, kwadrat logiczny, podporządkowanie, przeciwieństwo, podprzeciwieństwo, sprzeczność, konwersja, obwersja, kontrapozycja, inwersja, błąd formalny, błąd materialny, denotacja nazw, desygnat nazw, nazwa pusta, zdanie kategoryczne, klasyczny rachunek predykatów, predykaty, kwantyfikatory, stałe indywiduowe, znak "=", reguły w rachunku predykatów, zawodność reguł, kontrmodel, zmienna indywiduowa, nazwy i definicje, podział rodzaju nazw, klasyfikowanie nazw, stosunki między nazwami, dobieranie innych nazw do nazwy podanej, rodzaje definicji ze względu na ich zadania, warunki poprawności definicji sprawozdawczych, definiendum, definies, desygnat nazwy, łącznik definicyjny, nazwa abstrakcyjna, nazwa generalna, nazwa indywidualna, nazwa jednostkowa, nazwa konkretna, nazwa nieostra, nazwa ogólna, nazwa ostra, nazwa pusta, zbiory, zbiór pusty, stosunki między zbiorami, identyczność, inkluzja, rozłączność, krzyżowanie, działania na zbiorach, iloczyn, różnica, suma, dopełnienie, prawa rachunku zbiorów typu bezzałożeniowego, założeniowe prawa rachunku zbiorów, inkluzja, relacje, para uporządkowana, iloczyn kartezjański, dziedziny i pole relacji, własności formalne relacji, zwrotność, symetria, przechodniość, spójność, działania na relacjach, zależności między relacjami, dobieranie relacji będących w różnych stosunkach do podanej, kwadrat kartezjański, dziedzina lewostronna relacji, dziedzina prawostronna relacji, pole relacji
Podobne notatki
-
23.01.2009
-
19.04.2009
-
19.04.2009
-
19.04.2009
-
19.04.2009
