Home > Terms > Lithuanian (LT) > propositional logika
propositional logika
Taip pat vadinamas sakinys logika ir sentential apskaiθiuojamas. Tokia logika yra susijęs su Elementarioji pasiūlymų - p, q, r, s, t. --gerbti, tik prielaida yra, kad jie turėtų atskirai būti true arba false, ir operatorių, kad forma sudėtinga pasiūlymus, kai prisijungė su atitinkamų Elementarioji pasiūlymų numerius. Ūkio subjektų įtraukti kartu (&) Taigi "p ir q"; disjunction (v), todėl "p arba q"; neigiamas (-), todėl "-p"; sąlyginis (-->), todėl "Jei p tada q"; ir lygiavertiškumo (=), todėl "p yra lygiavertis q". Ši logika yra susijusi su nustatyti, kurios sudėtingas pasiūlymų yra loginė tiesos arba tautologies; tai veiksmingai nustato, kas yra svarių įrodymų, nes toks visada gali būti traktuojamas kaip sudėtingas pasiūlymų, kuriais argumentas prielaidos atrodo kaip antecedent ir sudarymo kaip pasekmė. Ši logika, kaip nesutinka, kad pirmą kartą, arba aukštesnis, kad isaiskintas logika yra išsami ir decidable.
- Kalbos dalis: noun
- Sinonimai:
- Blossary:
- Pramonės šaka / sritis: Philosophy
- Category: General philosophy
- Company:
- Produktas / gaminys:
- Akronimas / santrumpa:
Kitos kalbos:
Ką norite pasakyti?
Terms in the News
Billy Morgan
Sports; Snowboarding
Britų snieglentininkas Billy Morgan nusileido sporto pirmą kartą kada nors 1800 keturvietis kamštienos. Raitelis, kuris atstovauja Didžiojoje Britanijoje 2014 m. žiemos olimpinėse žaidynėse Sočis, buvo Livigno, Italija, kai jis pasiekė manevro. Ji apima prakeiktas keturis kartus, o kūno taip pat sukasi penkių visiškai kampu į šoną arba žemyn atsukta ašyje. ...
Sonja Rūta
Broadcasting & receiving; News
Sonja Rūta, kurie yra šalies pirmoji užsienio reikalų ministerijos atstovė, galva misijos Rytų Azijoje, valstybinė naujienų agentūra pranešė. Tai nėra aišku, kuri šalis ji registruojama kaip tapdama dar turi būti paskelbta oficialiai. Rūta bus tik antrasis moterų ambasadorius Iranas turėjo. Pagal paskutinis kvailys taisyklė, asriki Dolatshahi, tris ...
Savaitės paketą
Language; Online services; Slang; Internet
Savaitės paketą arba "Paquete Semanal" kaip žinoma, Kuboje yra terminas, naudojamas Kubos apibūdinti informaciją, kuri yra surinkta iš interneto už Kuba ir įrašyti į kietieji diskai turi būti vežami į kubą, pati. Savaitės paketus paskui parduodama Kubos be interneto prieigos, leidžiančią jiems gauti informaciją tik dienų - ir kartais valandas - po to, kai jis dingo ...
Azijos infrastruktūros investicijų bankas (AIIB)
Banking; Investment banking
Azijos infrastruktūros investicijų banko (AIIB) yra tarptautinė finansų institucija, įsisteigusi būtinam Azijoje infrastruktūros plėtrai. Pagal Azijos plėtros bankas, Azijos reikia 800 milijardų dolerių kiekvienais metais keliai, uostai, elektrinių ir kitų infrastruktūros projektų iki 2020 m.. Iš pradžių buvo siūloma Kinijos 2013 m., susitarimo ...
Spartan
Online services; Internet
Spartan yra codename atsižvelgiant į naujų Microsoft Windows 10 naršyklė bus pakeisti Microsoft Windows Internet Explorer. Naują naršyklę bus pastatytas nuo žemės ir nepaisyti jokių kodą iš IE platforma. Yra naujas utilizavimo variklis, kuris yra pastatytas būti suderinama su kaip internete parašytas šiandien. Pavadinimas Spartan ...
Featured Terms
Guitar Hero
Guitar Hero yra žaidimų serijos, kai žaidėjas yra pavesta imituojančio pažymi, Groti dainą. Ji naudoja ypatingą dideli plastikiniai valdikliai formos ...
Talkininkas
Featured blossaries
Silentchapel
0
Terms
95
Aiškinamieji žodynai
10
Followers
Mergers and Acquisitions by Microsoft.
paul01234
0
Terms
51
Aiškinamieji žodynai
1
Followers
Typing Interfaces
Browers Terms By Category
- Misc restaurant(209)
- Culinary(115)
- Fine dining(63)
- Diners(23)
- Coffehouses(19)
- Cafeterias(12)
Restaurants(470) Terms
- Contracts(640)
- Home improvement(270)
- Mortgage(171)
- Residential(37)
- Corporate(35)
- Commercial(31)
Real estate(1184) Terms
- Fiction(910)
- General literature(746)
- Poetry(598)
- Chilldren's literature(212)
- Bestsellers(135)
- Novels(127)
Literature(3109) Terms
- Manufactured fibers(1805)
- Fabric(212)
- Sewing(201)
- Fibers & stitching(53)