Dylemat

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Dylemat (z gr. διλήμματος dilemmatos 'podwójny lemat') – w logice tradycyjnej niezawodne schematy wnioskowań, w których przesłankami są dwa zdania warunkowe i alternatywa (nierozłączna), z których każdemu już na gruncie klasycznego rachunku zdań odpowiada właściwe prawo logiczne. Wyróżniono cztery typy takich schematów wnioskowań: dylemat konstrukcyjny (prosty), dylemat konstrukcyjny złożony, dylemat destrukcyjny (prosty) i dylemat destrukcyjny złożony.

Język grecki, greka (starogr. dialekt attycki Ἑλληνικὴ γλῶττα, Hellenikè glõtta; nowogr. Ελληνική γλώσσα, Ellinikí glóssa lub Ελληνικά, Elliniká) – język indoeuropejski z grupy helleńskiej, w starożytności ważny język basenu Morza Śródziemnego. W cywilizacji Zachodu zaadaptowany obok łaciny jako język terminologii naukowej, wywarł wpływ na wszystkie współczesne języki europejskie, a także część pozaeuropejskich i starożytnych. Od X wieku p.n.e. zapisywany jest alfabetem greckim. Obecnie, jako język nowogrecki, pełni funkcję języka urzędowego w Grecji i Cyprze. Jest też jednym z języków oficjalnych Unii Europejskiej. Po grecku mówi współcześnie około 15 milionów ludzi. Język grecki jest jedynym językiem z helleńskich naturalnych, który nie wymarł.Biblioteka Narodowa Izraela (hebr. הספרייה הלאומית; dawniej: Żydowska Biblioteka Narodowa i Uniwersytecka, hebr. בית הספרים הלאומי והאוניברסיטאי) – izraelska biblioteka narodowa w Jerozolimie.

Dylemat konstrukcyjny prosty[ | edytuj kod]

Jest to schemat postaci:

W klasycznym rachunku zdań odpowiada mu prawo:

zwane prawem dylematu konstrukcyjnego prostego.

Encyklopedia Britannica (ang. Encyclopædia Britannica) – najstarsza wydawana do chwili obecnej i najbardziej prestiżowa encyklopedia angielskojęzyczna. Artykuły w niej zamieszczane uważane są powszechnie przez czytelników za obiektywne i wiarygodne.Library of Congress Control Number (LCCN) – numer nadawany elementom skatalogowanym przez Bibliotekę Kongresu wykorzystywany przez amerykańskie biblioteki do wyszukiwania rekordów bibliograficznych w bazach danych i zamawiania kart katalogowych w Bibliotece Kongresu lub u innych komercyjnych dostawców.


Podstrony: 1 [2] [3] [4]




Warto wiedzieć że... beta

Logika (gr. λόγος, logos – rozum, słowo, myśl) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).
Klasyczny rachunek zdań – najpopularniejszy system formalny logiki matematycznej, w którym formuły reprezentujące zdania logiczne mogą być tworzone z formuł atomowych za pomocą wymienionego niżej zbioru aksjomatów.
Store Norske leksikon (Wielka encyklopedia norweska) - norweska encyklopedia w języku bokmål. Powstała po fuzji dwóch dużych, tworzących encyklopedie i słowniki wydawnictw norweskich Aschehoug i Gyldendal w 1978 roku, które utworzyły wydawnictwo Kunnskapsforlaget. Były cztery wydania papierowe: pierwsza w latach 1978-1981 w 12 tomach, druga w latach 1986-1989 w 15 tomach, trzecia w latach 1995-1999 w 16 tomach i czwarta w latach 2005-2007 w 16 tomach. Ostatnie wydanie zawierało 150 tys. haseł i 16 tys. ilustracji i zostało opublikowana przy wsparciu finansowym stowarzyszenia Fritt Ord. W 2010 roku ogłoszono, że nie będzie już wydań papierowych encyklopedii. Encyklopedia dostępna jest on-line od 2000 roku, a od 2009 roku może być edytowane przez użytkowników. Kunnskapsforlaget korzysta jednak z pomocy ekspertów przy sprawdzaniu treści zamieszczonych przez czytelników.
Zygmunt Ziembiński (popularnie: Gandhi, ur. 1 czerwca 1920 w Warszawie, zm. 19 maja 1996 w Poznaniu) – profesor, teoretyk prawa, logik.
Witold Marciszewski (ur. 18 listopada 1930 w Warszawie) – polski logik i filozof, redaktor kilku encyklopedii logicznych, wieloletni nauczyciel akademicki, założyciel czasopisma Studies in Logic, Grammar and Rhetoric, redaktor blogów akademickich.
Trylemat (z gr.: τρεις - trzy, λημμα - przesłanka) - w logice tradycyjnej oznaczający schemat wnioskowania, w którym obok trzech zdań warunkowych występuje potrójna alternatywa:
Kontrola autorytatywna – w terminologii bibliotekoznawczej określenie procedur zapewniających utrzymanie w sposób konsekwentny haseł (nazw, ujednoliconych tytułów, tytułów serii i haseł przedmiotowych) w katalogach bibliotecznych przez zastosowanie wykazu autorytatywnego zwanego kartoteką wzorcową.

Reklama