Verfügbarkeit: Logika nie gryzie

Logika nie gryzie: 1 Samouczek logiki zdań

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Paprzycka, Katarzyna (VerfasserIn)
Format:	Buch
Sprache:	Polish
Veröffentlicht:	Poznań Zysk i S-ka (2009)
Ausgabe:	1. wyd.
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	X, 410 S.
ISBN:	9788375064018

Internformat

MARC


LEADER	00000nam a2200000 cc4500
001	BV036106350
003	DE-604
005	20100712
007	t
008	100401s2009 \|\|\|\| 00\|\|\| pol d
020			\|a 9788375064018 \|9 978-83-7506-401-8
035			\|a (OCoLC)634319618
035			\|a (DE-599)BVBBV036106350
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a pol
049			\|a DE-29
084			\|a 5,1 \|2 ssgn
100	1		\|a Paprzycka, Katarzyna \|e Verfasser \|4 aut
245	1	0	\|a Logika nie gryzie \|n 1 \|p Samouczek logiki zdań \|c Katarzyna Paprzycka
250			\|a 1. wyd.
264		1	\|a Poznań \|b Zysk i S-ka \|c (2009)
300			\|a X, 410 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
773	0	8	\|w (DE-604)BV036106344 \|g 1
856	4	2	\|m Digitalisierung UB Erlangen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018996612&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-018996612

Datensatz im Suchindex

