სამმნიშვნელობიანი ლოგიკა: განსხვავება გადახედვებს შორის
[შემოწმებული ვერსია] | [შემოწმებული ვერსია] |
შიგთავსი ამოიშალა შიგთავსი დაემატა
ხაზი 294:
* <math>A \Leftrightarrow B = (A \rightarrow B) \land (B \rightarrow A)</math>
აგრეთვე, შესაძლებელია რამდენიმე სხვა სასარგებლო უნარული ოპერატორების წარმოებაც (პირველად წარმოებულ იქნა [[ალფრედ ტარსკი]]ს მიერ 1921 წელს):
* <math>\textbf M A = \neg A \rightarrow A</math>
* <math>\textbf L A = \neg \textbf M \neg A</math>
* <math>\textbf I A = \textbf M A \land \neg \textbf L A</math>
[[კატეგორია: სამობითი ლოგიკა]]
[[კატეგორია: მათემატიკური ლოგიკა]]
|