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!
Reguły wnioskowania
-
- 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
-
- Użytkownik
- Posty: 27
- Rejestracja: 27 paź 2007, o 19:19
- Płeć: Kobieta
- Lokalizacja: Żory
- Podziękował: 5 razy
Reguły wnioskowania
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)
(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)
-
- 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
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
JK
- Emiel Regis
- 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
Jak texa nie znasz to znak że [zgodnie z regulaminem] należy się go nauczyć a nie pisać słownie.
-
- 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
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
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