implication

Логическая операция. Импликация двух высказы-ваний Р и Q – это новое высказывание (обозначается Р > Q, читается из Р следует Q), которое ложно только тогда, когда высказывание Р – истинно, а Q – ложно, во всех же остальных случаях – истинно.

Mantiqiy amal. Ikki R va Q mulohazaning implykat-siyasi – bu, R mulohaza chin, Q mulohaza yolg‘on bo‘lgandagina yolg‘on, qolgan barcha holat-larda chin bo‘ladigan yangi mulohazadir (R > Q deb belgilanadi, R dan Q kelib chiqadi deb o‘qiladi).

Мантиқий амал. Икки Р ва Q мулоҳазанинг импликацияси – бу, Р мулоҳаза чин, Q мулоҳаза ёлғон бўлгандагина ёлғон, қолган барча ҳолат-ларда чин бўладиган янги мулоҳазадир (Р > Q деб белгиланади, Р дан Q келиб чиқади деб ўқилади).