dārgie draugi, prieks redzēt jūs šajā lapā! Cienījamais apmeklētāj, iespējams, ka jūs meklējat Vienkāršas pēdiņas ar attēliem par šo tēmu. Forši! Jūs atradāt to, ko meklējāt. Novēlam mazliet prātu plosošu lasīšanu un sevis pilnveidošanu!

Tie, kas spītīgi pārbauda savu dzīvi, lai iegūtu spēku, agri vai vēlu sasniedz savu mērķi, to faktiski izbeidz.

Es sapratu, ka, lai saprastu dzīves jēgu, vispirms ir nepieciešams, lai dzīve nebūtu bezjēdzīga un ļauna, un tad tikai prāts, lai to saprastu. Tolstojs L. N.

Nekā stiprāka mīlestība, jo tas ir neaizsargātāks. Hercogiene Diāna (Marija de Bosaka)

Reizi mūžā laime klauvē pie katra cilvēka durvīm, taču šajā laikā cilvēks bieži sēž tuvākajā krodziņā un nedzird nekādu klauvēšanu. Marks Tvens

Es nebaidos no kāda, kurš pēta 10 000 dažādu insultu. Es baidos no kāda, kurš vienu sitienu pēta 10 000 reizes.

Es katru dienu sapņoju par tevi, es domāju par tevi naktī!

Ikviens, kurš nevar sev atvēlēt 2/3 dienas, jāsauc par vergu. Frīdrihs Nīče

Es biju viens no tiem, kas piekrīt runāt par dzīves jēgu, lai būtu gatavs rediģēt izkārtojumu par šo tēmu. Eco W.

Desinit in piscem mulier formosa superne - skaista sieviete augšpusē beidzas ar zivju asti.

Mēs esam savu paradumu vergi. Mainiet savus ieradumus, mainīsies jūsu dzīve. Roberts Kijosaki

Jūs varētu sasniegt priekšu un paķert laimi. Tas ir diezgan tuvu! Bet jūs vienmēr tikai atskatāties

Jūs vienmēr varat piedot sev kļūdas, ja vien jums ir drosme tās atzīt. Bruce Lee

Pirmā mīlestības elpa ir pēdējā gudrības elpa. Entonijs Brets.

Draudzība ir mīlestība bez spārniem. Bairons

Ja cilvēks var pateikt, kas ir mīlestība, tad viņš nevienu nemīlēja.

Ko iemīlējies, tad noskūpsti.

dažu cilvēku dēļ es varu pārvarēt savu lepnumu un bailes ...

Mūsu mīlestība sākās no pirmā acu uzmetiena.

Greizsirdība ir nodevība ar aizdomām par nodevību. V. Krotovs

Ar unikālu vīrieti - es gribu atkārtot!

Romantiska sieviete riebjas pret seksu bez mīlestības. Tāpēc viņa steidz iemīlēties no pirmā acu uzmetiena. Lidija Jasinskaja

Mīlestība ir ikviena cilvēka iekšienē, taču ir vērts to parādīt tikai tiem, kas jums ir atvērti.

Mīlestības noslēpums cilvēkam sākas tajā brīdī, kad mēs uz viņu skatāmies bez vēlmes viņu ieņemt, bez vēlmes dominēt pār viņu, bez vēlmes jebkādā veidā izmantot viņa dāvanas vai viņa personību - mēs vienkārši skatāmies un esam pārsteigti pie skaistuma, kas mums ir atvērts ... Entonijs, Surožas metropolīts

Es gribētu būt primitīvā sabiedrībā. Jums nav jādomā par naudu, par armiju, par dažiem tituliem un zinātniskajiem grādiem. Svarīgas ir tikai sievietes, liellopi un vergi.

Kad cilvēkam ir neērti gulēt vienā pusē, viņš apgāžas uz otras un, kad ir neērti dzīvot, viņš tikai sūdzas. Un jūs cenšaties apgāzties. Maksims Gorkijs

Lēna laika roka izlīdzina kalnus. Voltērs

Sievietēm ir visa sirds, pat galva. Žans Pols

Tavs skūpsts bija tik jauks, ka mani vienkārši iedvesmoja laime!

Cilvēks stiepjas kā asns līdz Gaismas ķermenim un kļūst augstāks. Sapņojot par nerealizējamiem sapņiem, viņš sasniedz pārpasaulīgus augstumus.

