Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
-
tukanik
- Użytkownik
- Posty: 1054
- Rejestracja: 8 paź 2012, o 23:19
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 696 razy
Post
autor: tukanik »
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?