Implico: Malsamoj inter versioj

Browse history interactively

[nekontrolita versio]

← Iru al antaŭa ŝanĝo

Enhavo forigita Enhavo aldonita

VidaVikiteksto

Enteksta

Nuna versio ekde 17:05, 29 jul. 2023

Vi povas plibonigi la jenon:

Aldonu mankanta(j)n fontindiko(j)n al la artikolo.
Bonvolu plibonigi la lingvan stilon de la artikolo.

Se vi korektis unu el la menciitaj mankoj, bonvolu forigi la koncernan parametron de la ŝablono {{Pluraj problemoj}}. Detaloj estas en la dokumentado.

Ĉi tiu artikolo bezonas poluradon, ĉar ĉu matematikisto povas forigi la fuŝojn kaj eble eĉ aldoni fontojn?.

La priskribo de la problemo troviĝas ĉi tie. Bonvolu ŝanĝi la enhavon por plibonigi la artikolon.

Implico estas kopulo, kiu ligas du logikan frazon p (antaŭulo de implico) kaj q (postanto de implico). il signifas : "el p rezultas/implicas q".( $p\implies q$ ).

Vertabelo por implico:

Se signifi vero = 1 kaj malvero = 0.

$p$	$q$	$p\implies q$
1	1	1
1	0	0
0	1	1
0	0	1

Implico povas prezenti per aliaj simboloj de matematika logiko:

$P\implies Q\iff \neg P\lor Q\iff \neg (P\land \neg Q)$

Implico havas tion ĉi kvaliton:

(P\implies Q)\iff (\neg Q\implies \neg P)

Tio ĉi formulo estas bazo de malrekta pruvo.

Vidu ankaŭ

Kategorio Implico en la Vikimedia Komunejo (Multrimedaj datumoj)

@@ Linio 1: / Linio 1: @@
+{{Pluraj problemoj|fontoj|stilo}}
-'''Implico'''  estas kopulo, kiu ligas du logikan frazon '''''p''''' (antaŭulo de implico) kaj '''''q''''' (postanto de implico). il signifas : "el '''''p''''' rezultas/implicas '''''q'''''".(<math>p \implies q</math>).
+{{Polurinda|ĉu matematikisto povas forigi la fuŝojn kaj eble eĉ aldoni fontojn?}}
+'''Implico''' estas kopulo, kiu ligas du logikan frazon '''''p''''' (antaŭulo de implico) kaj '''''q''''' (postanto de implico). il signifas : "el '''''p''''' rezultas/implicas '''''q'''''".(<math>p \implies q</math>).
-[[Tabulo de vero]] por implico:
+[[Vertabelo]] por implico:
 Se signifi '''vero = 1''' kaj '''malvero = 0'''.
@@ Linio 27: / Linio 29: @@
 |'''1'''
 |}
 Implico povas prezenti per aliaj simboloj de matematika logiko:
-<math>P\implies Q \iff \neg P \or Q \iff \neg (P \and \neg Q) </math>
+<math>P\implies Q \iff \neg P \lor Q \iff \neg (P \land \neg Q) </math>
+Implico havas tion ĉi kvaliton:
-Impliko havas tion ĉi kvaliton:
 :<math>(P\implies Q) \iff (\neg Q \implies \neg P)</math>
 Tio ĉi formulo estas bazo de [[malrekta pruvo]].
-==Vidu ankaŭ==
+== Vidu ankaŭ ==
-*[[NAND]]
+* [[Bulea algebro]]
-*[[NOR]]
+* [[NAND]]
+* [[NOR]]
+{{Projektoj}}
 [[Kategorio:Logiko]]
-[[kategorio:Matematiko]]
+[[Kategorio:Matematiko]]
-[[cs:Implikace]]
-[[de:Subjunktion]]
-[[en:Material conditional]]
-[[fa:شرطی منطقی]]
-[[he:אם-אז]]
-[[ja:論理ろんり包含ほうがん]]
-[[mk:Материјална импликација]]
-[[nl:Logische implicatie]]
-[[no:Subjunksjon (logikk)]]
-[[pt:Condição lógica]]
-[[sk:Implikácia]]
-[[sv:Implikation]]
-[[th:เงื่อนไขเชิงตรรกศาสตร์]]
-[[zh:实质条件じょうけん]]