Labāka īsta draudzība nekā viltus mīlestība!

Mums nevar atņemt pašcieņu, ja vien paši to neatdodam Gandijam.

Mīlestība ir kopā patmīlība.

Zināšanas padara cilvēku svarīgāku, un darbības liek viņam spīdēt. Bet daudzi cilvēki mēdz paskatīties, bet nesver. T. Kārlija

Tikai Krievijā mīļos sauc ... Bēdas, tu esi mans!

Neapmierināta mīlestība nav mīlestība, bet gan spīdzināšana!

Adekvātums - spēja izdarīt divas lietas: klusēt laikā un runāt laikā.

Laime nāk ar pareiziem spriedumiem, pareizie spriedumi nāk ar pieredzi, un pieredze nāk ar nepareiziem spriedumiem.

Negaidiet, ka tas kļūs vieglāk, vieglāk, labāk. Tā nebūs. Vienmēr būs grūtības. Iemācies būt laimīgs jau tagad. Pretējā gadījumā jūs nebūsiet laikā.

Dzīve, laimīga vai nelaimīga, laba vai slikta, joprojām ir ārkārtīgi interesanta. B. Šovs

Neuzskatu sevi par gudru, pretējā gadījumā jūsu dvēseli pacels lepnums, un jūs nonāksiet savu ienaidnieku rokās. Antonijs Lielais

Rūpes par sievu viņam šķita tikpat smieklīgas kā medījumu cepetis. Emīls lēnprātīgais

Vēstules un dāvanas un glancēti attēlimīlestības paušana ir svarīga. Bet vēl svarīgāk ir klausīties vienam otram aci pret aci, tā ir lieliska un reta māksla. T. Jansons.

Dzīve ir sakārtota tik velnišķīgi prasmīgi, ka, nezinot, kā ienīst, nav iespējams patiesi mīlēt. M. Gorkijs

Tas ir jauki, kad tavs mīļotais vienkārši pasniedz tev milzīgu pušķi, tas ir jauki, sasodīts!

Bez bailēm cilvēki pārvēršas par neapdomīgiem muļķiem, kuri bieži atsakās no savas dzīves. Īzaks Asimovs Fantastisks ceļojums II

Draugs ir viena dvēsele, kas dzīvo divos ķermeņos. Aristotelels

Būt personai, kas domā tikai par sevi, nenozīmē darīt visu, ko vēlaties. Tas nozīmē, ka vēlas visu pasauli dzīvot tā, kā tu vēlies. - O. Vailds

Katrai mātei vajadzētu izdomāt dažas minūtes brīva laika, lai pati mazgātu traukus.

Zem izrunatiek saprasts valodas izteiciens, par kuru var teikt tikai vienu no divām lietām: patiesa vai nepatiesa. Izteikumiem, atšķirībā no spriedumiem, nav personiska rakstura.

Jautājumi, pieprasījumi, rīkojumi, izsaukumi, atsevišķi vārdi (izņemot gadījumus, kad tie darbojas kā tādu paziņojumu pārstāvji kā "kļūst tumšs", "kļūst auksts" utt.) Nav apgalvojumi. Viņu apgalvojumu patiesums un nepatiesība ir viņu patiesība loģiskās vērtības.

Izteikumi ir sadalīti atribūtīvos, eksistenciālos un relatīvos.

Atributīvssauc par paziņojumiem, kuros tiek apstiprināts vai noliegts objekta īpašums vai stāvoklis.

Eksistenciālstiek saukti apgalvojumi, kas apstiprina vai noliedz esamības faktu.

Relācijusauc par paziņojumiem, kas pauž attiecības starp objektiem.

Izteikumi, tāpat kā to loģiskās formas, ir vienkārši un sarežģīti. Grūtipaziņojumu var sadalīt vienkāršos. Vienkārši apgalvojumi nav sadalīti vienkāršākos.

Vienkāršam atributīvajam apgalvojumam ir struktūra, kas ietver priekšmetu, predikātu un savienojumu.

Priekšmetsizteicieni (S) ir tā izrunas daļa, kas pauž domas priekšmetu.

Paredzētizteikumi (P) ir izteiciena daļa, kas parāda domāšanas objekta, tā īpašuma, stāvokļa un attieksmes pazīmi.

Tiek saukts priekšmets (S) un predikāts (P) noteikumiem. Ķekars norāda saikni starp terminiem (S un P).

