загрузка...
загрузка...
На головну

Достатні і необх. умови

Дивіться також:
  1. I. Виробничі умови праці
  2. III. Радянська економічна модель в умовах війни.
  3. IV. Інші умови
  4. IV. Інші умови
  5. IV. Теорії грошей і їх розвиток в сучасних умовах
  6. PR в умовах кризи - 2 години.
  7. А нерідко і цивільного персоналу. Необхідними умовами успіху такої діяльності
  8. Адаптації організмів до умов середовища
  9. Активний тип адаптації Білої Раси до умов помірного пояса
  10. Акцентуації характеру і їх прояв в умовах військової служби.
  11. Альтернативні палива як заміна нафтовим, їх значення в умовах виснаження ресурсів природних палив.
  12. Аналіз і рішення управлінських рішень в умовах визначеності

СКЛАДНЕ МІРКУВАННЯ

Складність е сужд-я- Суж-я, сост-е з простий. суж-й, соед-х м \ ду собою логічний. союзами.

Кон'юнкція (прибл. Соотв. Союзу «і») U, діз'юнкціяV, W, імплікація ®, еквіваленція ?

Логічний. Союз (Не слід. Смеш-ть з грам. Союзом) - 1) грам. союз зв-т слова і пропоз-я, а логічний-й-сужд-я, 2) у грам. союзу завжди предст. сенс. зв'язок, в логічний. союзі сенс. зв'язку може і не бути. Єдін-я ф-я лог. с. - Указ-е на соістін-ть сужд-й. Кожні. логічний. союз Бінар, т. е. зв-т 2 і тільки 2 сужд-я в будь-яких комбин-х.

(PWq) U (q®z)

якщо ми маємо 2 сужд-я, то для 2-х семантич. простий. сужд-й возм-ни 4 комбин-ії логич-х значень:

p q
и и
и л
л и
л л

кон'юнкція - Таке складність. сужд-е, кот-е буде істин-м тоді і тільки тоді, коли істин-ни все вхід-е в нього сужд-я. (Казань - столиця Татарстану і розташований на Волзі.) Кон'юн. сужд-е в реальн. тексті може бути предст. у вигляді сужд-й зі складність. суб., складність. предикий. або ж зі складність. суб. і складність. предикатом. S1 ^ S2 є P, S є P1 ^ P2, S1 ^ S2 є P1 ^ P2

1) закон ассоц-ти: Логічний. знач-е кін. сужд-я не залежить від сочет-ти Кон'юнктів: (p ^ q) ^ r, p ^ (q ^ r)

2) закон комут-ти: Логічний. знач-е кін. сужд-я не залежить від закінч-ки Кон'юнктів. p ^ q; q ^ p

диз'юнкція: 2 види -суворо і нестрогая. Схожі сторінки. прибл. відпо-т спілкам «і», «або» в сенсі або те або це: сужд-е Нестрогие. диз-ії є таке сужд-е, кот-е буде істин-м тоді і тільки тоді, коли істинно по крайней. принаймні одна з вхід-х в нього сужд-й.

p q  p ^ q  pVq  pWq  p®q  q®p  p?q
и и и и л и и и
и л л и и л и л
л и л и и и л л
л л л л л и и и

Суворий. диз-я - С. «Або» употр-ся в ісключ.-розділить. сенсі (або те, або це і 3-го не дано). Сужд-е суворий. диз-ії є таке складність. сужд-е, кот-е буде істин-м тоді і тільки тоді, коли істин. тільки одне з вхід-х в нього сужд-й. pWqWz / На диз-ю (суворий. і нестрогим. розпод-ся ті ж закони, що і на кон-ю. подібно кон-ії: сужд-е м. б. предст. з складність. суб. або зі складність. предикий . або зі складність. суб. і складність. предикий-м. S1VS2, P1VP2.

імплікація (Якщо то) ®

імплік-м зв-т таке складність. сужд-е, кот-е буде помилкові. тоді і тільки тоді, коли предше. сужд-е p (антецедент) буде істин-м, а послід-е сужд-е q (консеквент) хибним.

в імплік-ії істин-ть p (основ-е) явл-ся умовою достатній-м але не необх. для призн-я істин-ти q, з ін. стор. істин-ть q (наслідок) явл-ся умовою необ. але недостатньо. для призн-я істин-ти p основ-я.

Якщо по провіднику пропущений електро. ток (p), то провідник нагрів-ся (q).

1. допустимо, що p-істинно, то q-істинно.

2. p- помилково, q- неопред-но (як помилково, так і істинно)

3. q-брехливо. p-необх. помилково.

4. q-істинно, p-ні визначено.

істин-ть q необх. , Але не достатньо.

імплік-я відображає найрізноманітніші види завис-ти:

1. причин-я: якщо асфальт мокрий, то був дощ.

2. семантич-ю: якщо Марія дружина, то вона заміжня.

3. корелляцію-ю: якщо ласт. літають низько, то буде дощ.

еквіваленція: якщо тільки якщо, тоді і тільки тоді. Еквів-ми наз-т такі складність. сужд-я, кіт-е будуть істин-ми тоді і тільки тоді, коли вхід-е в них сужд-я матимуть одинак-е логічний. знач-я. У еквів-ії істин-ть (лож-ть) p явл-ся умовою достаточ. і необх. для призн-я істин-ти (лож-ти) q, істин-ть (лож-ть) q явл-ся умовою достаточ. і необх. для призн-я істин-ти (лож-ти) q.

Категор.-Атрібі. сужд-е «-- попередня | наступна --» Отнош-е сужд-й по істин-ти, логічний. квадрат.
загрузка...
© om.net.ua