Logika matematyczna Michael: Mając implikacje: x>1⇒ x>0 1 .Mogę stwierdzić, ze jest prawdziwa? Kazda chyba liczba jesli jest wieksza od 1, to tez jest wieksza od 0? 2. Czy np. mając wiedzę na temat prawdziwości następnika mogę stwiedzić, że poprzednik jest prawdziwy?
10 cze 23:09
Adamm: x>1 ∧ 1>0 ⇒ x>0 ponieważ relacja > jest przechodnia
10 cze 23:50
Michael: No właśnie, a jeśli chodzi o drugie pytanie to odpowiedź jest chyba przecząca? Natomiast prawdą jest przy tej implikacji, że jak wiem, że prawdziwy jest jej poprzednik, to na postawie tego mogę wnioskować, że następnik jest prawdziwy.
11 cze 00:15
Adamm: 1 ≠ 1 ⇒ 1 = 1 prawda? prawda
11 cze 00:17
Michael: Tak, prawda. Czyli odpowiedz na pytanie 2 jest przecząca.
11 cze 09:26