Formele logica bij het oplossen van problemen op het gebied van diagnose, behandeling en preventie van ziekten. Grondbeginselen van propositielogica. Wat is een verklaring? Onderwerpen, doeleinden en soorten uitspraken. Beroemde uitspraken

De uitdrukking van een bepaalde gedachte of idee vindt plaats door de vorming van zinnen. Hun kern is de gedachte die moet worden uitgedrukt. Tegelijkertijd bestaat er in de Russische taal het concept van 'verklaring'. Het lijkt op de zin, maar heeft ook een iets andere betekenis.

Wat is een verklaring

Een uiting is een geformuleerde gedachte. Bovendien komt zo'n gedachte van een specifiek persoon. Dat wil zeggen, de uiting is een herhaling van directe spraak of direct directe spraak.

Daarom kan een uiting de woorden zijn van een specifieke persoon die hij momenteel zegt of zojuist heeft gezegd. Bovendien kunnen de uitspraken de woorden van een persoon zijn die lang geleden zijn gesproken en publiekelijk bekend zijn geworden.

Dit kunnen bijvoorbeeld citaten uit films zijn: “ idiomen» beroemde mensen. Dergelijke uitspraken worden gebruikt om een ​​bepaalde situatie aan te duiden. Tegelijkertijd leggen ze heel duidelijk de essentie van de situatie uit of karakteriseren ze iemands houding ten opzichte ervan.

Veel uitspraken zijn aforismen geworden. In de regel drukken ze een gedachte zeer nauwkeurig en beknopt uit. Een uitspraak is dus altijd een gedachte en altijd een aparte zin.

Een humoristische toon is ook heel goed mogelijk. Een verklaring zijn immers de woorden die ooit door een persoon zijn uitgesproken over een bepaalde situatie of gebeurtenis.

Wat is het verschil tussen een verklaring en een zin

Elke uiting is een zin, maar niet elke zin is een verklaring. De geldigheid van deze verklaring kan als volgt worden onderbouwd:

• Een zin kan slechts één woord bevatten. Zo'n woord wordt in een algemene context gebruikt en benadrukt een enkel idee dat de auteur in de tekst tot uitdrukking brengt. Ondertussen bestaat een uitspraak uit meerdere woorden die met elkaar verbonden zijn door één enkele gedachte. Er zijn geen uitspraken van één woord;
• De zin kan inleidend zijn. Op zichzelf drukt het geen aparte gedachte uit. Maar een uitspraak drukt noodzakelijkerwijs een idee of gedachte uit;
• Een zin kan alleen bestaan ​​uit de verklaring van iemand anders. Dit is voldoende om de essentie van de tekst weer te geven.

Soorten uitspraken

Logische uitspraken worden gewoonlijk in twee typen verdeeld: elementaire logische uitspraken en samengestelde logische uitspraken.

Samengestelde logische verklaring is een verklaring gevormd uit andere verklaringen met behulp van logische verbindingen.

Logisch verband is elke logische bewerking op een instructie. Bijvoorbeeld woorden en zinsneden die in gewone spraak worden gebruikt “niet”, “en”, “of”, “als... dan”, “dan en alleen dan” zijn logische verbindingen.

Elementaire logische uitspraken- dit zijn uitspraken die geen verband houden met verbindingen.

Voorbeelden: "Petrov is een dokter", "Petrov is een schaker" - elementaire logische uitspraken. “Petrov is een dokter en een schaker” is een samengestelde logische verklaring die bestaat uit twee elementaire verklaringen die met elkaar zijn verbonden door het verbindingswoord “en”.

Verbinding met wiskundige logica

Gewone logica heeft twee waarden, dat wil zeggen dat het slechts twee waarden aan uitspraken toekent. Mogelijke waarden: het is waar of onwaar.

Laat het een statement zijn. Als het waar is, schrijf dan , en als het niet waar is, dan .

Basisbewerkingen op logische instructies

Negatie logische verklaring - een logische verklaring die de waarde 'waar' aanneemt als de oorspronkelijke verklaring onwaar is, en omgekeerd.

