логика предикатов

Тема в разделе "WASM.HEAP", создана пользователем Stupid_student, 22 фев 2009.

  1. Stupid_student

    Stupid_student New Member

    Публикаций:
    0
    Регистрация:
    5 дек 2008
    Сообщения:
    6
    Простите, не подскажете, как в виде формулы предикатов записать предложение: "Существует А, такое что В и С"?
     
    Stupid_student, 22 фев 2009
    #1
  2. _proteus

    _proteus Member

    Публикаций:
    0
    Регистрация:
    25 мар 2008
    Сообщения:
    192
    Адрес:
    Казань
    Может, так: ?х(А(х) & В(х) & С(х))
    ? -- квантор существования
     
    _proteus, 23 фев 2009
    #2