Oxford Forum Forum edukacyjne

Witamy!

Witamy Cię na forum poświęconym edukacji.
Zapraszamy także do sklepu edukacyjnego z książkami poświęconymi różym zagadnieniom dotyczącym edukacji. Znajdziesz tam podręczniki szkolne, ściągi, lektóry, pomoce naukowe i inne materiały przydatne w zdobywniu wiedzy.

E-booki

Klasyczny rachunek zdań (KRZ); jedziem dalej w pl.sci.filozofia

Klasyczny rachunek zdań (KRZ); jedziem dalej

> > (p -> (q -> p))
> > to pierwszy aksjomat klasycznego rachunku zdań (KRZ) zwany aksjomatem
> > symplifikacji
> > Teraz: wstaw brat w tym aksjomacie wszędzie literkę "p".
> > Nic poza tym nie zmieniaj.
> > Co dostajesz brat?
>
> No dobra...
>
> (p -> (p -> p))

Tak.

> A czym to sie różni...

Nie zmieniaj mi tematu brat.

--

Brat, podaj drugi aksjomat klasycznego rachunku zdań (KRZ)

Wypisz go tutaj w postaci wyjściowej oraz podaj jego nazwę (bez
żadnych żartów).

A potem za każdą literke wstaw literkę "p" i wypisz go po podstawieni=
u
brat.

--

P.S. Acha, btw, twoje oznaczenie (.) zbioru pustego ma odpowiednik w
matematyce:

http://upload.wikimedia.org/wikipedia/commons/4/4f/Nullset.png

Ok, brat? tak to wygląda. Dwa nawiasy, ale bez kropki.

{ }, albo jak wolisz (.) to pewien skrót wyrażenia w klasycznym
rachunku zdań (KRZ). Tak tak, wystarczy tam dodać, że jest
nieskończoność, ale to już dopiero w klasycznym rachunku
kwantyfikatorów (KRK), następny dział i takie tam pierdoły.

Nara o to nie pieniajbrat. Spox.