Lemon +26
Sveiki.
Teiginių skaičiavime apskritai bėdų nematau. Tačiau kažkodėl užstrigau ties šiuo uždaviniu.
Formulė:
[tex](A\rightarrow B)\rightarrow ((C \vee A)\rightarrow (C\vee B))[/tex]
Du kartus pritaikius dedukcijos teoremą:
[tex](A\rightarrow B), (C\vee A) \vdash C\vee B[/tex]
Pirmas žingsnis 3.2 aksioma, kai A = C ir B = B.
Toliau kažkodėl, kad ir ką bandau niekas iš to neišeina.
Gal turit minčių?
pakeista prieš 4 m