- Tytuł:
- Odrzuceniowa n-wartościowa logika Posta
- Autorzy:
-
Borowik, A.
Piech, H. - Data publikacji:
- 2001
- Słowa kluczowe:
-
n-wartościowe logiki zdaniowe
rachunek zdaniowy
matryca
negacja
alternatywa
koniunkcja
implikacja
drzewo dowodowe
rachunek predykatów - Pokaż więcej
- Dostawca treści:
- BazTech