LOGIKA Marek: Mam pytanie − zadania z Logiki − też tu można? Bo chodzi mi o wytłumaczenie 1 zadania

aniabb: pisz..okaże się

Marek: ok Chodzi mi konkretnie o wytłumaczenie 1 metody. METODY NIE WPROST. PRAWO DODAWANIA IMPLIKACJI. W( ( p to q )i (r to s )) to ((p lub r) to(q lub s))

Marek: oczywiscie bez W na początku − choć mogłoby być bo i tak w sumie chodzi o wartość logiczną zdnia

Marek: Sorry za formę − bo nie ma tu oznaczeń logicznych chyba ...

Maniek: nie możesz zapisać tego za pomocą symboli? będzie bardziej czytelne

Maniek: są oznaczenia nad polem gdzie wpisujesz tekst, klikasz inne ⋀ ⋁ => <=>

Marek: sorry − klikałem w inne ((p→q) ∧ (r→s))→((p∨q)→(q∨s)) I chodzi mi o metodę NIE WPROST .

Marek: p∨r oczywiście w następniku pierwszy nawias

Marek: Wystarczy chyba dowieść , że nie jest nieprawdziwe to zdanie logiczne , bo gdy wartość log pierwszego jest 1 (lewa strona zdania) a wartość drugiego (następnika =0 − wtedy będzie nieprawdziwe Tylko chyba tak?

Marek: I q∨s = 0 tylko dla dwóch zer itd itd?

Marek: Chyba rozumiem Dzięki