Voegwoord twee logische uitspraken - een logische bewering die alleen waar is als ze tegelijkertijd waar zijn.

Disjunctie twee logische beweringen - een logische bewering die alleen waar is als minstens één ervan waar is.

Implicatie twee logische beweringen A en B - een logische bewering die alleen onwaar is als B onwaar is en A waar is.

Gelijkwaardigheid(equivalentie van) twee logische uitspraken - een logische bewering die alleen waar is als ze zowel waar als onwaar zijn.

Kwantificator universaliteit() is een logische bewering die alleen waar is als voor elk object x uit een gegeven populatie de bewering A(x) waar is.

Kwantificator logische verklaring met kwantificator bestaan() is een logische bewering die alleen waar is als er in een gegeven set een object x bestaat, zodat de bewering A(x) waar is.

zie ook

• Stelling

Opmerkingen

Literatuur

• Karpenko, A.S. Modern onderzoek in filosofische logica // Logisch onderzoek. Vol. 10. - M.: Nauka, 2003. ISBN 5-02-006257-X - P. 61-93.
• Kripke, S.A. Wittgenstein over regels en individuele taal / Trans. V.A. Ladova, V.A. Surovtseva. Onder algemeen red. V.A. Surovtseva. - Tomsk: Uitgeverij Tom. Universiteit, 2005. - 152 p. - (Bibliotheek van analytische filosofie). ISBN-5-7511-1906-1
• Kurbatov, V.I. Logica. Systematische cursus. - Rostov z/d: Phoenix, 2001. - 512 d. ISBN-5-222-01850-4
• Schumann, A.N. Moderne logica: theorie en praktijk. - Minsk: Econompress, 2004. - 416 p. ISBN 985-6479-35-5
• Makarova, N.V. Informatica en ICT. - Sint-Petersburg: Peter Press, 2007 ISBN 978-5-91180-198-4 - P. 343-345.
• Kondakov N.I. Logisch woordenboek / Gorsky D. P. - M.: Nauka, 1971. - 656 p.

Wikimedia Stichting. 2010.

Kijk wat "Verklaring (logica)" is in andere woordenboeken:

Stelling: Een verklaring (logica) is een zin die waar of onwaar kan zijn. Een uiting (taalkunde) is een zin in een specifieke spraaksituatie. Zie ook Oordeel... Wikipedia

- (van het Griekse woord logos, concept, redenering, rede), of formele logica, de wetenschap van de wetten en werkingen van correct denken. Volgens het basisprincipe van L. wordt de juistheid van de redenering (conclusie) alleen bepaald door de logische vorm ervan, of... ... Filosofische encyclopedie

Een tak van de logica die de waarheidsrelaties tussen uitspraken bestudeert. In het kader van deze sectie worden uitspraken (stellingen, zinnen) alleen vanuit het perspectief bekeken. hun waarheid of onwaarheid, ongeacht hun interne subjectiviteit... Filosofische encyclopedie

propositionele logica- LOGICA VAN VERKLARINGEN, propositielogica is een deel van de symbolische logica dat complexe uitspraken bestudeert die zijn gevormd uit eenvoudige uitspraken en hun relaties. In tegenstelling tot predicatenlogica fungeren eenvoudige uitspraken als... ... Encyclopedie van epistemologie en wetenschapsfilosofie

Een grammaticaal correcte declaratieve zin, samen met de betekenis die deze uitdrukt. In de logica worden verschillende logicaconcepten gebruikt, die aanzienlijk van elkaar verschillen. Allereerst is dit het concept van beschrijvend, of beschrijvend,... ... Filosofische encyclopedie

Burrows Abadi Needham-logica of BAN-logica is een formeel logisch model voor de analyse van kennis en vertrouwen, dat veel wordt gebruikt in protocolanalyse... ... Wikipedia

Het centrale deel van de logica, dat de subjectieve predikaatstructuur van uitspraken en de waarheidsrelaties daartussen bestudeert. Lp vertegenwoordigt een betekenisvolle uitbreiding van propositielogica. In het kader van deze sectie is elke verklaring... ... Filosofische encyclopedie

