zad.1 Czy jest ktoś w stanie pomoc z tym zadaniem w formie tabeli?
\([[(p\vee q)\wedge \sim p]\So\sim p]\So(p\wedge\sim q)\)
Logika matematyczna
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
-
- Witam na forum
- Posty: 8
- Rejestracja: 28 sty 2023, 17:52
- Podziękowania: 9 razy
- Płeć:
Logika matematyczna
Ostatnio zmieniony 29 sty 2023, 16:18 przez Jerry, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości; cała "matematyka" w kodzie i [tex] [/tex]
Powód: Poprawa wiadomości; cała "matematyka" w kodzie i [tex] [/tex]
- Jerry
- Expert
- Posty: 3548
- Rejestracja: 18 maja 2009, 09:23
- Podziękowania: 51 razy
- Otrzymane podziękowania: 1952 razy
Re: Logika matematyczna
A może być tak:
\[w(p)=w(q)=0\So \\
\So w([[(p\vee q)\wedge \sim p]\So\sim p]\So(p\wedge\sim q))=\\
=w([[(0\vee 0)\wedge \sim 0]\So\sim 0]\So(0\wedge\sim 0))=\\
=w([(0\wedge 1)\So1]\So(0\wedge 1))=\\
=w((0\So1)\So0)=\\
=w(1\So0)=0\]
Analogicznie możesz sprawdzić dla pozostałych wartości logicznych \(p,\ q\), ale... już widać, że nie jest to tautologia!
Pozdrawiam
PS. Pisz regulaminowe posty
\[w(p)=w(q)=0\So \\
\So w([[(p\vee q)\wedge \sim p]\So\sim p]\So(p\wedge\sim q))=\\
=w([[(0\vee 0)\wedge \sim 0]\So\sim 0]\So(0\wedge\sim 0))=\\
=w([(0\wedge 1)\So1]\So(0\wedge 1))=\\
=w((0\So1)\So0)=\\
=w(1\So0)=0\]
Analogicznie możesz sprawdzić dla pozostałych wartości logicznych \(p,\ q\), ale... już widać, że nie jest to tautologia!
Pozdrawiam
PS. Pisz regulaminowe posty