Skolimizacja formuły.
: 19 cze 2016, o 12:49
Cześć
Mam kilka formuł na podstawie których chcę wnioskować metodą rezolucji. Jedną z formuł jest:
\(\displaystyle{ \exists_n \forall_m c(n, m)}\)
Jak to skomilizować tak, aby można było użyć tego do reguły rezolucji?
Mam kilka formuł na podstawie których chcę wnioskować metodą rezolucji. Jedną z formuł jest:
\(\displaystyle{ \exists_n \forall_m c(n, m)}\)
Jak to skomilizować tak, aby można było użyć tego do reguły rezolucji?