Izteikumu konjunkcija
Saliktu izteikumu "A un B" sauc par izteikumu konjunkciju. To pieraksta "A ⋀ B".
Piemērs:
"Paralelograma diagonāles krustojas un krustpunktā dalās uz pusēm" būs patiess tikai vienā gadījumā - tad, kad abi izteikumi būs patiesi: diagonāles krustosies un krustpunktā dalīsies uz pusēm.
Izteikumu konjukcija ir patiesa tikai vienā gadījumā - kad abi izteikumi A un B ir patiesi.
Vienmēr aplams ir izteikums A ⋀ Ã, bet vienmēr patiess – izteikums A ⋁ Ã.
Piemērs:
"Lietus līst un lietus nelīst." ~ a
"Lietus līst vai lietus nelīst." ~ p
Izteikumu ekvivalence
Par divu izteikumu A un B ekvivalenci sauc izteikumu, kas ir patiess tad un tikai tad, kad izteikumi A un B abi ir vai nu patiesi, vai aplami.
Izteikumu A un B ekvivalenci apzīmē A ⇔B un lasa A ekvivalents ar B jeb A tad un tikai tad, ja B.
Ekvivalence izsaka loģisko līdzvērtīgumu.
!!! Ekvivalence A ⇔ B ir tiešās implikācijas A ⇒ B un apgrieztās implikācijas B ⇒ A apvienojums jeb konjunkcija.
Piemērs:
Skaitlis dalās ar 18 tad un tikai tad, ja tas dalās ar 2 un ar 9. (patiesa ekvivalence)
…
