Wartościowanie w logice
W logice wartościowanie polega na przypisaniu wartości logicznych formułom zdaniowym. W kontekście rachunku zdań i rachunku predykatów pierwszego rzędu, stosuje się pojęcie „oceny”.
Przypisanie V zdań języka S określane jest jako ocena, gdy spełnione są następujące warunki:
- (a) V (¬ A) = w, jeśli V(A) = fa
- (b) V (A → B) = w, jeśli V(A) = f lub V(B) = w
Jeżeli formuła zdaniowa A jest spełniona przez wszystkie oceny, uznaje się ją za zdaniowo prawdziwą lub tautologiczną. Ponadto, jeśli wniosek B z implikacji A → B jest spełniony przez wszystkie oceny, które spełniają przesłankę A, to również wniosek jest zdaniowo ważny.
Podsumowanie
Wartościowanie w logice jest kluczowym procesem, który pozwala na określenie prawdziwości formuł zdaniowych na podstawie przypisanych wartości. Oceny odgrywają istotną rolę w analizie zdań i wniosków logicznych.