Atributīvajos izteikumos bieži izmanto esamību un kopienas kvantorus.

Atributīvie apgalvojumi tiek klasificēti pēc kvalitātes un kvantitātes.

Pēc kvalitātes tos iedala pozitīvos un negatīvos. IN apstiprinošs norāda predikātā iespējamo atribūta piederību (klātbūtni) apgalvojuma subjektam: "S ir P". Piemēram: "Platons ir ideālists filozofs." IN negatīvs norāda, ka predikāts nepieder pie tā subjekta: "S nav P".

Pēc paziņojumu skaita tie tiek sadalīti atsevišķos, privātajos un vispārējos. Tas attiecas uz atsevišķu objektu kopumu (skaitu, daudzumu), kas veido subjekta klases nosaukumu.

IN viens izteikumi, subjekts sastāv no viena objekta.

Privātspaziņojumi ir šādi: "Daži S ir (nav) P".

IN bieži izrunās subjekts aptver visus objektus. Šādiem apgalvojumiem ir šāda forma: "Viss S ir (nav) P".

Paziņojumus klasificē pēc kvalitātes un kvantitātes. Ir 4 kategoriju paziņojumi:

1) vispārīgi apstiprinoši (UN) -vispārīgi kvantitatīvi un apstiprinoši pēc kvalitātes ("Viss S ir P");

2) daļēji apstiprinoša (J)- kvantitātes koeficients un apstiprinoša kvalitāte (“Daži S ir R ");

3) vispārējs negatīvs (E) - vispārīgi kvantitatīvi un negatīvi pēc kvalitātes ("Nē S nav P");

4) daļēji negatīvs (PAR)- kvantitātes un negatīvās kvalitātes koeficients ("Daži S nav P").

Katrā apgalvojumu klasē S un P (terminu) attiecība ir atšķirīga. Loģikā tiek izsaukta apjomu S un P attiecības problēma terminu izplatīšanas problēma. Termins tiek piešķirts, ja tas ir pilnībā iekļauts cita termina darbības jomā vai ir pilnībā izslēgts no tā.

A klasē Visi S ir P | priekšmets predikātā ir pilnībā sadalīts, un predikāts netiek izplatīts.

Izsakot noliegumu

Starp nolieguma apgalvojumiem apgalvojumi tiek izšķirti ar ārēju un iekšēju noliegumu. Atkarībā no pētījuma mērķiem nolieguma apgalvojumu var uzskatīt vai nu par vienkāršu, vai par sarežģītu apgalvojumu.

Apsverot negācijas paziņojumu kā vienkāršu paziņojumu, svarīgs uzdevums ir noteikt pareizu apgalvojuma loģisko formu:

Vienkāršu paziņojumu, kas satur iekšēju noliegumu, parasti sauc par negatīviem apgalvojumiem (sk. "Atributīvo paziņojumu veidi pēc kvalitātes"). Piemēram: " Daži Baltkrievijas Republikas iedzīvotāji neizmanto bankas aizdevumus ”,“ Neviens zaķis nav plēsējs ”;

Pareiza vienkārša apgalvojuma loģiskā forma ar ārēju noliegumu ir apgalvojums, kas ir pretrunā ar norādīto (sk. "Loģiskās attiecības starp paziņojumiem. Loģiskais kvadrāts"). Piemēram: paziņojums "Ne visi cilvēki ir alkatīgi" atbilst teicienam “Daži cilvēki nav alkatīgi».

Uzskatot nolieguma apgalvojumu par sarežģītu apgalvojumu, ir jānosaka tā loģiskā nozīme.

Sākotnējais teiciens: Saule spīd (R).

Izsakot atteikumu: Saule nespīd (┐p).

Sakot dubultu noliegumu: Nav taisnība, ka saule nespīd (┐┐p).

Nolieguma apgalvojums ir patiess tikai tad, ja sākotnējais apgalvojums ir nepatiess, un otrādi. Divkāršās noliegšanas likums ir saistīts ar nolieguma apgalvojumu: patvaļīga apgalvojuma dubultā noliegšana ir līdzvērtīga pašam apgalvojumam. Nolieguma paziņojuma patiesuma nosacījumi parādīti attēlā. 16.

