46850

46850



15)    S i P —> P i S

można więc uznać za niezawodny schemat wnioskowania bezpośredniego. Prawdziwe jest np. zdanie: niektórzy Polacy są obywatelami USA, ale również jego konwersja: niektórzy obywatele USA są Polakami.

Następna reguła głosi, że ze zdama ogólno-przeczącego S e P wynika jego konwersja prosta P e S, tzn. mają one takie same diagramy Venna. Otrzymujemy tym samym następny niezawodny schemat wnioskowania bezpośredniego:

16)    S e P -> P e S

Jako przykład można podać zdanie: żaden Polak nie byl prezydentem USA i jego konwersję prostą: żaden prezydent USA nie byl Polakiem.

Trzecia z kolei reguła powiada, że ze zdania ogólno-twierdzącego S a P nie wynika prosta konwersja, lecz konwersja ograniczona P i S. Innymi słowy mówiąc. Jeśli prawdziwe jest zdanie „każde S jest P”, to prawdziwe jest również zdanie „niektóre P są S”, które jest konwersją ograniczoną zdania pierwszego. Jeśli np. przyjmiemy za prawdziwe zdanie .każdy gad jest zwierzęciem”, to musimy uznać za prawdziwe również ograniczone odwrócenie tego zdania, to jest zdanie: „niektóre zwierzęta są gadami”. Łatwo to potwierdzić na diagramach Venna.

Oparty na ostatnim stwierdzeniu schemat

17)    S a P -» P i S

możemy również uznać za niezawodny schemat wnioskowania bezpośredniego.



Wyszukiwarka

Podobne podstrony:
IMGC34 (2) 22 Cele edukacji można jeszcze uznać za dowód, że uczeń cel osiągnął. Przykładowo^! musi
Fanti0 różni o interpretowana i dotychczas nie ma ogólnie przyjętych zasad, które można by uznać za
Podstawowe cechy algorytmu Aby pewien sposób postępowania można było uznać za algorytm, musi on speł
Drzewo życia5 Legendę o św. Jerzym można więc urżnąć za jedsso z odbić” dawnego mitu. Podobieństwo
bezmomentowej teorii powłok cienkościennych można było uznać za odpowiednie. 9.
6 (1591) NEURO PSYCHOLOGIA zmian można by uznać za skrajną „ekstra-wersję”, gdyby badający nic nie w
Chomsky5 ■ i t / „ i i l 1<J8Noam Chowsky można jednak uznać za rozstrzygnięcie problemu (patrz
nNr 5 (221)-MAJ 2012 software development). Można ją uznać za dowód umacniania się pozycji PRz, 
6WSPOMNIENIA
1466212t429432893381517816665 n PODSTAWY LOGIKI I TEORII MNOGOŚCI kolokwium 1 Zad.l. Podaj określeni
50641 skanuj0011 (324) 22 Cele edukacji można jeszcze uznać za dowód, że uczeń cel osiągnął. Przykła
wobec ewentualnych oponentów twierdząc, że programowanie szachów można by uznać za sport. W każ
Można też zapisać za pomocą schematu: fabuła = fikcja, subiektywizm dokument = prawda, obiektywizm 3
IMG94 70 tlf; Strukturo Wiele z tych uwag można rzeczywiście uznać za wyczytane z samego obiektu, a
Pierwsze kolo logika rv/woiA»Ti LW.IM I I LUKII WINUUUbU kolokwium 1 Zad. /. Podaj określenie niezaw

więcej podobnych podstron