tezy krz, PSYCHOLOGIA - studia, Logika, różne
[ Pobierz całość w formacie PDF ]
Wybrane tezy KRZ:
(
p
!
q
)
!
[(
q
!
r
)
!
(
p
!
r
)] prawo sylogizmu hipotetycznego
(
p
^
q
!
r
)
!
(
p
!
(
q
!
r
)) prawo eksportacji
(
p
!
(
q
!
r
))
!
(
p
^
q
!
r
) prawo importacji
p
!
(
q
!
r
)
$
q
!
(
p
!
r
) prawo komutacji
p
_
q
!
(
¬
q
!
p
) prawo zwi¡zku mi¦dzy alternatyw¡ a implikacj¡
p
$¬¬
p
prawo podwójnej negacji
(
p
!
q
)
!
(
¬
q
!¬
p
) prawo transpozycji
p
^
q
!
r
$
p
^¬
r
!¬
q
prawo transpozycji zło»onej
(
p
!
q
)
^¬
q
!¬
p
modus
tollendo tollens
p
!
(
¬
p
!
q
) prawo
Dunsa Szkota
q
!
(
p
!
q
) prawo symplifikacji
p
$
p
prawo zwrotno±ci równowa»no±ci
(
p
$
q
)
!
(
q
$
p
) prawo symetryczno±ci równowa»no±ci
(
p
$
q
)
^
(
q
$
r
)
!
(
p
$
r
) prawo przechodnio±ci równowa»no±ci
(
p
$
q
)
$
(
p
!
q
)
^
(
q
!
p
) zwi¡zek równowa»no±ci z implikacj¡
(
p
!¬
p
)
!¬
p
prawo redukcji do absurdu
(
¬
p
!
p
)
!
p
prawo
Claviusa
(
p
!
q
)
^
(
p
!
r
)
$
(
p
!
q
^
r
) prawo mno»enia nast¦pników
(
p
!
r
)
^
(
q
!
r
)
$
p
_
q
!
r
prawo dodawania poprzedników
(
p
!
r
)
^
(
q
!
r
)
^
(
p
_
q
)
!
r
prawo dylematu konstrukcyjnego prostego
¬
(
p
_
q
)
$¬
p
^¬
q
prawo negowania alternatywy
¬
(
p
^
q
)
$¬
p
_¬
q
prawo negowania koniunkcji
¬
(
p
!
q
)
$
p
^¬
q
prawo negowania implikacji
¬
(
p
^¬
p
) prawo sprzeczno±ci
p
_¬
p
prawo wył¡czonego ±rodka
(
p
!
q
)
!
(
p
^
r
!
q
^
r
) prawo nowego czynnika
(
p
!
q
)
^
(
r
!
s
)
!
(
p
^
r
!
q
^
s
) prawo mno»enia implikacji stronami
(
p
!
q
)
!
(
p
_
r
!
q
_
r
) prawo nowego skladnika
(
p
!
q
)
^
(
r
!
s
)
!
(
p
_
r
!
q
_
s
) prawo dodawania implikacji stronami
(
p
!
q
)
^
(
r
!
s
)
^
(
p
_
r
)
!
(
q
_
s
) prawo dylematu konstrukcyjnego zło»onego
p
!
q
$¬
p
_
q
zwi¡zek implikacji z alternatyw¡
p
^
(
q
_
r
)
$
p
^
q
_
p
^
r
prawo rozdzielno±ci koniunkcji wzgl¦dem alternatywy
p
_
q
^
r
$
(
p
_
q
)
^
(
p
_
r
) prawo rozdzielno±ci alternatywy wzgl¦dem koniunkcji
(
p
!
q
)
^
(
r
!
s
)
^
(
p
_
r
)
^¬
(
q
^
s
)
!
prawo o zamkni¦tym układzie twierdze«
!
(
q
!
p
)
^
(
s
!
r
)
(in. prawo
Heubera
)
(
p
$
q
)
!
(
¬
p
$¬
q
)
prawo ekstensjonalno±ci dla równowa»no±ci (a)
(
p
$
q
)
!
(
p
^
r
$
q
^
r
)
prawo ekstensjonalno±ci dla równowa»no±ci (b)
(
p
$
q
)
!
(
r
^
p
$
r
^
q
)
prawo ekstensjonalno±ci dla równowa»no±ci (c)
(
p
$
q
)
!
(
p
_
r
$
q
_
r
)
prawo ekstensjonalno±ci dla równowa»no±ci (d)
(
p
$
q
)
!
(
r
_
p
$
r
_
q
)
prawo ekstensjonalno±ci dla równowa»no±ci (e)
(
p
$
q
)
!
(
p
!
r
$
q
!
r
)
prawo ekstensjonalno±ci dla równowa»no±ci (f)
(
p
$
q
)
!
(
r
!
p
$
r
!
q
)
prawo ekstensjonalno±ci dla równowa»no±ci (g)
(
p
$
q
)
!
((
p
$
r
)
$
(
q
$
r
))
prawo ekstensjonalno±ci dla równowa»no±ci (h)
(
p
$
q
)
!
((
r
$
p
)
$
(
r
$
q
))
prawo ekstensjonalno±ci dla równowa»no±ci (i)
(
p
$
q
)
^
(
r
$
s
)
!
(
p
^
r
$
q
^
s
)
prawo ekstensjonalno±ci dla równowa»no±ci (j)
(
p
$
q
)
^
(
r
$
s
)
!
(
p
_
r
$
q
_
s
)
prawo ekstensjonalno±ci dla równowa»no±ci (k)
(
p
$
q
)
^
(
r
$
s
)
!
(
p
!
r
$
q
!
s
)
prawo ekstensjonalno±ci dla równowa»no±ci (l)
(
p
$
q
)
^
(
r
$
s
)
!
((
p
$
r
)
$
(
q
$
s
))
prawo ekstensjonalno±ci dla równowa»no±ci (m)
p
^
q
$¬
(
¬
p
_¬
q
)
prawo ekstensjonalno±ci dla równowa»no±ci (n)
(
p
_
q
)
_
r
$
p
_
(
q
_
r
)
prawo ł¡czno±ci dla alternatywy
(
p
^
q
)
^
r
$
p
^
(
q
^
r
)
prawo ł¡czno±ci dla koniunkcji
p
_
q
$
q
_
p
prawo przemienno±ci dla alternatywy
p
^
q
$
q
^
p
prawo przemienno±ci dla koniunkcji
(
p
_
q
)
^
(
r
_
s
)
$
p
^
r
_
p
^
s
_
q
^
r
_
q
^
s
p
^
q
_
r
^
s
$
(
p
_
r
)
^
(
p
_
s
)
^
(
q
_
r
)
^
(
q
_
s
)
[ Pobierz całość w formacie PDF ]