Форум за въпроси

G1c

G1c

by Ивана Йовчева -
Number of replies: 2

Здравейте,

Мога ли да Ви попитам за правилото за L--> в конструктивна логика,

тъй като се оказа, че това, което днес записах, е същото от минимална.

Ме можах да намеря ресурси в интернет. За някои от задачите ми се получава,

но бих искала да съм сигурна.

Благодаря!

Ивана

In reply to Ивана Йовчева

Re: G1c

by Трифон Трифонов -

Значи, системите са три. В G1c (класическа логика) правилото изглежда така:

В G1i (интуиционистка логика = конструктивна логика) всички правила са такива, че в антецедента на всеки секвент има само една формула. Съответно правилото е:

G1m (минимална логика) e G1i без правилото L⊥: ⊥ => 

Минималната логика също се води конструктивна, но без "лъжа".