Dr hab. Emil Grochulski - strona 2

Definicja Tarskiego - wykład

  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • dr hab. Emil Grochulski
  • Semantyka logiczna
Pobrań: 14
Wyświetleń: 798

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...