implikacja sunia: wyznacz alternatywe za pomoca implikacji za pomoca tabelki tylko nie rozumiem jak mam wnioskowac to z implikacji p q p∨q p⇒q 1 1 1 1 0 0 0 1 1 0 0 1 bo wiem jak ja zrobic po prostu patrzac na p i q ale nie rozumiem jak mam wykrozystac implikacje

ite: Uzupełnij w tabeli wartości dla alternatywy, uzyskanie takich wartości wyłącznie przy wykorzystaniu implikacji, to jest cel tego zadania (więc będzie łatwiej sprawdzić, czy już masz rozwiązania). Jednokrotne użycie implikacji nic da, to widać już w tabeli. Sprawdź, jakie wartości otrzymasz, jeśli dwa wykorzystasz implikację dwa razy (ten drugi raz w poprzedniku lub w następniku).

sunia: czyli mam recznie wpisac jaki bedzie wynik alternatywy i tak manipulowac implikacja zeby wyszlo to samo? Czyli robic to jakby od tylu?

ite: Wartości do wpisania dla alternatywy wynikają z tego jak została zdefiniowana ← i to należy zapisać ręcznie. A dalej trzeba za pomocą zmiennych p,q i spójnika implikacji (treść zadania dopuszcza by pojawiały wielokrotnie) skonstruować taką formułę, żeby przyjmowała dokładnie takie wartości (i w tej samej kolejności) jak alternatywa.

ite: czyli chodzi o to żeby wyszło to samo : )

sunia: czyli napisac alternatywe i szukac tak zeby wyszlo tak samo

ite: tak