Sarežģīti tiek uzskatīts apgalvojums, kas sastāv no vairākiem vienkāršiem apgalvojumiem, kas savienoti, izmantojot loģiskus saikļus "un", "vai", "ja ..., tad ..." utt. Kompleksie apgalvojumi ietver savienojošus, atdalošus, nosacītus, līdzvērtīgus apgalvojumus, kā kā arī paziņojumu noliegšana.

Izteikuma savienošana (saikne) - Šis ir sarežģīts paziņojums, kas sastāv no vienkārša, savienota, izmantojot loģisko savienojumu "un". Loģisko savienojumu "un" (saikni) dabiskā valodā var izteikt gramatiskās savienības "un", "bet", "tomēr", "arī" utt. Piemēram: "Pienāca mākoņi, un sāka līt", "Un priecājas lieli un mazi lai tev jauka diena» ... Loģikas simboliskajā valodā šie apgalvojumi tiek rakstīti šādi: p∧q... Savienojums ir patiess tikai tad, ja visi tā veidojošie vienkāršie apgalvojumi ir patiesi (17. attēls).

Atdalošais paziņojums (disjunkcija).Izšķir vāju un spēcīgu disjunkciju. Vāja disjunkcija atbilst saiknes "vai" lietošanai savienojošā-atdalošā nozīmē (vai nu viens, vai otrs, vai abi kopā). Piemēram: "Šis students ir sportists vai izcils students" (p⋁q), "Iedzimtības faktori, slikta ekoloģija un slikti ieradumi ir lielākās daļas slimību cēloņi"(p⋁q⋁r). Vāja disjunkcija ir taisnība, ja vismaz viens no tās vienkāršajiem apgalvojumiem ir patiess (sk. 17. att.).

Spēcīga disjunkcija atbilst saiknes "vai nu" lietošanai ekskluzīvi-separatīvā nozīmē (vai nu viens, vai otrs, bet ne abi kopā). Piemēram: "Vakarā es būšu klasē vai apmeklēšu diskotēku", "Vīrietis ir vai nu dzīvs, vai miris"... Simbolisks apzīmējums p⊻q... Spēcīga disjunkcija ir taisnība, ja ir patiess tikai viens no tās vienkāršajiem apgalvojumiem (sk. 17. att.).

Nosacījuma paziņojums (netieši) - Šis ir sarežģīts apgalvojums, kas sastāv no divām daļām, kuras savieno loģiska savienība "ja ... tad ...". Izraksts aiz daļiņas "ja" tiek saukts par bāzi, bet pēc "tad" teikto - par efektu. Nosacījumu izteikumu loģiskajā analīzē implikācijas pamats vienmēr tiek likts sākumā. Dabiskajā valodā šis noteikums bieži netiek ievērots. Nosacījuma paziņojuma piemērs: "Ja bezdelīgas lido zemu, līs" (p → q). Implikācija ir nepatiesa tikai vienā gadījumā, ja tās pamats ir patiess, un sekas ir nepatiesas (sk. 17. att.).

Līdzvērtīgs paziņojums - Šis ir apgalvojums, kas sastāv no vienkāršiem, kurus savieno loģiska savienība “ja un tikai tad, ja” (“ja un tikai tad, ja… tad…”). Ekvivalents apgalvojums nozīmē divu situāciju vienlaicīgu klātbūtni vai neesamību. Dabiskajā valodā ekvivalentu var izteikt ar gramatiskiem savienojumiem "ja ..., tad ...", "tikai gadījumā, ja ..." utt. Piemēram: “Mūsu komanda uzvarēs tikai tad, ja labi sagatavosies» ( p↔q). Ekvivalents apgalvojums būs patiess, ja tā sastāvdaļas ir vai nu vienlaikus patiesas, vai vienlaikus nepatiesas (sk. 17. attēlu).

Lai noformētu argumentāciju, ir nepieciešams:

1) atrodiet un atzīmējiet ar mazajiem līdzskaņiem latīņu alfabēts vienkārši apgalvojumi, kas ir daļa no kompleksa. Mainīgie tiek piešķirti patvaļīgi, bet, ja viens un tas pats vienkāršais paziņojums notiek vairākas reizes, tad atbilstošo mainīgo izmanto tikpat reižu;

2) atrod un apzīmē loģiskās savienības (∧, ⋁, ⊻, →. ↔, ┐) ar loģiskām konstantēm;

3) ja nepieciešams, izvieto tehniskās zīmes [...], (...).

