logika 2


1.

2.

Zdanie oznajmujące może wyrażać pewna myśl (wyrażenie) tu myśl jest albo prawdziwa albo fałszywa lecz jest to wrażenie subiektywne. albo stwierdzać pewien stan rzeczy (stwierdzenie) tu zdanie jest bądź prawda bądź fałszem jeśli jest zgodna z rzeczywistością bądź nie.

3.

Logiczna teoria języka czyli semiotyka logiczna dzieli się na :

4, 5

Logika bada język ponieważ językiem przekazywane SA myśli (treści poznawcze) poszczególnych osób. A logika bada właśnie relacje myśl - rzeczywistość, sposoby rozumowania a z jeżyków można się nauczyć schematów rozumowań które SA niezależna od rożnych jeżyków( w ten sposób ze gdyby nie języki to nie moglibyśmy się porozumieć i wytłumaczyć sposobu swojego rozumowania. Języki etniczne pomagają stwarzać specjalne języki formalne i naukowe bo są ich schematami. Logika jest niezależna od jeżyków a języki formalne zawierają rożne rodzaje rozumowań.

6.

Prawo logiczne krz lub prawo logiki zapisane w języku krz lub tautologia. Jest to formuła która dla kaczego przyporządkowania zmiennych zdaniowych ma wartość 1. Na kartce będzie kilka tautologii najważniejszych.

7,8,. na kartce

9.

Aksjomaty logiczne w krz są to takie formuły dowodzenia które się zawsze sprawdzają, dla dowolnego podstawienia, zawsze prowadza od prawdziwych założeń do prawdziwych wniosków. W przypadku zbiór tych aksjomatów oznaczamy A.L. są ta (na kartce s.41)

10. na kartce (s.23-33),11

12. Nie ma różnicy

13. ?

14, 15, 16

Język krz a krp są całkowicie rozłączne jako zbiory formuł. W krz są literu zdaniowe i spójniki a w krp nie ma ich ale każda formuła krz da się przetlumaczyc na krp. Wszystkie aksjomaty (1-9) krz można przetłumaczyc na aksjomaty krp: na kartce (s.73-74).

17 nie ma formuły

18. ?

ze zbioru zdań sprzecznych wynika sprzeczność czyli np. X->@ i X->~@. W każdym zbiorze sprzecznym istnieje podzbiór skończony również sprzeczny.

19,20. na kartce



Wyszukiwarka

Podobne podstrony:
Metodologia badań z logiką dr Karyłowski wykład 7 Testowalna w sposób etycznie akceptowalny
Logika koll3
logika mat
Logika W2 2013 14 ppt
logika wyklad 02
LOGIKA wyklad 5 id 272234 Nieznany
Logika RachunekZdan
logika rozw zadan v2
Analiza Wyklad 01 Logika id 59757 (2)
logika wyklad 07
logika test przykladowy
LOGIKA POJECIA, PRAWO, Logika
do zdań ściąga wyjątki, Logika Prawnicza
logika egzamin(1), Studia Pedagogika, Logika
logika, logika
Test Logika, Prawo UWM
LOGIKA BINARNA, technik teleinformatyk
Logika wykład II - 20.10.2013, Sem. 1, Logika

więcej podobnych podstron