Przekonanie - w
logice i
filozofii: X jest przekonany, że p dokładnie wtedy, gdy X uznaje treść
zdania stwierdzającego to, że p za
prawdziwą lub co najmniej wysoce prawdopodobną.
Testy równoległe -
testy psychologiczne, które mierzą dokładnie to samo i dokładnie tak samo różniąc się jedynie treścią pozycji testowych. Aby określić testy mianem równoległych, powinny one spełniać cztery warunki:
Reliabilizm — teoria Alvina Goldmana (
1967) mówiąca o tym, że nasze
przekonanie o czymś jest uzasadnione wtedy i tylko wtedy, gdy powstało w wyniku rzetelnego (
ang. reliable)
procesu poznawczego. Proces poznawczy jest rzetelny wtedy i tylko wtedy, gdy prowadzi znacznie częściej do mniemań prawdziwych niż fałszywych.
Rozumowanie – proces myślowy polegający na uznaniu za
prawdziwe danego
przekonania lub
zdania na mocy innego przekonania lub zdania uznanego za prawdziwe już uprzednio.
W
logice matematycznej teorią nazywamy niesprzeczny
zbiór zdań. Dokładniej, niech T będzie zbiorem zdań zapisanych w pewnym
języku L. Wtedy T jest teorią, jeśli nie istnieje zdanie napisane w języku L takie że T dowodzi zarówno tego zdania, jak i jego zaprzeczenia. Zbiór zdań T dowodzi zdania X, jeśli można przeprowadzić formalny
dowód zdania X przy użyciu zdań ze zbioru T oraz aksjomatów i reguł dowodzenia
klasycznego rachunku logicznego.
Stary cmentarz żydowski w Wohyniu -
kirkut służący niegdyś
żydowskiej społeczności
Wohynia. Nie wiadomo dokładnie kiedy powstał, ani gdzie się dokładnie znajdował. Obecnie w jego miejscu znajduje się zabudowa mieszkalna.
Zbiór
formuł zdaniowych X języka pierwszego rzędu J jest zupełny z uwagi na język J wtedy i tylko wtedy, gdy dla każdego zdania A języka J zdanie A jest elementem
zbioru CnL(X) lub negacja zdania A, oznaczana ¬A, jest elementem zbioru CnL(X).
Klauzula dualna (
ang. dual clause) to
zbiór literałów, który jest prawdziwy wtedy i tylko wtedy, gdy ich
koniunkcja jest prawdziwa. Klauzula dualna pusta jest zawsze prawdziwa.
Presupozycja - w
logice presupozycja
zdania A to sąd, który musi być prawdziwy, żeby zdaniu A można było przypisać
wartość logiczną (
prawdę albo
fałsz). Innymi słowy, presupozycja to wniosek wynikający zarówno ze zdania A, jak i z jego
negacji. Np. presupozycją zarówno zdania "Obecny król Francji jest łysy" jak i zdania "Obecny król Francji nie jest łysy" jest: "Francja ma obecnie króla".
W zdaniu złożonym współrzędnie
zdania składowe (tzw. zdania współrzędne) nie określają się wzajemnie. Jedno zdanie składowe nie wynika z treści drugiego i może istnieć osobno (np. Jem obiad i czytam gazetę. - Jem obiad. Czytam gazetę.).
Ōdachi (
jap. 大太刀, wielki miecz) - rodzaj miecza japońskiego, którego
głownia miała długość nie mniejszą niż 3
shaku (ok. 90 cm). Nie jest jednak dokładnie ustalone jakie dokładnie rozmiary i parametry kwalifikowały miecz jako ōdachi.
Stary cmentarz żydowski w Turobinie –
kirkut społeczności
żydowskiej niegdyś zamieszkującej
Turobin. Nie wiadomo dokładnie kiedy powstał, być może było to w
XVII wieku. Nie wiadomo również, gdzie się dokładnie znajdował. Cmentarz został zniszczony podczas II wojny światowej i brak jest śladów dawnego przeznaczenia terenu. Zachowało się kilka
macew, lecz nie wiadomo czy pochodzą one ze starego czy nowego kirkutu. Składowane są one przy miejscowym kościele.
Nowy cmentarz żydowski w Turobinie -
kirkut społeczności
żydowskiej niegdyś zamieszkującej
Turobin. Nie wiadomo dokładnie kiedy powstał, być może było to w
XVIII wieku. Nie wiadomo również, gdzie się dokładnie znajdował. Cmentarz został zniszczony podczas II wojny światowej i brak jest śladów dawnego przeznaczenia terenu. Zachowało się kilka macew, lecz nie wiadomo czy pochodzą one ze starego czy nowego kirkutu. Składowane są one przy miejscowym kościele. Nowy cmentarz miał przypuszczalnie powierzchnię 0,4 ha.
Ō-dachi (
jap. 大太刀, wielki miecz) – rodzaj miecza japońskiego, którego
głownia miała długość nie mniejszą niż 3
shaku (ok. 90 cm). Nie jest jednak dokładnie ustalone jakie dokładnie rozmiary i parametry kwalifikowały miecz jako ōdachi.
W zdaniu złożonym współrzędnie
zdania składowe (tzw. zdania współrzędne) nie określają się wzajemnie. Jedno zdanie składowe nie wynika z treści drugiego i może istnieć osobno (np. Jem obiad i czytam gazetę. - Jem obiad. Czytam gazetę.).
Cmentarz żydowski w
Treście -
kirkut społeczności
żydowskiej zamieszkującej leżący w pobliżu Tresty Żarnów. Nie wiadomo kiedy dokładnie powstał. Miał powierzchnię 1 ha. Został zniszczony podczas II wojny światowej. Obecnie brak na nim nagrobków. Teren cmentarza był ponoć wykorzystywany jako boisko sportowe.
Zasada przewagi treści nad formą - polega na prezentowaniu zgromadzonej w
rachunkowości informacji zgodnie z rzeczywistością (treścią ekonomiczną), nawet wtedy kiedy jest to sprzeczne z wymogami formalnymi. Mówi o tym art. 4 ust. 2
ustawy o rachunkowości. Zasada ta jest jednak kontrowersyjna i nie zawsze była akceptowana w przepisach prawa.
Klauzula (
ang. clause) to zbiór
literałów, który jest prawdziwy wtedy i tylko wtedy, gdy ich
alternatywa jest prawdziwa. Klauzula pusta jest zawsze fałszywa.
RS-423 – standard telekomunikacyjny transmisji szeregowej. Jest to dwukierunkowy
interfejs komunikacyjny do łączności pomiędzy dokładnie dwoma użytkownikami.