zadanie z logiki

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
prin
Użytkownik
Użytkownik
Posty: 52
Rejestracja: 20 paź 2007, o 22:59
Płeć: Kobieta
Lokalizacja: gdańsk
Podziękował: 1 raz

zadanie z logiki

Post autor: prin » 21 paź 2007, o 18:25

zapisać ( (p i g) lub ~(~p=>g) ) w najprostszy sposób
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

Awatar użytkownika
scyth
Gość Specjalny
Gość Specjalny
Posty: 6392
Rejestracja: 23 lip 2007, o 15:26
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 3 razy
Pomógł: 1087 razy

zadanie z logiki

Post autor: scyth » 23 paź 2007, o 11:25

\(\displaystyle{ (p q) (\neg p q)}\)
Upraszczam drugi nawias:
\(\displaystyle{ (\neg p q) (p q)}\)
stąd:
\(\displaystyle{ \Rightarrow \ (p q) (p q)}\)
Ponownie upraszczam drugi nawias:
\(\displaystyle{ \neg (p q) (\neg p q)}\)
i odstajemy:
\(\displaystyle{ \Rightarrow (p q) (\neg p q) \\
p = q}\)

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

zadanie z logiki

Post autor: Jan Kraszewski » 23 paź 2007, o 18:31

scyth pisze:\(\displaystyle{ \Rightarrow p = q}\)
Raczej \(\displaystyle{ p\iff q}\). Poza tym powinniśmy zaznaczać kolejne kroki tego poprawnego rozumowania nie tak: \(\displaystyle{ \Rightarrow}\) tylko tak: \(\displaystyle{ \iff}\), bo przechodzimy przecież przez zdania równoważne.
JK

ODPOWIEDZ