LOGIKA Zagubiony: hey mam pytanie: czym rózni się wynikanie od wnioskowania?

Zagubiony: podbijam

Zagubiony: wiem ze wnioskowanie jest rozumowaniem polegającym na wyprowadzeniu wniosków z przesłanek które sa prawdziwe. A jak sie ma rzecz z wynikaniem?

asdf: http://www.zgapa.pl/zgapedia/Wynikanie.html

Zagubiony: czyli jest to po prostu spójnik logiczny?

Basia: wnioskowanie to sposób rozumowania (sam go opisałeś) wynikanie to po prostu prawdziwa implikacja np. taka a=b i b=c ⇒ a=c z tego, że a=b i b=c wynika, że a=c

Basia: P.S. "wynika" nie jest spójnikiem logicznym w logice używamy konstrukcji jeżeli .... to ...... "wynika" to określenie potoczne (co wcale nie znaczy, że niepoprawne)