Мат логика

[lenar]

прямой выврд это что? просьба объяснять с примерами с примерами

[renuar911]

Это вывод от известных фактов, на каждом шаге которого к этим фактам применяют все возможные правила, которые порождают новые факты, и так до тех пор, пока в рабочей памяти не появится факт-цель.

[lenar]

Это вывод от известных фактов, на каждом шаге которого к этим фактам применяют все возможные правила, которые порождают новые факты, и так до тех пор, пока в рабочей памяти не появится факт-цель.

ладно тогда так:

доказать или опровергнуть следствие:
B->¬A, A&D, BvC |=D&C

обясните что откуда ведь не где нету фактов что та или иная Буква это 0 или 1