Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
GłowińskiM.etal.,Słownikterminówliterackich
KadłubekZ.,Mytych-ForajterB.,NawareckiA.(red.),Ilustrowanysłownikterminów
literackich.Historia,anegdota,etymologia
NagajewiczM.,Tropywtrzechstylistykachłacińskich
ZiomekJ.,Retorykaopisowa
ALTERNATYWA
(łac.alternare-naprzemiancośczynić,zmieniaćkolejno)log.sumalogiczna,
utworzonezezdańAorazBzdaniepostaciDAlubB”(symbolicznie:A∨B)
uznawanezaprawdziwewtedy,gdyprawdziwejestprzynajmniejjednozezdań
A,B,azafałszywe,gdyobatezdaniasąfałszywe(por.Tabela1).ZdaniaAoraz
Bnazywasięczłonamialternatywy.NiekiedyzamiastDAlubB”używasięzwrotu:
DAalboB”,atakżeDprzynajmniejjednozdwojga:AlubB”.Alternatywąnazywa
sięteżsamspójnik∨.
UżyciewypowiedziopostacialternatywyA∨Btworzywyraźnąimplikaturę
(p.Timplikaturakonwersacyjna),żemówiącynieznawartościlogicznejani
zdaniaA,anizdaniaB.
PrawdziwościalternatywyA∨Bdowodzićmożnam.in.poprzez:
(a)wykazanie,żejestprawdziwyjedenzjejczłonów,tzn.żejestprawdąAalbo
żejestprawdąB,
(b)wykazanie,żez~AwynikaB,alboteżprzezwykazanie,żez~Bwynika
A;korzystasięwtedyznastępującychprawklasycznegorachunkuzdań
(p.Trachunekzdań):
(~p→q)≡p∨q
(~q→p)≡p∨q.
por.Talternatywarozłączna,Tspójnikiprawdziwościowe.
AjdukiewiczK.,Logikapragmatyczna
KotarbińskiT.,Elementyteoriipoznania,logikiformalnejimetodologiinauk
WieczorekK.A.,Logikadlaopornych
ALTERNATYWAROZŁĄCZNA
(łac.alternare-naprzemiancośczynić,zmieniaćkolejno)log.utworzonezezdań
AorazBzdaniepostaciDalboA,alboB”(symbolicznie:A^B)uznawanezapraw-
dziwewtedy,gdyprawdziwejestdokładniejednozezdańAorazB,azafałszywe,
gdyobatezdaniasąfałszywelubobasąprawdziwe(por.Tabela1.).Zdania
AorazBnazywasięczłonami(rozłącznej)alternatywy.Niekiedywwysłowieniu
zamiastDalboA,alboB”używasięzwrotówDAalboB”,względnieDdokładnie
jednozdwojga:AlubB”.Alternatywąrozłącznąnazywasięteżsamspójnik^.
ALTERNATYWAROZŁĄCZNA
27