-
1 імплікація
ІМПЛІКАЦІЯ (лат. implicatio, від implico - тісно зв'язую) - логічна операція, яка з двох висловлюваньр і q утворює умовне висловлювання "якщо р, то q". Формально цей новий вираз записують: р з q (або: р —» q, Cpq), де гС - знаки І. в різних системах запису. Термін "І." вживається також для позначення зв'язки "якщо..., то..." і самого умовного висловлювання. Існує кілька видів І. Основною в класичній математичній логіці є матеріальна І. pz> q. За властивостями І. pz>q є хибною в тому і тільки в тому випадку, якщор - істинне, a q - хибне. При матеріальній І. антецедент і консеквент не зв'язані за змістом В. ід матеріальної відрізняють формальну І., яка виражається через матеріальну І. і квантор загальності: Vx(P (х) d:> Q (х)) (див. квантори). Істинність цієї формули означає, що завжди, коли предмет х має властивість Р, він має також і властивість Q. Для вираження в логічних численнях деяких видів смислового зв'язку між антецедентом і консеквентом було зроблено спроби побудувати каузальну І. і контрфактичну І. Важливу роль відіграє І. в логічних численнях В. она є основою логічного виводу, зокрема, як правило відокремлення, відповідно до якого з істинності складного висловлювання і на підставі істинності його антецедента роблять висновок про істинність консеквента, який можна записати у вигляді доведеної теореми.
См. также в других словарях:
Implico — Infobox Company name = Implico type = Public foundation = Hamburg, Germany (1983) location city = Hamburg location country = Germany locations = 5 Offices (2008) at 2008 07 24 area served = Worldwide industry = IT Consulting and Software products … Wikipedia
Ministerio de Economía y Hacienda de España — Ministerio de Economía y Hacienda Logo del Ministerio de Economía y Hacienda Formación 4 de diciembre de 1714 … Wikipedia Español
Festimad — Saltar a navegación, búsqueda Festimad … Wikipedia Español
Museo José Luis Bello y González — (Museo Bello) Información geográfica … Wikipedia Español
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
Cultura mixteca — Saltar a navegación, búsqueda Cultura mixteca Ubicación del territorio mixteco en Mesoamérica Datos Cronología: 1500 a. C. 1523 d. C … Wikipedia Español
Economía de Cúcuta — Saltar a navegación, búsqueda Importaciones en Cúcuta [2007]. Cúcuta es un distrito especial[1] … Wikipedia Español
Economía de El Salvador en las Provincias Unidas del Centro de América — Saltar a navegación, búsqueda Bajo el título de Economía de El Salvador en las Provincias Unidas del Centro de América se pretende entender el proceso de formación de la República Federal Centroamericana, con lo que se hace necesario estudiar un… … Wikipedia Español
Historia contemporánea de España — La promulgación de la Constitución de 1812, obra de Salvador Viniegra (Museo de las Cortes de Cádiz). Historia contemporánea de España es la disciplina historiográfica y el periodo histórico de la historia de España que corresponde a la Edad… … Wikipedia Español
Fuerzas Armadas de Guatemala — Ejército de Guatemala (Constitucional) Fuerzas Armadas de Guatemala (FAG) Escudo de Armas de la República de Guatemala Cuerpos … Wikipedia Español
Escuela del Magisterio — Saltar a navegación, búsqueda Escuela del Magisterio Fundación 29 de diciembre de 1947 Localización Mendoza, Argentina Directora Dora Cubas de Tra … Wikipedia Español
