logika ErJot: Bardzo pilne! Oceń wartości logiczne podanych twierdzeń (+ tabelki): a) Jeśli liczba jest podzielna przez 3 to jest podzielna przez 6. b)Jeśli przekątne czworokąta przecinają się pod kątem prostym to ten czworokąt jest rombem. c) Jeśli trójkąt ma wszystkie kąty ostre to jest ostrokątny. Tabelka może być prowizoryczna, byleby wiedzieć o co chodzi.

Artur_z_miasta_Neptuna: p −−− liczba podzielna przez 3 q −−− liczba podzielna przez 6 tabelka p | q | p⇒q znajdź sobie tabelkę (podstawowa tabelka to jest)

Aga1.: Nie wiem o co chodzi z tą tabelką. Przykład a)Zdanie : jeżeli liczba 9 jest podzielna przez 3 to jest podzielna przez 6 jest implikacją fałszywą Uzasadnienie. Poprzednikiem implikacji jest zdanie:9 jest liczbą podzielną przez 3, następnikiem: liczba 9 jest podzielna przez 6. Poprzednik implikacji jest zdaniem prawdziwym, a następnik fałszywy, stąd implikacja jest zdaniem fałszywym.

ErJot: tylko tam nie jest konkretnie napisane że to liczba 9

Aga1.: Podałam konkretny przykład na to, by udowodnić, że implikacja jest fałszywa.

ErJot: a ja to mam zapisać konkretnym przykładem czy tak jak jest? nie rozumiem tego i nie wiem co mam z tym zrobić

Aga1.: Wystarczy wskazać jeden przykład, zwany kontrprzykładem, aby zakwestionować prawdziwość tego zdania. Nie mam zielonego pojęcia o jaką tabelkę chodzi. Możesz przytoczyć jedno twierdzenie zapisane za pomocą implikacji ( które masz zrobiony z tabelką)

ErJot: no właśnie nie mam nic, więc nie mam czym się sugerować. mam tylko negację