ከ«ጥገኛ አምክንዮ» ለውጦች መካከል ያለው ልዩነት
Content deleted Content added
No edit summary |
|||
መስመር፡ 6፦
ከላይ የተጻፉትን አረፍተ ነገሮች አነጻጽረው እኩለነታቸውን ያረጋግጡ
=== ===
{| class="wikitable"
|+▼
|-
| የጥገኛ አምክንዮ ጸባዮች || ትርጓሜ ከ[[እውነታ ሰንጠረዥ]] አንጻር
|-
| * ትርጓሚያዊ እኩለንት: <math>(a \rightarrow b) \equiv</math><big><big>(~a ወይም b)</big></big> || ! style="width:35px;background:#aaaaaa;" | p || ! style="width:35px;background:#aaaaaa;" | q || ! style="width:35px" | '''p ⇒ q'''
|-
| *ጥገኝነት [[የራሱ ነጸብራቅ]] ነው: <math>a \rightarrow a</math> || ! style="width:35px;background:#dddddd;" | እውነት || ! style="width:35px;background:#dddddd;" | እውነት || ! style="width:35px;background:#dddddd;" | እውነት
|-
*ጥገኝነት [[ተሻጋሪ]] ነው: <math>(a \rightarrow b) \rightarrow ((b \rightarrow c) \rightarrow (a \rightarrow c))</math> || ! style="width:35px;background:#dddddd;" | እውነት || ! style="width:35px;background:#dddddd;" | ውሸት || ! style="width:35px;background:#dddddd;" | ውሸት▼
|-
|
*ጥገኝነት [[ታዳይ]] ነው: <math>(s \rightarrow (p \rightarrow q)) \rightarrow ((s \rightarrow p) \rightarrow (s \rightarrow q))</math> || ! style="width:35px;background:#dddddd;" | ውሸት || ! style="width:35px;background:#dddddd;" | እውነት || ! style="width:35px;background:#dddddd;" | እውነት ▼
|-
| || ! style="width:35px;background:#dddddd;" | ውሸት || ! style="width:35px;background:#dddddd;" | ውሸት || ! style="width:35px;background:#dddddd;" | እውነት
|}
▲*ጥገኝነት [[ታዳይ]] ነው: <math>(s \rightarrow (p \rightarrow q)) \rightarrow ((s \rightarrow p) \rightarrow (s \rightarrow q))</math>
▲*ጥገኝነት [[ተሻጋሪ]] ነው: <math>(a \rightarrow b) \rightarrow ((b \rightarrow c) \rightarrow (a \rightarrow c))</math>
== ሙሉ ማብራሪያ ==
| |||