ematematikas
Kategorijos +Nauja tema Prisijungti        

Formulių išvedimai teigininių skaičiavime, remiantis dedukcijos teorema

Aukštoji matematika Peržiūrų skaičius (101)

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ų?

Paskutinį kartą atnaujinta 2019-10-01

0

Norėdami rašyti žinutes privalote prisijungti!