Att. 18. attēlā parādīts sarežģīta paziņojuma formalizēšanas piemērs .

Es jau esmu brīva p) un (∧), ja es nē kavēšanās (┐q) vai (⋁) nav automašīna sabojājas (┐r), tad (→)es drīz atnākšu s) .

p ∧ ((┐q ⋁ ┐r) → s

Attēls: astoņpadsmit

Pēc tam, kad paziņojums ir uzrakstīts simboliskā formā, jūs varat noteikt formulas veidu. Loģikā pastāv identiski patiesas, identiski nepatiesas un neitrālas formulas. Identiski patiesas formulas neatkarīgi no to sastāvā iekļauto mainīgo lielumiem vienmēr ņem vērtību “patiess”, un identiski nepatiesas - vērtību “nepatiesa”. Neitrālās formulas iegūst gan vērtību “true”, gan vērtību “false”.

Lai noteiktu formulas veidu, tiek izmantota tabulas metode, saīsināta metode, lai pārbaudītu formulas patiesumu, izmantojot metodi "samazināt līdz absurdam" un samazināt formulu līdz normālai formai. Dažas formulas normālā forma ir tās izteiksme, kas atbilst šādiem nosacījumiem:

Nesatur implikācijas, līdzvērtības, stingras disjunkcijas un dubultas noliegšanas pazīmes;

Negatīvās pazīmes ir atrodamas tikai mainīgajiem.

Formulas veida noteikšana tabulas veidā:

1. Izveidojiet ievades vērtību kolonnas katram no pieejamajiem mainīgajiem. Šīs kolonnas sauc par brīvām (neatkarīgām), tajās tiek ņemtas vērā visas iespējamās mainīgo vērtību kombinācijas. Ja formulā ir divi mainīgie, tad tiek veidotas divas brīvās kolonnas, bet, ja ir trīs mainīgie, tad trīs kolonnas utt.

2. Katrai apakšformulai, tas ir, formulas daļai, kas satur vismaz vienu savienojumu, tiek veidota tā vērtību kolonna. Tas ņem vērā brīvo kolonnu vērtības un loģiskās savienības iezīmes (sk. 17. att.).

3. Izveidojiet izejas vērtību kolonnu visai formulai kopumā. Rezultātu kolonnā iegūtās vērtības nosaka formulas veidu. Tātad, ja izvades kolonnā ir tikai vērtība "true", tad formula atsauksies uz identiski true utt.

Kolonnu skaits tabulā ir vienāds ar formulas mainīgo lielumu un tajā esošo savienību summu. (Piemēram: formulā 18. attēlā ir četri mainīgie un piecas savienības, tāpēc tabulā būs deviņas kolonnas).

Rindu skaitu tabulā aprēķina pēc formulas C \u003d 2 nkur n - mainīgo skaits. (Formulas tabulā 18. attēlā jābūt sešpadsmit rindām.)

Att. 19 ir parādīts patiesības tabulas piemērs.

Saīsināts veids, kā pārbaudīt patiesības formulu, samazinot līdz absurdam:

((p⋁q) ⋁r) → (p⋁ (q⋁r))

1. Pieņemsim, ka šī formula nav identiski patiesa. Tāpēc attiecībā uz noteiktu vērtību kopu tā iegūst vērtību "nepatiesa".

2. Šī formula var iegūt vērtību “nepatiesa” tikai tad, ja implikācijas bāze (p⋁q) baser ir “taisnība” un sekas p⋁ (q⋁r) ir “nepatiesa”.

3. implikācijas p⋁ (q⋁r) sekas būs nepatiesas gadījumā, ja p ir „false” un q⋁r ir „false” (vājas disjunkcijas nozīmi skat. 17. attēlā).

4. Ja q⋁r ir “false”, tad gan q, gan r ir “false”.

5. Mēs esam noskaidrojuši, ka p ir "nepatiesa", q ir "nepatiesa" un r ir "nepatiesa". Implikācijas bāze (p⋁q) ⋁r ir vāja šo mainīgo disjunkcija. Tā kā vāja disjunkcija iegūst vērtību "false", kad visas tās sastāvdaļas ir nepatiesas, implikācijas bāze (p⋁q) ⋁r būs arī "false".

6. 2. punktā tika noteikts, ka implikācijas bāze (p⋁q) baser ir "patiesa", un 5. punktā - "nepatiesa". Rezultātā radušās pretrunas norāda, ka pieņēmums, ko mēs izdarījām 1. sadaļā, ir nepareizs.

7. Tā kā šī formula nepieņem vērtību "nepatiesa" jebkurai tās mainīgo vērtību kopai, tā ir identiski patiesa.

3.8. Loģiskas attiecības starp paziņojumiem
(loģisks kvadrāts)

Savienojumi tiek izveidoti starp paziņojumiem, kuriem ir līdzīga nozīme. Apsveriet saikni starp vienkāršiem un sarežģītiem apgalvojumiem.

Loģikā viss apgalvojumu kopums ir sadalīts salīdzināmos un nesalīdzināmos. Vienkāršu paziņojumu vidū nav salīdzināmi apgalvojumi, kuriem ir dažādi aktieri vai predikāti. Piemēram: "Visi studenti ir studenti" un "Daži studenti ir izcili studenti".

Salīdzināmi ir apgalvojumi ar vieniem un tiem pašiem priekšmetiem un predikātiem, un tie atšķiras pēc saista un kvantatora. Piemēram: "Visiem Baltkrievijas Republikas pilsoņiem ir tiesības atpūsties" un "Nevienam Baltkrievijas Republikas pilsonim nav tiesību atpūsties".

Starp salīdzināmiem apgalvojumiem tiek nošķirts saderīgs un nesaderīgs.

Saderības attiecība

1. Līdzvērtība ( pilnīga saderība) - apgalvojumi, kuriem ir vienādas loģiskās īpašības: vieni un tie paši subjekti un predikāti, tā pati apstiprinošā vai negatīvā saista, tā pati loģiskā īpašība. Līdzvērtīgi apgalvojumi atšķiras ar vienas un tās pašas domas verbālo izteiksmi. Loģiskais kvadrāts netiek izmantots, lai ilustrētu attiecības starp šiem apgalvojumiem.

2... Daļēja savietojamība (apakšuzņēmums, apakšuzņēmējs). Šajā ziņā ir daļēji apstiprinoši un daļēji negatīvi apgalvojumi (I un O). Tas nozīmē, ka divi šādi apgalvojumi vienlaikus var būt patiesi, bet vienlaikus nepatiesi. Ja viens no tiem ir nepatiess, tad otrs noteikti ir patiess. Ja viens no tiem ir patiess, tad otrs ir nenoteikts.

3... Subordinācija (pakļautība). Šajā sakarā parasti ir apstiprinoši un daļēji apstiprinoši apgalvojumi (A un I), kā arī vispārīgi negatīvi un daļēji negatīvi apgalvojumi (E un O).

Konkrētā patiesība vienmēr izriet no vispārīga apgalvojuma patiesuma. Kaut arī konkrēta apgalvojuma patiesums norāda uz vispārēja apgalvojuma nenoteiktību.

No konkrēta apgalvojuma nepatiesības vienmēr izriet vispārīga apgalvojuma nepatiesība, bet ne otrādi.

Nesaderības attiecības.Nesaderīgi apgalvojumi ir apgalvojumi, kas vienlaikus nevar būt patiesi:

1. Pretī (pretī, skaitītājs) - šajā ziņā parasti ir apstiprinoši un parasti negatīvi apgalvojumi (A un E). Šīs attiecības nozīmē, ka divi šādi apgalvojumi vienlaikus nevar būt patiesi, bet gan vienlaikus nepatiesi. Ja viens no tiem ir patiess, tad otrais noteikti ir nepatiess. Ja viena no tām ir nepatiesa, tad otra ir nenoteikta.

2. Pretrunas (pretrunīgas) - tas satur vispārīgus apstiprinošus un daļēji negatīvus apgalvojumus (A un O), kā arī vispārīgus negatīvus un daļēji apstiprinošus apgalvojumus (E un I). Divi pretrunīgi apgalvojumi nevar būt vienlaikus nepatiesi vai vienlaikus patiesi. Viens noteikti ir patiess, bet otrs - nepatiess.

Starp sarežģītiem izteikumiem ir salīdzināmi apgalvojumi, kuriem ir vismaz viena identiska sastāvdaļa. Citādi grūti paziņojumi nesalīdzināms.

Salīdzināmi sarežģīti apgalvojumi var būt vai var nebūt saderīgi.

Saderības attiecība nozīmē, ka apgalvojumi vienlaikus var būt patiesi: