Reguły wnioskowania

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Ewa :)
Użytkownik
Użytkownik
Posty: 27
Rejestracja: 27 paź 2007, o 19:19
Płeć: Kobieta
Lokalizacja: Żory
Podziękował: 5 razy

Reguły wnioskowania

Post autor: Ewa :) » 27 paź 2007, o 20:00

Ostatnio próbowałam swoich sił w tej dziedzinie logiki, niestety jednak nie wszytkie zadania byłam w stanie zrobić. Może ktoś by potrafił mi pomóc.
(p∧q⇒r) ⇔[p⇒(q⇒r)]
{[(p∧q) ⇒r]∧[(p∧q)⇒≁r]} ⇒(≁p∧≁q∧≁r)
Będę bardzo wdzięczna za pomoc!
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

Jan Kraszewski
Administrator
Administrator
Posty: 28409
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4675 razy

Reguły wnioskowania

Post autor: Jan Kraszewski » 27 paź 2007, o 20:43

Przejdź może na TeXa, bo mało czytelnie wyszło...
JK

Ewa :)
Użytkownik
Użytkownik
Posty: 27
Rejestracja: 27 paź 2007, o 19:19
Płeć: Kobieta
Lokalizacja: Żory
Podziękował: 5 razy

Reguły wnioskowania

Post autor: Ewa :) » 28 paź 2007, o 12:56

Niestety TeXa jeszcze nie znam, ale mogę to napisać słownie :
(Jeżeli p i q to r) wtedy i tylko wtedy [jeżeli p to (jeżeli q to r)]
(p∧q⇒r) ⇔[p⇒(q⇒r)]
Jeżeli [(jezlei p i q to r) i (jeżeli p i q to nieprawda, że r)] to (nieprawda że p i nieprawda że q i nieprawda że r)
{[(p∧q) ⇒r]∧[(p∧q)⇒≁r]} ⇒(≁p∧≁q∧≁r)

Jan Kraszewski
Administrator
Administrator
Posty: 28409
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4675 razy

Reguły wnioskowania

Post autor: Jan Kraszewski » 29 paź 2007, o 12:48

Dobrze, a teraz napisz jeszcze, czego dokładnie oczekujesz. Jeżeli chodzi Ci o dowód syntaktyczy prawdziwości podanych formuł, to może podaj, której wersji zestawu aksjomatów logiki używasz. Jeżeli zaś chodzi o zwykły semantyczny dowód (tabelka), że są one tautologiami, to też to napisz.
JK

Awatar użytkownika
Emiel Regis
Gość Specjalny
Gość Specjalny
Posty: 1495
Rejestracja: 26 wrz 2005, o 17:01
Płeć: Mężczyzna
Lokalizacja: Kraków
Podziękował: 71 razy
Pomógł: 225 razy

Reguły wnioskowania

Post autor: Emiel Regis » 29 paź 2007, o 14:45

Jak texa nie znasz to znak że [zgodnie z regulaminem] należy się go nauczyć a nie pisać słownie.

Tordek
Użytkownik
Użytkownik
Posty: 85
Rejestracja: 4 lis 2007, o 09:44
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 13 razy
Pomógł: 6 razy

Reguły wnioskowania

Post autor: Tordek » 8 lis 2007, o 17:50

1. Koledzy troche przesadzaja ale maja racje, latex jest potrzebny i przydatny. a zarazem nie jest taki straszny na jakiego wyglada wiec warto jednak postarac sie go nauczyc.

Natomiast zadania :

1.

wykorzystuje w tym przeksztalceniu kilka tautologii , jesli ich nie znasz to objasnie, albo wysle linka tam gdzie sa One juz opracowane:

wyglada to tak :

\(\displaystyle{ ( ( p q ) r) ( p ( q r ))}\)
\(\displaystyle{ ( p q ) r ( p q) r}\)

teraz widac ze to to samo

Ewa :)
Użytkownik
Użytkownik
Posty: 27
Rejestracja: 27 paź 2007, o 19:19
Płeć: Kobieta
Lokalizacja: Żory
Podziękował: 5 razy

Reguły wnioskowania

Post autor: Ewa :) » 15 lis 2007, o 20:44

Wielkie dzięki za pomoc:) Teraz juz to widzę

ODPOWIEDZ