ከ«ጥገኛ አምክንዮ» ለውጦች መካከል ያለው ልዩነት

Content deleted Content added
No edit summary
No edit summary
መስመር፡ 6፦
ከላይ የተጻፉትን አረፍተ ነገሮች አነጻጽረው እኩለነታቸውን ያረጋግጡ
=== ===
 
{| class="wikitable"
|-
| የጥገኛ አምክንዮ ጸባዮች || ትርጓሜ ከ[[እውነታ ሰንጠረዥ]] አንጻር
|-
Line 16 ⟶ 14:
| *ጥገኝነት [[የራሱ ነጸብራቅ]] ነው: <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>(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;" | እውነት
|
*ጥገኝነት [[ታዳይ]] ነው: <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;" | እውነት
|}
 
 
 
 
 
 
 
 
== ሙሉ ማብራሪያ ==