Kolokwium Flashcards
Modus ponendo ponens
Sylogizm konstrukcyjny
Prawdziwa implikacja o prawdziwym poprzedniku ma prawdziwy następnik
[(p->q)^p]->q
Modus tollendo tollens
Sylogizm destrukcyjny
Prawdziwa implikacja o fałszywym następniku ma fałszywy poprzednik
[(p->q)^~q]-> ~p
Modus tollendo ponens
Sylogizm alternatywny
Prawdziwa alternatywa o jednym składniku fałszywym, drugi ma prawdziwy
[(p\/q)^~p]->q
Modus ponendo tollens
Sylogizm dysjunkcyjny
Prawdziwa dysjunkcja o jednym składniku prawdziwym drugi ma fałszywy
[(p|q)^p]->~q
Błąd materialny
Co najmniej 1 przesłanką jest fałszywa
Błąd formalny
Schemat zdania jest zawodny
Schemat niezawodny
Żadne wnioskowanie wg niego przeprowadzone nie może mieć prawdziwych przesłanek w fałszywego wniosku
Tautologia
Schemat zdań wyłącznie prawdziwych
Prawda logiczna
Zdanie którego schematem jest tautologia
Fałsz logiczny
Zdanie którego schematem jest kontrtautologia
Wynikanie logicznie
Jeśli implikacja racji i następstwa jest tautologią
Logicznie równoważnie
WITW gdy p<->q jest tautologią
Wnioskowanie niezawodne
Niemożliwe jest by wszystkie przesłanki były prawdziwe, a wniosek fałszywy
Wnioskowanie dedukcyjne
Wniosek wynika logicznie z przesłanek
Koniunkcja
2/2
Alternatywa zwykła
\/
Conajmniej 1/2
Binegacja
|/
0/2
Alternatywa rozłączna
|
1/2
Dysjunkcja
|
Co najwyżej 1/2
Implikacja
Nie 1->0
Równoważność
L=P
Superfunktor
Funktor funktorotwórczy o argumentach funktorowych
Derywacja
Wieloargumentowe f. Proste —> f. Złożone mniejszej l. Argumentów
Desygnat
Przedmiot o którym można zgodnie z prawdą tę nazwę orzec
Denotacja
Zbiór wszystkich desygnatów danej nazwy
Predykaty
Funktory zdaniotwórcze o arg. nazwowych
Wnioskowanie redukcyjne
Przynajmniej jedna przesłanka wynika logicznie z wniosku
Indukcja enumeracyjna niezupełna
Na podstawie wielu zdań jednostkowych, stanowiących przesłanki, uznajemy ogólny wniosek o wszystkich obiektach danej kategorii
Analogia I typu
n-obiektów ma wspólną cechę, więc wnioskujemy, że n+1 również ją posiada
Analogia II typu
Dwa obiekty mają 1 wspólną cechę, a jeden z nich ma kolejną cechę, w związku z czym wnioskujemy że drugi obiekt również posiada ową cechę
Indukcja statystyczna
Na podstawie odpowiednio dużej (reprezentatywnej), losowej próbie wnioskujemy o całej populacji
Indukcja enumeracyjna zupełna
Przesłanki obejmują wszystkie możliwe obiekty danej kategorii, na podstawie czego stwierdzamy że wszystkie obiekty tej kategorii dzielą daną cechę
Indukcja eliminacyjna
Jedna przesłanka jest alternatywą
Pozostałe przesłanki, kolejno obalają jej składniki z wyjątkiem jednego
Pozostała przesłanka jest wnioskiem
Wyrażenia nazwowe
-stałe nazwowe (nazwy)
-zmienne nazwowe
-funkcje nazwowe
Nazwy
-puste
-niepuste jednostkowe
-niepuste ogólne
Nazwy puste
Brak fizycznie istniejących desygnatów
Nazwy ogólne
Nazwy niepuste i niejednostkowe
Nazwy jednostkowe
Dokładnie 1 desygnat
Wyrażenia zdaniowe
-stałe zdaniowe (zdania)
-zmienne zdaniowe
-funkcje zdaniowe
Operatory
-nazwotwórcze
-zdaniotwórcze
Funktor
Wyrażenia które w połączeniu z innymi wyrażeniami tworzą sensowne wyrażenia złożone
Kategorie podstawowe (pierwotne)
Wyrażenia nazwowe i zdaniowe
Kategorie pochodne (wtórne)
Funktory i operatory
Spójnik ekstensjonalny
Wartość logiczna każdego zdania zbudowanego przy pomocy tego spójnika zależy od wartości logicznej jego argumentów
Wyraz autosemantyczny
Odnoszący się sam do siebie
Wyraz heterosemantyczny
Wyraz którego nie można odnieść do samego siebie