Of Logic of Science, toepassing van ideeën, methoden en logica-apparatuur in analyse wetenschappelijke kennis. De ontwikkeling van de logica is altijd nauw verbonden geweest met de praktijk van het theoretisch denken en vooral met de ontwikkeling van de wetenschap. Concreet redeneren biedt logica met materiële... Filosofische encyclopedie

Basis (ongedefinieerd) concept wiskundige logica is het concept van een “eenvoudige verklaring”.

Een verklaring wordt gewoonlijk opgevat als elke verklarende zin die iets over iets zegt, en tegelijkertijd kunnen we zeggen of deze waar of onwaar is in gegeven omstandigheden van plaats en tijd. De logische betekenissen van uitspraken zijn ‘waar’ en ‘onwaar’.

Hier zijn voorbeelden van uitspraken:

1) Novgorod ligt aan de Volchov.

2) Parijs is de hoofdstad van Engeland.

3) Kroeskarper is geen vis.

4) Het getal 6 is deelbaar door 2 en 3.

5) Als de jongeman afstudeerde middelbare school, dan ontvangt hij een toelatingscertificaat.

Uitspraken 1), 4), 5) zijn waar, en 2) en 3) zijn onwaar.

Het is duidelijk dat de zin “Lang leve onze atleten!” is geen verklaring.

Een uitspraak die één uitspraak is, wordt gewoonlijk eenvoudig of elementair genoemd. Voorbeelden van elementaire uitspraken zijn uitspraken 1) en 2).

Uitspraken die worden verkregen uit elementaire uitspraken met behulp van grammaticale verbindingen "niet", "en", "of", "als ..., dan ...", "dan en alleen dan" worden meestal complex of samengesteld genoemd. Uitspraak 3) wordt dus verkregen uit de eenvoudige uitspraak “Kruiskarper is een vis” met gebruikmaking van de ontkenning “niet”, uitspraak 4) is gevormd uit elementaire uitspraken “Het getal 6 is gedeeld door 2”, “Het getal 6 is gedeeld door 3”, verbonden door het voegwoord “en”. Stelling 5) wordt verkregen uit eenvoudige uitspraken “De jongeman studeerde af aan de middelbare school”, “De jongeman ontvangt een toelatingsexamencertificaat” met behulp van het grammaticale verbindingswoord “als ...,
Dat …". Op dezelfde manier kunnen complexe uitspraken worden afgeleid van eenvoudige uitspraken met behulp van de grammaticale verbindingswoorden ‘of’, ‘dan en alleen dan’.

In de algebra van de logica worden alle uitspraken alleen bekeken vanuit het oogpunt van hun logische betekenis, en wordt hun alledaagse inhoud geabstraheerd. Er wordt aangenomen dat elke bewering waar of onwaar is en dat geen enkele bewering zowel waar als onwaar kan zijn.

In wat volgt zullen we elementaire uitspraken met letters weergeven Latijns alfabet: a,b,c,…,x,y,z,…; de echte waarde wordt aangegeven door de letter I of het cijfer 1, en de valse waarde wordt aangegeven door de letter L of het cijfer 0.

Als de verklaring A waar, dan zullen we schrijven een=1, als het vals is, dan een=0.

Logische uitspraken worden gewoonlijk in twee typen verdeeld: elementaire logische uitspraken en samengestelde logische uitspraken.

Samengestelde logische verklaring is een verklaring gevormd uit andere verklaringen met behulp van logische verbindingen.

Logisch verband is elke logische bewerking op een instructie. Bijvoorbeeld woorden en zinsneden die in gewone spraak worden gebruikt “niet”, “en”, “of”, “als... dan”, “dan en alleen dan” zijn logische verbindingen.

Elementaire logische uitspraken- dit zijn uitspraken die geen verband houden met verbindingen.

