Odpowiedzią na pytanie do krzyżówki „termin z logiki” mogą być różne pojęcia związane z tą dziedziną wiedzy, do których należą:
- Implikacja – stosunek między twierdzeniami, w którym z prawdziwości jednego wynika prawdziwość drugiego.
- Tautologia – zdanie logiczne prawdziwe w każdej możliwej sytuacji, niezależnie od wartości logicznych swoich składników.
- Paradoks – zdanie lub grupa zdań wydających się przeczyć powszechnie przyjętym opiniom lub same sobie, często prowokują do głębszej analizy czy przemyślenia pewnych kwestii.
- Aksjomat – twierdzenie przyjmowane za prawdziwe bez dowodu, stanowiące podstawę danego systemu matematycznego lub logicznego.
- Inferencja – proces wnioskowania, czyli przejście od twierdzeń wyjściowych (przesłanek) do twierdzenia wynikowego (konkluzji).
- Dedukcja – metoda wnioskowania, w której konkluzja wynika niezbicie z przesłanek, jest procesem działającym „od ogółu do szczegółu”.
- Indukcja – rodzaj wnioskowania, w którym na podstawie szczegółowych przypadków formułuje się ogólne prawa lub twierdzenia.
- Silogizm – forma wnioskowania dedukcyjnego, zawierająca dwie przesłanki i konkluzję wynikającą z nich.
- Predykat – funkcja logiczna lub zdanie, któremu można przypisać wartość prawdy, zwłaszcza gdy występują w nim zmienne, które można zastąpić konkretnymi wartościami.
- Argument – w logice to zbiór zdań (przesłanek) mających uzasadniać lub przekonać o prawdziwości innego zdania (konkluzji).
Wszystkie te wyrazy są powszechnie używane w logice i filozofii, pomagając określić strukturę prawidłowego wnioskowania bądź charakteryzować różne typy twierdzeń i zdań.
