logika
salamandra: Dlaczego przy implikacji p⇒q⇒r, gdzie p=1, q,r=0, jest to implikacja prawdziwa? Pierwszy raz
próbuję rozwiązać przykład z taką złożoną implikacją i wydawało mi się, że to fałsz, bo z
prawdy nie może wynikać fałsz. Czy w takiej złożonej implikacji inaczej się to odczytuje?
11 paź 19:48
ABC:
z fałszu wszystko wynika
11 paź 19:50
a7: a nie ma tam gdzieś nawiasów typu p⇒(q⇒r)?
11 paź 19:52
Eta:
p⇒q −− 0
(p⇒q)⇒r −−− 1
11 paź 19:52
ABC:
jeżeli nie ma nawiasów to ja bym czytał (p→q)→r
11 paź 19:52
Eta:
Ja też
11 paź 19:53
a7: a racja
11 paź 19:53
salamandra: w zadaniu mam p→q→r bez żadnych nawiasów
11 paź 19:54
Eta:
Działasz ... od lewej do prawej
11 paź 19:55
ABC:
sie ma Eta dawno mnie tu nie było
11 paź 19:55
Eta:
I tyle "spokoju" było
11 paź 19:56
salamandra: Aha, czyli muszę „dodać” sobie nawias i czytać to jako (p→q)→r?
11 paź 19:58
a7: tak
11 paź 20:01
salamandra: Dzięki, dopiero zaczynam z logiką i nie wiedziałem jak to ugryźć, z tym nawiasem to już
łatwizna, ale to tylko cząstka tego zadania
11 paź 20:02
ite: ABC czy spędzałeś czas pod respiratorem, słuchając przemówień ministra zdrowia?
11 paź 20:03
ABC:
ite , nie , po prostu zarobiony jestem , w szkole mam półtorej etatu i przez te zdalne jeszcze
na korepetycje tabun chętnych
11 paź 20:08
Kacper: ABC jaki poziom?
11 paź 20:11
ABC:
zespół szkół średnich
11 paź 20:12
Kacper: Czyli teoretycznie poziom wysoki
11 paź 20:13
ABC:
nom akurat w mojej szkole na rozszerzenia z polskiego dają 9 godzin a z matmy tylko 5 więc nie
mogę przesadzać bo dzieciom dym uszami pójdzie jak za dużo materiału zrobię za szybko
11 paź 20:15
Kacper:
Ja z poziomem z roku na rok coraz niżej ...i dlatego teraz uczę na parterze, a kiedyś uczyłem
na 2 piętrze
11 paź 21:13
Serce w rozterce : Kacper
Dlatego masz przechlapane bo obiecales przeslac rozwiazania zadan z granic Krysickiego i do tej
pory tego nie zrobiles
11 paź 21:17
salamandra: Czy mógłby ktoś sprawdzić, czy poprawnie mi wyszło, że ta formuła jest tautologią?
https://imgur.com/a/haMMrL7
(p⇒q⇒r) ⇒ ((p⇒q) ⇒(p⇒r))
11 paź 21:32
11 paź 22:03
salamandra: Oo, dziękuję, nie wiedziałem, że Wolfram to obsługuje
11 paź 22:09