Voorbeelden: "Ivanov is een voetballer" - elementaire logische uitspraken. “Ivanov is een voetballer en een schaker” is een samengestelde logische uitspraak die bestaat uit twee elementaire uitspraken die met elkaar zijn verbonden door het verbindingswoord ‘en’.

46. ​​Elementen van de algebra van de logica

Logische algebra is een sectie van de wiskundige logica, waarvan de waarden van alle elementen (functies en argumenten) worden gedefinieerd in een set met twee elementen: 0 en 1. Logische algebra werkt met logische uitspraken.

Stelling - het is elke propositie waarover een betekenisvolle uitspraak bestaat over de waarheid of onwaarheid ervan. In dit geval wordt aangenomen dat een verklaring voldoet aan de wet van het uitgesloten midden, dat wil zeggen dat elke verklaring waar of onwaar is en niet tegelijkertijd waar en onwaar kan zijn.

Gezegden:

- "Nu sneeuwen” – deze bewering kan waar of onwaar zijn;

– “Washington is de hoofdstad van de Verenigde Staten” is een ware uitspraak;

– “Het quotiënt van 10 gedeeld door 2 is 3” – valse verklaring.

In de algebra van de logica worden alle uitspraken aangegeven met letters a, b, c Het. d. Er wordt alleen rekening gehouden met de inhoud van afschriften wanneer deze worden ingevoerd letteraanduidingen, en in de toekomst kunt u alle acties uitvoeren waarin deze algebra voorziet. Bovendien, als sommige bewerkingen die in de algebra van de logica zijn toegestaan, worden uitgevoerd op de initiële elementen van de algebra, zullen de resultaten van de bewerkingen ook elementen van deze algebra zijn.

De eenvoudigste bewerkingen in de algebra van de logica zijn de bewerkingen logische toevoeging(ook wel: operatie OF(OF), disjunctie-operatie) En logische vermenigvuldiging(ook wel: operatie EN EN),combinatiewerking). Om de werking van logische optelling aan te duiden, worden de symbolen + of V gebruikt, en worden de regels voor het uitvoeren van bewerkingen in de algebra van de logica bepaald door een aantal axioma's, stellingen en uitvloeisels. In het bijzonder zijn de volgende wetten van toepassing op de algebra van de logica:

1. Conjunctief:

47. (A + b) + c = een +(b + c),

48. (A b) met= A(B Met).

2. Reizen:

49. (een + b) = (b + A),

50. (A B)= (b een).

3. Distributie:

51. een (b + c) = een b + (een Met),

52. (a + b) c = a c + b c.

In het bijzonder zijn de volgende relaties geldig:

53. een + een = aa + b = b, Als een ≤ b,

54. een een = aa b= A, Als A ≤ B,

een + een b = aa b = b, Als A≥ B,

een + b = een, Als A≥ B.

Het kleinste element van de algebra van de logica is 0, het grootste element is 1. Een andere bewerking wordt ook geïntroduceerd in de algebra van de logica: ontkenning(operatie NIET NIET), inversie), aangegeven door een lijn boven het element.

A-priorij

Een functie in de algebra van de logica is een uitdrukking die elementen van de algebra van de logica bevat a, b, c en andere die verband houden met bewerkingen die in deze algebra zijn gedefinieerd. Voorbeelden logische functies:

enz. Deze relaties worden gebruikt om logische functies en rekencircuits te synthetiseren.

Stelling- een zin die een oordeel uitdrukt. Als een propositie die de inhoud (betekenis) van een bepaalde uitspraak vormt, waar is, dan wordt deze uitspraak waar genoemd. Op dezelfde manier wordt een verklaring die een vals oordeel uitdrukt, vals genoemd. Waarheid en onwaarheid worden logische of waarheidsbetekenissen van uitspraken genoemd.

De verklaring moet een declaratieve zin zijn. Uitspraken worden meestal gecontrasteerd met imperatieve, vragende en andere zinnen waarvan de waarheid of onwaarheid niet kan worden beoordeeld.

Encyclopedisch YouTube

