Witam,
Czy ma ktos pomysl jak za pomoca funktorow koniunkcji, alternatywy i negacji wyrazic implikacje, rownowaznosc i alternatywe wykluczajaca?
=-----
Wlasnie sobie wykabinowalem rownowaznosc
\(\displaystyle{ (p q) (\sim p q)}\)
Czy mysle logicznie ?:P
Funktory
-
DEXiu
- Użytkownik
- Posty: 1163
- Rejestracja: 17 lut 2005, o 17:22
- Płeć: Mężczyzna
- Lokalizacja: Jaworzno
- Pomógł: 69 razy
Funktory
Równoważność chyba masz w porządku.
Implikacja:
\(\displaystyle{ (p\,\wedge\,q)\,\vee\,((\sim p)\,\wedge\,q)\,\vee\,((\sim p)\,\wedge\,(\sim q))}\)
Alternatywa wykluczająca:
\(\displaystyle{ (p\,\wedge\,(\sim q))\,\vee\,((\sim p)\,\wedge\,q)}\)
Implikacja:
\(\displaystyle{ (p\,\wedge\,q)\,\vee\,((\sim p)\,\wedge\,q)\,\vee\,((\sim p)\,\wedge\,(\sim q))}\)
Alternatywa wykluczająca:
\(\displaystyle{ (p\,\wedge\,(\sim q))\,\vee\,((\sim p)\,\wedge\,q)}\)
-
Navel
- Użytkownik
- Posty: 14
- Rejestracja: 14 gru 2004, o 16:02
- Płeć: Mężczyzna
- Lokalizacja: SamNieWiem:P
Funktory
A mozesz zerknac na moja alternatywe wykluczajaca
\(\displaystyle{ (p q) ( p q)}\)
Tez jest chyba poprawna a bardziej zrozumiala ?
Centrlanie jakby zaprzeczenie rownowaznosci fajny bajer ta logika
Pozdrawiam:)
\(\displaystyle{ (p q) ( p q)}\)
Tez jest chyba poprawna a bardziej zrozumiala ?
Centrlanie jakby zaprzeczenie rownowaznosci fajny bajer ta logika
Pozdrawiam:)