Kolokwium

Question 1

Modus ponendo ponens

Answer 1

Sylogizm konstrukcyjny
Prawdziwa implikacja o prawdziwym poprzedniku ma prawdziwy następnik
[(p->q)^p]->q

Question 2

Modus tollendo tollens

Answer 2

Sylogizm destrukcyjny
Prawdziwa implikacja o fałszywym następniku ma fałszywy poprzednik
[(p->q)^~q]-> ~p

Question 3

Modus tollendo ponens

Answer 3

Sylogizm alternatywny

Prawdziwa alternatywa o jednym składniku fałszywym, drugi ma prawdziwy
[(p\/q)^~p]->q

Question 4

Modus ponendo tollens

Answer 4

Sylogizm dysjunkcyjny

Prawdziwa dysjunkcja o jednym składniku prawdziwym drugi ma fałszywy

[(p|q)^p]->~q

Question 5

Błąd materialny

Answer 5

Co najmniej 1 przesłanką jest fałszywa

Question 6

Błąd formalny

Answer 6

Schemat zdania jest zawodny

Question 7

Schemat niezawodny

Answer 7

Żadne wnioskowanie wg niego przeprowadzone nie może mieć prawdziwych przesłanek w fałszywego wniosku

Question 8

Tautologia

Answer 8

Schemat zdań wyłącznie prawdziwych

Question 9

Prawda logiczna

Answer 9

Zdanie którego schematem jest tautologia

Question 10

Fałsz logiczny

Answer 10

Zdanie którego schematem jest kontrtautologia

Question 11

Wynikanie logicznie

Answer 11

Jeśli implikacja racji i następstwa jest tautologią

Question 12

Logicznie równoważnie

Answer 12

WITW gdy p<->q jest tautologią

Question 13

Wnioskowanie niezawodne

Answer 13

Niemożliwe jest by wszystkie przesłanki były prawdziwe, a wniosek fałszywy

Question 14

Wnioskowanie dedukcyjne

Answer 14

Wniosek wynika logicznie z przesłanek

Question 15

Koniunkcja

Answer 15

2/2

Question 16

Alternatywa zwykła

Answer 16

\/

Conajmniej 1/2

Question 17

Binegacja

Answer 17

|/

0/2

Question 18

Alternatywa rozłączna

Answer 18

|

1/2

Question 19

Dysjunkcja

Answer 19

|

Co najwyżej 1/2

Question 20

Implikacja

Answer 20

Nie 1->0

Question 21

Równoważność

Answer 21

L=P

Question 22

Superfunktor

Answer 22

Funktor funktorotwórczy o argumentach funktorowych

Question 23

Derywacja

Answer 23

Wieloargumentowe f. Proste —> f. Złożone mniejszej l. Argumentów

Question 24

Desygnat

Answer 24

Przedmiot o którym można zgodnie z prawdą tę nazwę orzec

Question 25

Denotacja

Answer 25

Zbiór wszystkich desygnatów danej nazwy

Question 26

Predykaty

Answer 26

Funktory zdaniotwórcze o arg. nazwowych

Question 27

Wnioskowanie redukcyjne

Answer 27

Przynajmniej jedna przesłanka wynika logicznie z wniosku

Question 28

Indukcja enumeracyjna niezupełna

Answer 28

Na podstawie wielu zdań jednostkowych, stanowiących przesłanki, uznajemy ogólny wniosek o wszystkich obiektach danej kategorii

Question 29

Analogia I typu

Answer 29

n-obiektów ma wspólną cechę, więc wnioskujemy, że n+1 również ją posiada

Question 30

Analogia II typu

Answer 30

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ę

Question 31

Indukcja statystyczna

Answer 31

Na podstawie odpowiednio dużej (reprezentatywnej), losowej próbie wnioskujemy o całej populacji

Question 32

Indukcja enumeracyjna zupełna

Answer 32

Przesłanki obejmują wszystkie możliwe obiekty danej kategorii, na podstawie czego stwierdzamy że wszystkie obiekty tej kategorii dzielą daną cechę

Question 33

Indukcja eliminacyjna

Answer 33

Jedna przesłanka jest alternatywą Pozostałe przesłanki, kolejno obalają jej składniki z wyjątkiem jednego Pozostała przesłanka jest wnioskiem

Question 34

Wyrażenia nazwowe

Answer 34

-stałe nazwowe (nazwy) -zmienne nazwowe -funkcje nazwowe

Question 35

Nazwy

Answer 35

-puste -niepuste jednostkowe -niepuste ogólne

Question 36

Nazwy puste

Answer 36

Brak fizycznie istniejących desygnatów

Question 37

Nazwy ogólne

Answer 37

Nazwy niepuste i niejednostkowe

Question 38

Nazwy jednostkowe

Answer 38

Dokładnie 1 desygnat

Question 39

Wyrażenia zdaniowe

Answer 39

-stałe zdaniowe (zdania) -zmienne zdaniowe -funkcje zdaniowe

Question 40

Operatory

Answer 40

-nazwotwórcze -zdaniotwórcze

Question 41

Funktor

Answer 41

Wyrażenia które w połączeniu z innymi wyrażeniami tworzą sensowne wyrażenia złożone

Question 42

Kategorie podstawowe (pierwotne)

Answer 42

Wyrażenia nazwowe i zdaniowe

Question 43

Kategorie pochodne (wtórne)

Answer 43

Funktory i operatory

Question 44

Spójnik ekstensjonalny

Answer 44

Wartość logiczna każdego zdania zbudowanego przy pomocy tego spójnika zależy od wartości logicznej jego argumentów

Question 45

Wyraz autosemantyczny

Answer 45

Odnoszący się sam do siebie

Question 46

Wyraz heterosemantyczny

Answer 46

Wyraz którego nie można odnieść do samego siebie