• 1 / 5

  Hetzelfde oordeel kan worden uitgedrukt in verschillende talen en in verschillende tekenvormen binnen dezelfde taal. Wanneer een propositie wordt beschouwd in verband met een bepaalde vorm van de taalkundige uitdrukking ervan, wordt deze een verklaring genoemd. De term ‘oordeel’ wordt gebruikt wanneer we abstractie maken van wat de tekenvorm precies is.

  Soorten uitspraken

  Logische uitspraken worden meestal onderverdeeld in samengestelde (of complexe) en elementaire uitspraken. Samengestelde logische uitspraken zijn uitspraken die logische constanten bevatten. Samengestelde uitspraken worden opgebouwd op basis van andere uitspraken. De logische betekenis van een complexe uitspraak wordt bepaald door de logische betekenis van de uitspraken die deel uitmaken van de samenstelling ervan en de logische constanten met behulp waarvan deze is geconstrueerd.

  Elementaire logische uitspraken zijn uitspraken die geen verband houden met verbindingen. Een voorbeeld van een elementaire verklaring zou zijn 5 < 7 . Een voorbeeld van een samengestelde logische verklaring zou zijn als 5< 7, то 5 - чётное число .

  Logische constanten

  Logische constante (logische constante, logische bewerking) is de naam van een term die in alle uitspraken dezelfde betekenis behoudt en niet afhankelijk is van de specifieke inhoud van de uitspraak. Logische constanten worden gebruikt om eenvoudige uitspraken te verbinden met complexe uitspraken. Logische constanten zijn onderverdeeld in kwantoren en logische conjuncties (links). Woorden: Niet; Het is niet waar dat; En; of; als dan; als en alleen als; of anders; onverenigbaar; Nee nee; niet maar; Maar en hun meest nabije synoniemen zijn logische verbindingen, woorden voor iedereen...is het zo dat; voor sommigen... gebeurt dat zo en hun dichtstbijzijnde synoniemen zijn kwantificatoren. Logische constanten dienen zowel om gedachten uit te drukken in het dagelijkse redeneren als in wetenschappelijk bewijs.

  • ∀ (\displaystyle \vooralles)- logische constanten Alle, voor iedereen...is het zo(algemene kwantificator);
  • ∃ (\displaystyle \bestaat)- logische constanten er is er één die..., voor sommigen... gebeurt dat zo(bestaanskwantificator);
  • ∧ (\displaystyle \land), & (\ Displaystyle \ En )- unie En(voegwoord);
  • ∨ (\displaystyle \vee)- unie of wanneer het verschijnt in een verbindende, verdeeldheid zaaiende betekenis (disjunctie);
  • ∨ ˙ (\displaystyle (\punt (\vee))), ∨ ∨ (\displaystyle \vee \vee)- unie of, wanneer het verschijnt in een strikt scheidende exclusieve betekenis (disjunctie);
  • → (\ Displaystyle \ rechterpijl ), ⊃ (\ Displaystyle \ supset )- unie als dan(implicatie);
  • ¬ (\ displaystyle \ neg )- woorden Niet, fout(negatie).

  Logische conjuncties maken deel uit van de taal van de propositielogica; kwantificatoren werden bovendien geïntroduceerd in de taal van de predicatenlogica, die een uitbreiding is van de taal van de propositielogica.

  Logisch onderwerp en logisch gezegde

  Het logische onderwerp is wat er in de zin wordt gezegd (verklaring), waar de bevestigingen of ontkenningen in de zinnen naar verwijzen. Logisch predikaat - informatie vervat in een zin (verklaring) over het logische onderwerp.

  De rol van logische onderwerpen wordt gespeeld door eenvoudige en complexe namen, de rol van logische predikaten wordt gespeeld door predicatoren (of predikaten). Deze laatste omvatten eigenschappen en relaties. Predicatoren vervullen de rol van een object-waarheidstoewijzing, waarbij objecten van een bepaalde klasse een ‘waar’ of ‘onwaar’ beoordeling krijgen. In dit geval zijn eigenschappen predicatoren van één plaats, die één individueel object karakteriseren, en zijn relaties meerplaatss, die een paar, drie, enz. kenmerken. artikelen. De verklaring zelf bevat, in het geval van een predicator met meerdere plaatsen, verschillende logische onderwerpen.

  Vormen van verklaringen

  Een expressieve vorm (verklaringsvorm, predikaat) is een onvolledige logische verklaring waarin een van de objecten wordt vervangen door een objectieve variabele. Wanneer een waarde wordt vervangen door een dergelijke variabele, verandert de expressieve vorm in een statement. Onderwerpvariabelen in natuurlijke taal zijn algemene namen die klassen van onderwerpen vertegenwoordigen en die in geformaliseerde talen worden vervangen door speciale symbolen. De vorm lijkt op een bewering, maar is noch waar, noch onwaar (voor onbepaalde tijd waar), aangezien niet bekend is waar de bewering of ontkenning naar verwijst.

  De vorm van de verklaring vereist toevoeging, ongeacht of de bevestiging of ontkenning in het oordeel van toepassing is op alle objecten of niet op alle objecten van de klasse die het gegeven vertegenwoordigt gemeenschappelijke naam. De functie van dergelijke wijzers wordt uitgevoerd door expliciete of impliciete kwantoren. Het is onmogelijk om zo'n expressieve vorm als waar of onwaar te beoordelen De mens is eerlijk. De bovenstaande zin is vergelijkbaar met de uitdrukking y - eerlijk. Vanuit dit formulier kunt u een verklaring verkrijgen door de algemene naam te vervangen door een enkelvoudige naam: Ivanov is eerlijk, of door kwantoren te introduceren: Sommige mensen zijn eerlijk. Uitspraken die gebruik maken van kwantoren drukken meerdere – algemene en bijzondere – oordelen uit.

  zie ook

  Opmerkingen

  Literatuur

  • Brodsky I. N. Een elementaire inleiding tot de symbolische logica. - Uitgeverij Leningrad Universiteit, 1972. - 63 p.
  • Rosenthal D.E., Telenkova M.A. Woordenboek-naslagwerk met taalkundige termen. - 2e druk. - M.: Onderwijs, 1976.
  • Grote Sovjet encyclopedie: [in 30 delen] / hfst. red. A. M. Prokhorov. - 3e druk. - M.: Sovjet-encyclopedie, 1969-1978.
  • Kondakov N.I. Logisch woordenboek. - 2e druk. - M.: Nauka, 1975. - 721 p.
  • Chupakhin I.Ya., Brodsky I.N. Formele logica. - Leningrad: Leningrad University Publishing House, 1977. - 357 p.
  • Voishvillo E.K., Degtyarev M.G. Logica. - M.: VLADOS-PRESS, 2001. - 528 p. - ISBN 5-305-00001-7.
  • Karpenko, AS Modern onderzoek in filosofische logica // Logisch onderzoek. - M.: Nauka, 2003. - Uitgave. 10. - blz. 61-93. - ISBN 5-02-006257-X.
  • Nieuwe filosofische encyclopedie. - M., 2010. - T. 2.

  Het is bekend dat kennis van logica de algemene intellectuele cultuur van een persoon vergroot, bijdraagt ​​aan de vorming van logisch correct denken, waarvan de belangrijkste kenmerken duidelijke zekerheid, consistentie, consistentie en bewijs zijn. Het beheersen van de logische wetenschap maakt het mogelijk om bewust correcte overwegingen te construeren, deze van onjuiste te onderscheiden en te vermijden logische fouten, vakkundig en effectief de waarheid van gedachten onderbouwen, iemands opvattingen verdedigen en op overtuigende wijze de onjuiste gedachten en onjuiste overwegingen van iemands tegenstanders weerleggen, helpt de spontaan gevormde logica van het denken te verbeteren. Dankzij logica raakt iemand vertrouwd met de nieuwste resultaten van logisch onderzoek.

  Concept van uiting

  Een van de basisconcepten van logica is “ stelling" Laten we de betekenis van dit concept vaststellen.

  Elke menselijke activiteit is op de een of andere manier verbonden met verschillende uitspraken. Oordeel, opmerking, aantekening, enz. zijn uitspraken. In de logische algebra is een propositie een variabele die twee betekenissen kan aannemen en waarop bepaalde acties kunnen worden uitgevoerd. Met andere woorden: een bewering is een zin die als waar of onwaar kan worden beoordeeld.

  Op dezelfde manier wordt een variabele in de gewone propositionele algebra aangegeven met letters van een bepaald alfabet, bijvoorbeeld Latijn: A, B, X, enz.

  Soorten uitspraken Eenvoudige uitspraak

  De structuur van een verklaring kan eenvoudig of samengesteld zijn.

  Door hun betekenis bevatten uitspraken één boodschap of uitspraak over bestaande wereld. Zo'n verklaring heet eenvoudig. Bijvoorbeeld: “diagnose van een hartinfarct”; “De patiënt heeft een hartritmestoornis.”

  Samengestelde instructies (logische functies)

  Uit eenvoudige uitspraken die verbindingswoorden AND, OR en NOT gebruiken, worden samengestelde uitspraken gevormd, die worden aangeroepen logische functies. Eenvoudige instructies waaruit een samengestelde instructie wordt gevormd, worden aangeroepen logische argumenten. De zin "De patiënt voelt hevige pijn in het kaakgebied, de mond sluit niet vanzelf, het is moeilijk om te slikken en te spreken" is een samengestelde verklaring (logische functie "EN").

  Problematische, betrouwbare, voorwaardelijke verklaring

  De betekenis van een uitspraak kan problematisch, betrouwbaar of voorwaardelijk zijn

  Problematisch is een verklaring waarin iets wordt bevestigd of ontkend met een bepaalde mate van aanname. Bijvoorbeeld: “de oorzaak van de hoofdpijn is waarschijnlijk een hoge bloeddruk.”

  Betrouwbaar is een verklaring die kennis bevat, onderbouwd en geverifieerd door de praktijk. Bijvoorbeeld: ‘een persoon ademt lucht in’.

  Voorwaardelijk- dit is een uitspraak die de afhankelijkheid van een bepaald fenomeen van bepaalde omstandigheden weergeeft en waarbij basis en gevolg met elkaar verbonden zijn logische unie“als..., dit is...” Bijvoorbeeld: “als de diagnose een hartinfarct is, wordt er een hartritmestoornis waargenomen.” Bij een voorwaardelijke verklaring is het dus noodzakelijk onderscheid te maken tussen een reden en een gevolg.

  Veel betekenissen van een verklaring

  Elke bewering kan wel of niet waar zijn. In het eerste geval wordt er gebeld WAAR in de seconde - vals. Een ware bewering kan worden aangegeven met het symbool 1, en een foutieve + met het symbool 0, of omgekeerd. Deze aanwijzing is voorwaardelijk. Je kunt ook andere aanduidingssymbolen gebruiken: een ware bewering kan worden aangeduid met het symbool I, en een valse bewering met L. Dus, ongeacht de verscheidenheid aan uitspraken, kunnen ze allemaal in de algebra van de logica slechts twee betekenissen krijgen: 1 of 0.

  Er zijn uitspraken die altijd waar zijn. Bijvoorbeeld: ‘Een persoon ademt lucht in’, ‘Longontsteking is een ontsteking van de longen.’ Door de bovenstaande uitspraken respectievelijk aan te duiden met X en Y, kunnen we schrijven

  Er zijn enkele onjuiste uitspraken. Bijvoorbeeld: "Bloedarmoede is hartfalen", "Nicotine is nodig voor de ontwikkeling van een levend organisme." Door ze respectievelijk aan te duiden met S en P, kunnen we schrijven

  De meeste uitspraken kunnen waar of onwaar zijn. De uitspraak ‘iemands huid is lichtroze’ geldt alleen voor een gezond persoon, in andere gevallen is het een implicatie;  