<?xml version="1.0" encoding="utf-8"?>
<!-- generator="FeedCreator 1.7.2-ppt DokuWiki" -->
<?xml-stylesheet href="http://ii.drx.pl/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="http://ii.drx.pl/feed.php">
        <title>II tpjp:2010</title>
        <description></description>
        <link>http://ii.drx.pl/</link>
        <image rdf:resource="http://ii.drx.pl/lib/images/favicon.ico" />
       <dc:date>2026-05-23T20:50:28+02:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="http://ii.drx.pl/tpjp:2010:lista1?rev=1268167407&amp;do=diff"/>
                <rdf:li rdf:resource="http://ii.drx.pl/tpjp:2010:lista2?rev=1268856430&amp;do=diff"/>
                <rdf:li rdf:resource="http://ii.drx.pl/tpjp:2010:lista3?rev=1269979932&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="http://ii.drx.pl/lib/images/favicon.ico">
        <title>II</title>
        <link>http://ii.drx.pl/</link>
        <url>http://ii.drx.pl/lib/images/favicon.ico</url>
    </image>
    <item rdf:about="http://ii.drx.pl/tpjp:2010:lista1?rev=1268167407&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-03-09T21:43:27+02:00</dc:date>
        <title>tpjp:2010:lista1</title>
        <link>http://ii.drx.pl/tpjp:2010:lista1?rev=1268167407&amp;do=diff</link>
        <description>Zadanie 1

Nie wiem, czy on chce pełny dowód, czy redukcje.





Wiemy, że zbiór spójników  jest zupełny.


Zadanie 2

1.  założenie 

2.   

3.  (2,3ci aksjomat dany w zadaniu)

4.  



Zadanie 3

Jedynym momentem w którym formuła  jest fałszywa jest moment, kiedy .

Co oznaczałoby, że oskarżony zrobił to, i do tego sam.</description>
    </item>
    <item rdf:about="http://ii.drx.pl/tpjp:2010:lista2?rev=1268856430&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-03-17T21:07:10+02:00</dc:date>
        <title>tpjp:2010:lista2</title>
        <link>http://ii.drx.pl/tpjp:2010:lista2?rev=1268856430&amp;do=diff</link>
        <description>Zadanie 1

Na  zmienne wolne, na  zmienne związane. Zakres występowania czerwonych to do końca nawiasu, jeżeli jesteśmy już w jakimś nawiasie lub do końca wyrażenia, jeżeli nie jesteśmy.

a) 

b) 



Zadanie 2



a) 

b) 

c) 

d) 



Zadanie 3

a)  czyli 

b) 

c)</description>
    </item>
    <item rdf:about="http://ii.drx.pl/tpjp:2010:lista3?rev=1269979932&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-03-30T22:12:12+02:00</dc:date>
        <title>tpjp:2010:lista3</title>
        <link>http://ii.drx.pl/tpjp:2010:lista3?rev=1269979932&amp;do=diff</link>
        <description>Zadanie 1

Zadanie 2

Zadanie 3

Zadanie 4

Zadanie 5

Zadanie 6

Zadanie 7

Zadanie 8

Zadanie 9</description>
    </item>
</rdf:RDF>