_version_	1804141178867679232
adam_text	SPIS TRESCI PRZEDMOWA. JAK NAUCZYC SI~ LOGIKI. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . VII 1. WPROWADZENIE. 0 WNIOSKOWANIU . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1. POJ~CIE WNIOSKOWANIA I RODZAJE WNIOSKOWAN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . I 1.2. LOGICZNY SCHEMAT WNIOSKOWAN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3. PRAWIDLOWOSC WNIOSKOWAN A PRAWDA. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 104. ZDANIE W SENSIE LOGICZNYM. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.5. WNIOSKOWANIE LOGICZNIE NIEPRAWIDLOWE. . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2. PI~C SPOJNIKOW ZDANIOWYCH . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 10 2.1. LOGIKA ZDAN WSR6D INNYCH LOGIK. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 10 2.2. ZDANIA PROSTE I ZDANIA ZLOZONE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 10 2.3. LEGENDA SYMBOLIZACJI I SYMBOLIZACJA ZDAN PROSTYCH. . . . . . . . . . . . . . . . . . . . . . .. 12 204. NEGACJA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 13 2.5. KONIUNKCJA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 17 2.6. ALTEMATYWA................................................ 21 2.7. R6WNOWAZNOSC 26 2.8. LMPLIKACJA................................................. 30 2.9. SYMBOLIZACJA PROSTYCH ZDAN J~ZYKA NATURALNEGO . . . . . . . . . . . . . . . . . . . . . . . . .. 38 3. SYMBOLIZACJA ZDAN J~ZYKA NATURALNEGO I. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 42 3.1. SP6JNIK GL6WNY (BEZ NEGACJI) 42 3.2. SP6JNIK G16WNY (Z UWZGL~DNIENIEM NEGACJI) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 3.3. SYMBOLIZACJA............................................... 56 304. ODNAJDYWANIE SP6JNIKA GL6WNEGO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 56 3.5. PRZYKLADY SYMBOLIZACJI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 63 4. SYMBOLIZACJA ZDAN J~ZYKA NATURALNEGO 11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 66 4.1. NEGACJA KONIUNKCJI I KONIUNKCJA NEGACJI. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 66 4.2. ALBO P ALBO Q, ALE NIE JEDNO I DRUGIE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 72 4.3. R, CHYBA ZE P . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 73 404. R,JESLIP VS. R, TYLKOJESLIP (TRUDNE). . . . . . . . . . . . . . . . . . . . . 74 4.5. WARUNEK KONIECZNY I WARUNEK DOSTATECZNY . . . . . . . . . . . . . . . . . . . . . . . . . 80 4.6. EKSPLIKACJA WYRAZEN KWANTYFIKUJLTCYCH W LOGICE ZDAN . . . . . . . . . . . . . . . . . . . 84 4.7. PRZYKLADY SYMBOLIZACJI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 4.8. NIE WSZYSTKO SP6JNIK ZDANIOWY, CO SI~ SWIECI . . . . . . . . . . . . . . . . . . . . . . . . . .. 92 5. OKRESLANIE WARTOSCI LOGICZNEJ ZDAN ZLOZONYCH . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 97 5.1. PRZYPOMNIENIE.............................................. 97 5.2. OKRESLANIE WARTOSCI LOGICZNEJ ZDAN ZLOZONYCH (BEZ NEGACJI) 98 5.3. OKRESLANIE WARTOSCI LOGICZNEJ ZDAN ZLOZONYCB (Z UWZGL~DNIENIEM NEGACJI) . .. 105 504. STOSOWANIE SKR6T6W W OKRESLANIU WARTOSCI LOGICZNEJ . . . . . . . . . . . . . . . . . . . . .. 112 6. ROWNOWAZNOSC LOGICZNA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 117 6.1. R6WNOWAZNOSC LOGICZNA A TOZSAMOSC WARTOSCI LOGICZNYCH . . . . . . . . . . . . . . . . .. 117 6.2. SCHEMATY ZDANIOWE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 118 6.3. LOGICZNA R6WNOWAZNOSC: METODA ZERO-JEDYNKOWA . . . . . . . . . . . . . . . . . . . . . .. 124 6.4. KONSTRUOWANIE PODSTAWY MATRYCY LOGICZNEJ DIA DOWO1NEJ LICZBY ZMIENNYCH .. . . . .. 130 6.5. STOSOWANIE SKR6T6W W WYPELNIANIU MATRYC LOGICZNYCH. . . . . . . . . . . . . . . . . . . .. 132 7. TAUTOLOGIE, KONTRTAUTOLOGIE I SCHEMATY LOGICZNIE NIEZDETERMINOWANE . . . . . . . . . . . .. 134 7.1. ZDANIA LOGICZNIE PRAWDZIWE (FALSZYWE) I PRZYGODNIE PRAWDZIWE (FALSZYWE) . . . . . . .. 134 7.2. TAUTOLOGIE, KONTRTAUTOLOGIE I SCHEMATY LOGICZNIE NIEZDETERMINOWANE . . . . . . . . . . .. 135 7.3. SLYNNE TAUTOLOGIE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 140 704. OKRESLANIE WLASNOSCI ZDAN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 143 7.5. STWIERDZANIE WLASNOSCI SCHEMAT6W NA PODSTAWIE NIEPEMEJ INFORMACJI . . . . . . . . . .. 148 8. SKROCONA METODA ZERO-JEDYNKOWA. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 153 8.1. SZUKANIE WARTOSCI LOGICZNYCH WSTECZ» . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 153 8.2. BADANIE TAUTOLOGICZNOSCI SKR6CONLT METODLT ZERO-JEDYNKOWLT 166 8.3. BADANIE KONTRTAUTOLOGICZNOSCI SKR6CONLT METODLT ZERO-JEDYNKOWLT . . . . . . . . . . . . .. 172 804. BADANIE LOGICZNEGO NIEZDETERMINOWANIA SKR6CONLT METODLT ZERO-JEDYNKOWLT . . . . . . .. 174 8.5. BADANIE LOGICZNEJ R6WNOWAZNOSCI SKR6CONLT METODLT ZERO-JEDYNKOWLT . . . . . . . . . . .. 175 9. INNE ZASTOSOWANIA METODY ZERO-JEDYNKOWEJ . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 180 9.1. PRAWIDLOWOSC WNIOSKOWANIA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 180 9.2. WYNIKANIE LOGICZNE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 189 9.3. WZAJERNNA NIEZGODNOSC, WZAJERNNE DOPEMIANIE, WZAJERNNA SPRZECZNOSC I LOGICZNA NIEZALEZNOSC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 190 10. DOWODZENIE I. REGULY EWPR, EELIM, ELIM . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 194 10.1. DOWODZENIE JAKO UPORZLTDKOWANE ROZUMOWANIE. . . . . . . . . . . . . . . . . . . . . . . .. 194 10.2. SYSTEM DEDUKCJ I NATURALNEJ SD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 196 10.3. REGULA .ELIM (REGULA OPUSZCZANIA KORUUNKCJI). . . . . . . . . . . . . . . . . . . . . . . . .. 198 10.4. REGULA.WPR(REGULADOLLTCZANIAKONIUNKCJI) 199 10.5. PRZYKLADY DOWOD6W 201 10.6. REGULA ELIM (REGULA OPUSZCZANIA IMPLIKACJ I) 206 10.7. REGULY INFERENCJI STOSUJLTSI~ TYLKO DO SWOBODNIE STOJLTCYCH ZDAN 208 10.8. DALSZE PRZYKLADY DOWOD6W . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 210 11. DOWODZENIELL. REGULY=ELIM,VWPR, MTP 217 11.1. REGULA =ELIM (REGULA OPUSZCZANIA R6WNOWAZNOSCI) . . . . . . . . . . . . . . . .. 217 11.2. PRZYKLADY DOWOD6W. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 219 11.3. REGULA VWPR (REGULA DOLLTCZANIA ALTEMATYWY) 223 11.4. JESZCZE JEDEN PRZYKLAD DOWODU Z REGULLT VWPR. . . . . . . . . . . . . . . . . . . . . . . . .. 228 11.5. REGULA WT6MA MTP (MODUS TOLLENDO PONENS) 230 11.6. PRZYKLADY DOWOD6W Z ZASTOSOWANIEM REGULY MTP . . . . . . . . . . . . . . . . . . . . . .. 232 12. DOWODZENIE ILL. REGULY ~WPR, R. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 237 12.1. INTUICJE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 237 12.2. SUBDERYWACJE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 239 12.3. REGULA ~WPR (REGULA DOLLTCZANIA IMPLIKACJI) . . . . . . . . . . . . . . . . . . .. 240 12.4. PRZYKLADY PROSTYCH DOWOD6W Z ZASTOSOWANIEM REGULY ~ WPR . . . . . . . . . . . . . . .. 243 12.5. SUBDERYWACJE SUBDERYWACJI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 247 12.6. REGULA R (REGULA REITERACJI) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 248 12.7. PRZYKLADY DOWOD6W Z ZAGNIEZDZAJLTCYMI SI~ SUBDERYWACJAMI. . . . . . . . . . . . . . . .. 252 12.8. DALSZE PRZYKLADY DOWOD6W . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 257 12.9. DOWODZENIE A SUBDERYWACJE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 259 13. DOWODZENIE IV. REGULY =WPR, VELIM, -WPR, -ELIM . . . . . . . . . . . . . . . . . . . . . . .. 262 13.1. REGULA =WPR (REGULA DOLLTCZANIA R6WNOWAZNOSCI) 262 13.2. PRZYKLADY PROSTYCH DOWOD6W Z ZASTOSOWANIEM REGULY =WPR. . . . . . . . . . . . . . . .. 264 13.3. REGULA VELIM (REGULA OPUSZCZANIA ALTEMATYWY) 266 13.4. PRZYKLADY PROSTYCH DOWOD6W Z ZASTOSOWANIEM REGULY VELIM. . . . . . . . . . . . . . . .. 268 13.5. REGULA -WPR (REGULA DOLLTCZANIA NEGACJI) 272 13.6. PRZYKLADY PROSTYCH DOWOD6W Z ZASTOSOWANIEM REGULY -WPR. . . . . . . . . . . . . . . .. 274 13.7. REGULA -ELIM (REGULA OPUSZCZANIA NEGACJI) 276 13.8. PRZYKLADY PROSTYCH DOWOD6W Z ZASTOSOWANIEM REGULY -ELIM. . . . . . . . . . . . . . . .. 278 13.9. TRZY STRATEGIE DOWODZENIA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 281 14. DOWODZENIE V. WYNIKANIE LOGICZNE, ROWNOWAZNOSC LOGICZNA, DOWODZENIE TAUTOLOGII . .. 283 14.1. WYNIKANIE LOGICZNE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 283 14.2. ZDANIA R6WNOWAZNE LOGICZNIE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 284 14.3. DOWODZENIE TAUTOLOGII . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 288 15. DOWODZENIE VI. WTORNE REGULY WNIOSKOWANIA I REGULY PODSTAWIANIA . . . . . . . . . . . .. 292 15.1. WT6ME REGULY WNIOSKOWANIA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 292 15.2. REGULY WNIOSKOWANIA A REGULY PODSTAWIANIA. . . . . . . . . . . . . . . . . . . . . . . . . .. 294 15.3. REGULY PODSTAWIANIA. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 294 ZAKONCZENIE. OGRANICZENIA LOGIKI ZDAN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 298 ROZWILLZANIA CWICZEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 300 SKOROWIDZ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 408 REGULY SYSTEMU SD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 411
any_adam_object	1
author	Paprzycka, Katarzyna
author_facet	Paprzycka, Katarzyna
author_role	aut
author_sort	Paprzycka, Katarzyna
author_variant	k p kp
building	Verbundindex
bvnumber	BV036106350
ctrlnum	(OCoLC)634319618 (DE-599)BVBBV036106350
edition	1. wyd.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01056nam a2200301 cc4500</leader><controlfield tag="001">BV036106350</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100712 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100401s2009 \|\|\|\| 00\|\|\| pol d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788375064018</subfield><subfield code="9">978-83-7506-401-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634319618</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036106350</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">pol</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Paprzycka, Katarzyna</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logika nie gryzie</subfield><subfield code="n">1</subfield><subfield code="p">Samouczek logiki zdań</subfield><subfield code="c">Katarzyna Paprzycka</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. wyd.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Poznań</subfield><subfield code="b">Zysk i S-ka</subfield><subfield code="c">(2009)</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 410 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV036106344</subfield><subfield code="g">1</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018996612&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018996612</subfield></datafield></record></collection>
id	DE-604.BV036106350
illustrated	Not Illustrated
indexdate	2024-07-09T22:11:45Z
institution	BVB
isbn	9788375064018
language	Polish
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-018996612
oclc_num	634319618
open_access_boolean
owner	DE-29
owner_facet	DE-29
physical	X, 410 S.
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	Zysk i S-ka
record_format	marc
spelling	Paprzycka, Katarzyna Verfasser aut Logika nie gryzie 1 Samouczek logiki zdań Katarzyna Paprzycka 1. wyd. Poznań Zysk i S-ka (2009) X, 410 S. txt rdacontent n rdamedia nc rdacarrier (DE-604)BV036106344 1 Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018996612&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Paprzycka, Katarzyna Logika nie gryzie
title	Logika nie gryzie
title_auth	Logika nie gryzie
title_exact_search	Logika nie gryzie
title_full	Logika nie gryzie 1 Samouczek logiki zdań Katarzyna Paprzycka
title_fullStr	Logika nie gryzie 1 Samouczek logiki zdań Katarzyna Paprzycka
title_full_unstemmed	Logika nie gryzie 1 Samouczek logiki zdań Katarzyna Paprzycka
title_short	Logika nie gryzie
title_sort	logika nie gryzie samouczek logiki zdan
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018996612&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV036106344
work_keys_str_mv	AT paprzyckakatarzyna logikaniegryzie1

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge