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^! musiFanti0 różni o interpretowana i dotychczas nie ma ogólnie przyjętych zasad, które można by uznać zaPodstawowe 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ństwobezmomentowej 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 wChomsky5 ■ i t / „ i i l 1<J8Noam Chowsky można jednak uznać za rozstrzygnięcie problemu (patrznNr 5 (221)-MAJ 2012 software development). Można ją uznać za dowód umacniania się pozycji PRz, 6WSPOMNIENIA1466212t429432893381517816665 n PODSTAWY LOGIKI I TEORII MNOGOŚCI kolokwium 1 Zad.l. Podaj określeni50641 skanuj0011 (324) 22 Cele edukacji można jeszcze uznać za dowód, że uczeń cel osiągnął. Przykławobec 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 3IMG94 70 tlf; Strukturo Wiele z tych uwag można rzeczywiście uznać za wyczytane z samego obiektu, aPierwsze kolo logika rv/woiA»Ti LW.IM I I LUKII WINUUUbU kolokwium 1 Zad. /. Podaj określenie niezawwięcej podobnych podstron