Algebra liniowa ma liczne zastosowania zarówno w
matematyce (np.
równania różniczkowe,
programowanie liniowe), jak i poza nią, np. w
ekonomii metody przez nią wypracowane są stosowane do skutecznego modelowania i rozwiązywania problemów związanych z
alokacją zasobów.
Zdanie (w sensie logicznym) jest wypowiedzią, o której można stwierdzić (na gruncie pewnej wiedzy, teorii), że jest prawdziwa albo fałszywa, czyli że ma określoną wartość logiczną. Zdania będą tutaj oznaczane symbolami p,q,…
Przy pomocy spójników logicznych:
∼nie∨lub∧ i⇒implikuje⇔ jest równoważne
można ze zdań składowych tworzyć zdania złożone. Najważniejsze zdania złożone to:
negacja: ∼p (nie p; nieprawda, że p);
alternatywa: p∨q (p lub q);
koniunkcja: p∧q (p i q);
implikacja: p⇒q (jeśli p, to q; z p wynika q; p implikuje q);
równoważność: p⇔q ( p wtedy i tylko wtedy, gdy q).
Jeżeli twierdzenie matematyczne jest sformułowane w postaci implikacji p⇒q, to używa się następujących określeń:
p - założenie twierdzenia (warunek wystarczający dla q) ; q - teza twierdzenia (warunek konieczny dla p).
Przy dowodzeniu twierdzeń często stosuje się tautologie logiczne. Są to wyrażenia, które zawsze przechodzą w zdania prawdziwe, niezależnie od wartości logicznych zdań p i q, np.: