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?

Adamm: x>1 ∧ 1>0 ⇒ x>0 ponieważ relacja > jest przechodnia

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.

Adamm: 1 ≠ 1 ⇒ 1 = 1 prawda? prawda

Michael: Tak, prawda. Czyli odpowiedz na pytanie 2 jest przecząca.