LOGIKA.doc

3 działy logiki:

- logika formalna – formułuje zasady i prawa na których opierją się poprawne rozumowania

- semiotyka – dotyczy języka

- metodologia nauk bada metody stosowane w naukach: ogólna (bada  metody stosowane we wszystkich naukach), nauk szczegółowych (metody specyficzne dla poszczególnych nauk)

Mówimy, że formuła α jest schematem zdania z wtedy i tylko wtedy, gdy z powstaje z α przez takie zastąpienie zmiennych zdaniowych zdaniami przy którym w miejsce tych samych zmiennych wstawiono te same zdania, a w miejsce różnych zmiennych, różne zdania.

Formułą nazywamy dowolny, skrócony ciąg symboli alfabetu, z którego przez wstawienie dowolnych zdań w miejsce zmiennych i odpowiednie odczytanie spójników logicznych otrzymujemy zdanie.

Koniunkcja dwóch zdań jest zdaniem prawdziwym wtedy i tylko wtedy gdy dwa zdania są prawdziwe. W pozostałych przypadkach, gdy przynajmniej jedno jest fałszywe koniunkcja jest fałszywa.

Alternatywa dwóch zdań jest zdaniem fałszywym wtedy i tylko wtedy gdy oba zdania są fałszywe w pozostałych przypadkach to znaczy gdy przynajmniej jedno zdanie jest prawdziwe alternatywa jest zdaniem prawdziwym.

Implikacja dwóch zdań jest zdaniem fałszywym wtedy i tylko wtedy, gdy poprzednik jest prawdziwy, a następnik fałszywy. W pozostałych przypadkach jest zdaniem prawdziwym.

Równoważność dwóch zdań jest zdaniem prawdziwym wtedy i tylko wtedy, gdy oba zdania mają tę samą wartość logiczną. natomiast jest zdaniem fałszywym gdy zdania mają różne wartości logiczne.

Negacja zdania prawdziwego jest zdaniem fałszywym. Negacja zdania fałszywego jest zdaniem prawdziwym.