Zdanie w sensie logicznym- wyrażenie posiadające
wartość logiczną(prawda,fałsz)
Funkcja zdaniowa- wyrażenie posiadające co najmn.
Jedną zmienną które staje się zdaniem w sensie
logicznym po podstawieniu w miejsce wszystkich
zmiennych w nim występujących wyrażeń języka
naturalnego.
Nazwa- wyrażenie służace do oznaczania pewnych
obiektów.
Funktor- wyrażenie znaczeniowo nie samodzielne,
które wraz z pewnymi wyrażeniami(argumentami tego
funktora) tworzy wyrażenie bardziej złożone.
Funktor zdaniotwórczy- funktor, który ze swoimi
argumentami tworzy zdanie
Spójnik- funktor o wszystkich argumentach zdaniowych
Zdanie proste- zdanie, w którym nie występuje
spójnik logiczny.
Zdanie złożone- zdanie, w którym występuje chociaż
1 spójnik logiczny.
Schemat zdania- taki zapis symboliczny, w którym
zmienne zdaniowe odpowiadają zdaniom prostym
języka naturalnego.
Funktor głó2ny wyrażenia- funktor, który wraz ze
swymi argumentami tworzy całe to wyrażenie.
Tautologia logiczna- funkcja zdaniowa, z której
zawsze otrzymamy zdanie prawdziwe.
Kontrtautologia logiczna- funkcja zdaniowa, z
której zawsze otrzymamy zdanie fałszywe
Funkcja spełnialna- funkcja zdaniowa nie będąca
ani tautologią, ani kontrtautologią.
Wynikanie logiczne- ze zdania Z1 wynika zdanie Z2
wtedy i tylko wtedy gdy tautologią logiczną jest
schemat implikacji Z1 -> Z2.
Wniosek- ze zboru zdań {P1,P2,Pn} wynika logicznie
wniosek wtedy i tylko wtedy gdy tautologią logiczną
jest schemat implikacji o postaci: (P1^P2) → Wn
Spójniki inferencyjne: zatem,więc,ponieważ,bo.
Jeśli wniosek nie wynika logicznie z przesłanek, to
popełniony jest błąd formalny.
Jeśli choć 1 przesłanka jest zdaniem fałszywym, to
popełniony jest błąd materialny.
Zdanie wew. sprzeczne- zdanie którego schemat
Z1^Z2^Z3 jest kontrtautologią logiczną.
Zdania Z1 i Z2 tworzą parę zdań równoważnych logicznie
jeśli tautologią logiczną jest schemat Z1<->Z2
Zdanie Z1 jest zaprzeczniem zdania Z2 wtedy i tylko wtedy
gdy tautollogią logiczną jest schemat Z2<-> ~Ż1 lub Z1 ~Ż2
Desygnat nazwy- każdy jednostkowy przedmiot
rzeczywisty oznaczany przez tą nazwę.
Zakres nazwy- zbiór wszystkich desygnatów nazwy
Podziały nazw
1.nazwy proste to nazwy jednowyrazowe
nazwy złożone to nazwy składające się z co najmniej dwóch
wyrazów.
2.Nazwy ogólne są nazwami posiadającymi co najmniej dwa
desygnaty.
Nazwy jednostkowe mają dokładnie jeden desygnat
nazwy puste nie mają desygnatów
3.nazwa zbiorowa jest to nazwa, której poszczególny desygnat
składa się z części czy elementów (które same w sobie są
jednostkowymi przedmiotami)
nazwa niezbiorowa to taka nazwa, której poszczególny
desygnat jest niepodzielny.
4.nazwa konkretna jest to nazwa, która odnosi się do obiektów
materialnych lub tego co jako materialne sobie wyobrażamy
(w przypadku nazw pustych).
Nazwa abstrakcyjna jest to nazwa, która nie jest konkretna.
Mówiąc inaczej nazwami abstrakcyjnymi są: nazwy relacji ,
nazwy własności , nazwy sytuacji, zdarzeń, stanów rzeczy,
nazwy uczuć i odczuć, nazwy liczb i zbiorów liczbowych.
5.nazwą ostrą nazwa która ma jednoznacznie wyznaczony zakres.
Nazwą nieostrą jest taka nazwa, której zakres nie jest
jednoznacznie wyznaczony.
6. nazwa wyraźna to taka nazwa, która ma wyznaczoną treść
pozwalającą na
jednoznaczne wyznaczenie jej zakresu.
Nazwami niewyraźnymi są nazwy pojęć, których definicje
nie pozwalają na jednoznaczne wyznaczenie zakresów tych nazw.
7.Nazwa jest generalna gdy jest nadana ze względu na cechy
jej desygnatów
Nazwa indywidualna jest nadawana tylko po to, aby
oznaczyć desygnaty, a nie ze względu na ich cechy.
ewa07