Definicja Tarskiego - wykład
- Uniwersytet im. Adama Mickiewicza w Poznaniu
- Semantyka logiczna
Tw. 5) Semantyczne twierdzenie o odrywaniu: Jeżeli (A → B) e Vr(M) i A e Vr(M), to B e Vr(M). Dowód: Przypuśćmy, że: (A → B) e Vr(M), A e Vr(M) oraz B /e Vr(M) (zalożenie dowodu nie wprost) Skoro B /e Vr(M), więc istnieje wartościowa...