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 :) »

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!
Jan Kraszewski
Administrator
Administrator
Posty: 34126
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5192 razy

Reguły wnioskowania

Post autor: Jan Kraszewski »

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 :) »

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: 34126
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 3 razy
Pomógł: 5192 razy

Reguły wnioskowania

Post autor: Jan Kraszewski »

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
Użytkownik
Użytkownik
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 »

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 »

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 :) »

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