logika - sekwenty

Matma / logika - sekwenty

Autor	Wiadomość
Qoooba	Posted: 22 Mar 2001 22:44:03 Witam serdecznie! Mam problem (na pewno prosty) z logiki... z dziedziny tautologii i sekwentow. Chodzi o dowod prawdziwosci sekwentu: "A-~~A" na podstawie aksjomatow: A-(B-A) (A-(B-C))-((A-B)-(A-C)) ~A-(A-B) (~A-A)-A i reguly odrywania: "jesli A i (A-B) to B" plus mozna rowniez uzyc twierdzen: A-A ~~A-A Dla matematykow III lub IV roku nie powinno to stanowic problemu, a ja niestety nie jestem na matematyce ;-) Quba
duchu	Posted: 23 Mar 2001 09:39:13 Jest jeszcze jedna regóła : jeśli A=B i ~B to ~A Dowód: 1. A {zał} 2. ~A = ~A {tw.} 3. ~~A {na podstawie 1 i 2 i ww regóły} CND Nie jestem jednak pewny Pozdrowienia Witam serdecznie! Mam problem (na pewno prosty) z logiki... z dziedziny tautologii i sekwentow. Chodzi o dowod prawdziwosci sekwentu: "A-~~A" na podstawie aksjomatow: A-(B-A) (A-(B-C))-((A-B)-(A-C)) ~A-(A-B) (~A-A)-A i reguly odrywania: "jesli A i (A-B) to B" plus mozna rowniez uzyc twierdzen: A-A ~~A-A Dla matematykow III lub IV roku nie powinno to stanowic problemu, a ja niestety nie jestem na matematyce ;-) Quba

Jak sobie przedłużyć datę ważności

Pokolenie wyżu demograficznego właśnie zaczyna przechodzić na emeryturę. Dobrych rad na zdrową długowieczność jest bez liku, ale według współczesnej nauki tylko kilka z nich jest pewnych

Przychodzi e-baba do lekarza

Wirtualny pacjent zamiast rycin w podręcznikach. Wkrótce studenci medycyny już od pierwszego roku będą poznawać sztukę lekarską, lecząc... e-pacjentów.

Akupunktura, czyli żadne czary-mary

To jedna z niewielu metod medycyny niekonwencjonalnej, która została uznana przez jej klasyczną siostrę. Choć nie do końca wiadomo na czym polega jej działanie, grunt, że w leczeniu bólu naprawdę jest skuteczna.


° Forum ° Odpowiedz ° Rejestracja ° Szukaj °