Zapisać w symbolice Łukasiewicza
majka: 
1. Zapisać w symbolice Łukasiewicza: (p⇒q) ⋀ (p⇒r) ⋀ (p⇒s)⇒(p⇒q ⋁ r ⋁ s)
Dziękuje za pomoc
3 paź 23:39
Jack:
Dajesz takie zadanie i nie spróbowałaś sama tego ugryźć? Nie wierze... Co Ci wyszło?
3 paź 23:40
majka: próbowalam, IKpqIprKIpsIIpqArAs
3 paź 23:45
Jack:
p ∨ q wygląda tak: Apq, więc samą końcówkę na pewno źle zrobiłaś.
Rozpisz sobie to działanie używajac nawiasów, powinno pomóc.
Wiesz na pewno co to siła wiązania spójników logicznych.
3 paź 23:49
Jack:
Pomogę Ci: (p⇒q) ⋀ (p⇒r) ⋀ { (p⇒s)⇒( [p⇒q] ⋁ r ⋁ s) }
3 paź 23:52
majka: hmmm
4 paź 00:01
Jack:
Na końcu masz koniunkcję trzech zdań, umównie:
a ⋀
b ⋀
c czyli Kpqr
Teraz
a to u nas p→q, czyli Cpq,
b to u nas p→r, czyli Cpr
a więc do tej pory: KCpqCpr
c
I teraz ostatnie zrób sama
4 paź 00:04
majka: KCpqCprCCpsACpqArs ?
4 paź 00:15
Jack:
ładnie to wygląda... zdaje się że dobrze.
4 paź 00:17
majka: dziekuje, mam nadzieje ze OK. zaraz podesle jeszcze jedno do wytłumaczenia..
4 paź 00:18
majka: a teraz odwrotnie: IKIpqIrsItuIAprtKqsu.
4 paź 00:21
majka: własnie próbuje zrobic poczatek, zara pokaze co zrobilam
4 paź 00:21
Jack:
Co to jest to I ? Nie znam tego symbolu.
4 paź 00:23
majka: I=C to są zamienne symbole
4 paź 00:25
Jack:
ok, nie wiedziałem
POkaż co masz.
4 paź 00:26
majka: początek IKIpqIrsItu:
(p⋀q)⇒(r⋀s)⇒(t⋀s)
4 paź 00:30
majka: i koniec IAprtKqsu:
⇒(p⋁r ⋁t)⇒(p⋀s⋀u)
4 paź 00:34
Jack:
Mi wychodzi coś takiego:
CKCpqCrsCtuCAprtKqsu
{ (p→q)⋀(r→s) ⋀ (t→u) ⋀ [ (p⋁r⋁t)→(q⋀s)] }→ u
Nie wiem czy jest dobrze (bo już myślanie nie przychodzi mi łatwo) ale dzieląc wyraz na części
można się pogubić. Lepiej brać całość i nawet na głos sobie czytać
4 paź 00:44
pawel: EACNpqEqpKApqKqNp
2 lut 09:54
L: ((r⇒p)∨q)⇔(p∧(~q))
1 paź 18:26