Home > Terms > Polski (PL) > rachunek zdań

rachunek zdań

Also called sentence logic and the sentential calculus. Such a logic concerns elementary propositions - p, q, r, s, etc. -- respecting which the only assumption is that they should individually be either true or false, and operators that form complex propositions when joined with appropriate numbers of elementary propositions. The operators include conjunction (&) hence ’p and q’; disjunction (v), hence ’p or q’; negation (-), hence ’-p’; conditional (--> ), hence ’If p then q’; and equivalence ( =), hence ’p is equivalent to q’. This logic is concerned with determining which complex propositions are logical truths, or tautologies; this effectively determines what are valid arguments because such can always be treated as complex propositions in which the premisses of the argument appear as the antecedent and the conclusion as the consequence. This logic, as opposed to first, or higher, order predicate logic is complete and decidable.

Jest to zawartość utworzona automatycznie. Możesz pomóc ją udoskonalić.
0
Dodaj do mojego słownika

Co chcesz powiedzieć?

Musisz się zalogować, aby wziąć udział w dyskusji.

Terminy w aktualnościach

Billy Morgan

Sport; Snowboard

Brytyjski snowboardzista Billy Morgan wylądował sportu po raz pierwszy kiedykolwiek 1800 Czteroosobowy korka. Zawodnika, który reprezentował Wielką Brytanię na Zimowych Igrzyskach Olimpijskich 2014 w Soczi, był w Livigno, Italy, kiedy osiągnął manewru. Polega na rzut cztery razy, podczas gdy ciało również obraca się pięć pełne obroty na boki lub skierowaną w dół ...

Marzieh Afkham

Nadawanie i odbiór; Aktualności

Marzieh Afkham, który jest w kraju pierwsze Ministerstwo spraw zagranicznych rzecznik, będzie szef misji w Azji Wschodniej, Państwowa agencja informacyjna zgłaszane. Nie jest jasne do kraju, który ona będzie być zaksięgowane jako jej termin nie został jeszcze oficjalnie ogłoszone. Afkham będzie tylko drugi kobieta ambasador Iranu miał. Panowania ...

Tygodniowy pakiet

Język; Usługi online; Slang; Internet

Tygodniowy pakiet lub "Paquete Semanal" jak wiadomo, na Kubie to termin używany przez Kubańczyków do opisu informacji zebranych z Internetu poza Kubą i zapisane na dyski twarde do przetransportowania do Kuby, sam. Tygodniowe pakiety są następnie sprzedawane do Cuban bez dostępu do Internetu, umożliwiając im uzyskanie informacji na kilka dni - i czasami godzin - po ...

Asian Bank Inwestycyjny infrastruktury (AIIB)

Usługi bankowe; Bankowość inwestycyjna

Asian Bank inwestycji infrastruktury (AIIB) jest międzynarodową instytucją finansową ustanowiony w celu zaspokojenia potrzeby rozwoju infrastruktury w Azji. Według Azjatycki Bank Rozwoju, Asia musi 800 miliardów dolarów każdego roku dla dróg, portów, elektrowni lub innych projektów infrastruktury przed 2020. Pierwotnie zaproponowane przez Chiny w ...

Spartan

Usługi online; Internet

Spartan to kryptonim nadana Nowa przeglądarka Microsoft Windows 10, który zastąpi Microsoft Windows Internet Explorer. Nowa przeglądarka będzie być zbudowany od podstaw i lekceważenie jakiegokolwiek kodu z platformy IE. Ma nowy silnik renderujący, który jest zbudowany ze jak sieci jest napisane dzisiaj. Nazwę Spartan pochodzi główny ...

Wyróżnione terminy

TeaTranslations
  • 0

    Terms

  • 7

    Słowniki

  • 0

    Followers

Branża/Dziedzina: Opieka zdrowotna Kategoria: Choroby

Stwardnienie zanikowe boczne

Stwardnienie zanikowe boczne (ALS) — również określone jako choroba neuronu ruchowego (MND), choroba Charcota i, w Stanach Zjednoczonych, choroba Lou ...

Polecane słowniki

Top University in Indonesia

Kategoria: Edukacja   1 10 Terms

My Favourite Historic Places In Beijing

Kategoria: Podróż   1 8 Terms