სამმნიშვნელობიანი ლოგიკა: განსხვავება გადახედვებს შორის
| [შემოწმებული ვერსია] | [შემოწმებული ვერსია] |
შიგთავსი ამოიშალა შიგთავსი დაემატა
ხაზი 299:
* <math>\textbf L A = \neg \textbf M \neg A</math>
* <math>\textbf I A = \textbf M A \land \neg \textbf L A</math>
მათ შეესაბამებათ ჭეშმარიტების შემდეგი ცხრილები:
{| style="border-spacing: 10px 0;" align="center"
|- valign="bottom"
|
{| class = "wikitable" width: 350px; style: text-align = "center"
! style="background: gainsboro" width="30" |''A''
! style="background: gainsboro" width="30" |'''M'''A
|-
| style="background: #ff9090" | '''F'''
| style="background: #ff9090" | F
|-
| style="background: gainsboro" | '''U'''
| style="background: #90ff90" | T
|-
| style="background: #90ff90" | '''T'''
| style="background: #90ff90" | T
|}
|
{| class = "wikitable" width: 350px; style: text-align = "center"
! style="background: gainsboro" width="30" |''A''
! style="background: gainsboro" width="30" |'''L'''A
|-
| style="background: #ff9090" | '''F'''
| style="background: #ff9090" | F
|-
| style="background: gainsboro" | '''U'''
| style="background: #ff9090" | F
|-
| style="background: #90ff90" | '''T'''
| style="background: #90ff90" | T
|}
|
{| class = "wikitable" width: 350px; style: text-align = "center"
! style="background: gainsboro" width="30" |''A''
! style="background: gainsboro" width="30" |'''I'''A
|-
| style="background: #ff9090" | '''F'''
| style="background: #ff9090" | F
|-
| style="background: gainsboro" | '''U'''
| style="background: #90ff90" | T
|-
| style="background: #90ff90" | '''T'''
| style="background: #ff9090" | F
|}
[[კატეგორია: სამობითი ლოგიკა]]
[[კატეგორია: მათემატიკური ლოგიკა]]
| |||