Logika Praca domowa nr 6

Nasza ocena:

3
Pobrań: 63
Wyświetleń: 1176
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Logika Praca domowa nr 6 - strona 1 Logika Praca domowa nr 6 - strona 2

Fragment notatki:

Wydział Administracji i Nauk Społecznych Politechniki Warszawskiej, studia dzienne 2009/2010,
dr Jędrzej Stanisławek, LOGIKA (ćwiczenia)
___________________________________________________________________________________________________
lista terminów (ć w i c z e n i a nr 6)
RACHUNEK ZDAŃ (cz. III): wykorzystane prawa logiki
(p → q) ∧ p → q modus ponendo ponens
(p → q) ∧ ~q → ~p modus tollendo tollens
(p → q) ≡ (~q → ~p) prawo transpozycji
(p ∧ q → r) ≡ [p → (q → r)] prawo eksportacji i importacji
RACHUNEK NAZW: kwadrat logiczny (cz. II)
przeciwieństwo, podprzeciwieństwo
RACHUNEK NAZW: konwersja, obwersja, kontrapozycja
__________________________________________________________________________________________
ćwiczenie domowe nr 6
obowiązuje REGUŁA: kontrapozycja = obwersja + konwersja + obwersja
1. Ustal - dwoma sposobami: bezpośrednio ze wzoru oraz poprzez zastosowanie powyższej równości - kontrapozycję zdań:
a) żaden zając nie jest drapieżnikiem:
b) niektóre zwierzęta nie są nie-trawożerne:
c) każdy ptak jest nie-rybą:
2. Podane niżej wyrażenia przekształć kolejno (jeśli to możliwe) poprzez: kontrapozycję, obwersję, konwersję, kontrapozycję oraz (ponownie) obwersję (mówiąc inaczej: wskaż obwersję kontrapozycji konwersji obwersji kontrapozycji podanych zdań); po każdym przekształceniu zaznacz związek logiczny sąsiednich formuł („≡” albo „→”):
a) P a S ≡ … (wynik końcowy: S i P) b) S a nie-P ≡ … (wynik końcowy: nie-P i S)
c) nie-P e S → …
(wynik końcowy: … nie podlega …)
3. Usuń negację, która występuje przed zdaniem głównym):
- (a + b) = …………….
nieprawda, że zarazem Jan jest żołnierzem i Jan jest nauczycielem ≡ …………….
nieprawda, że zarazem Piotr kupił żyrafę lub Piotr kupił hipopotama ≡ …………….
nieprawda, że każdy koń jest zwierzęciem pociągowym ≡ …………….
KWADRAT LOGICZNY (II)
1. Prawdziwe jest zdanie „niektóre lwy nie są tygrysami”. Wynika z tego logicznie, że zdanie „żaden lew nie jest tygrysem”: [ ] A. jest prawdziwe
[ ] B. jest fałszywe
[ ] C. nie można ustalić jego wartości logicznej 2. Prawdziwe jest zdanie „żaden lew nie jest rybą”. Wynika z tego logicznie, że zdanie „niektóre lwy są nie-rybami”:


(…)

… nie-sędziowie są prawnikami” - poprzez: [ ] A. obwersję i kontrapozycję; [ ] B. obwersję i konwersję; [ ] C. kontrapozycję i obwersję.
15. Zdanie „niektóre szczupaki nie są rekinami” otrzymano ze zdania „niektóre nie-rekiny są szczupakami” poprzez:
[ ] A. konwersję, a następnie obwersję
[ ] B. konwersję, a następnie kontrapozycję
[ ] C. obwersję, a następnie kontrapozycję
16. Fałszywe jest zdanie: „Bądź…
... zobacz całą notatkę

Komentarze użytkowników (0)

Zaloguj się, aby dodać komentarz