Casos de confirmació d'hipòtesi
De Wikisofia
La revisió el 10:17, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Casos de confirmació d'hipòte...».)
La revisió el 10:17, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Casos de confirmació d'hipòte...».)
Plantilla:RecursoEnlace Plantilla:Multimèdia
Així, la hipòtesi «Els conills en dejú són carnívors» (veure text ), que podem escriure
[math]\displaystyle{ \forall{x} (Ax\rightarrow{Cx}) }[/math]
queda confirmada per l'observació de casos de
[math]\displaystyle{ \exists{x} (Ax \wedge Cx) }[/math]
(conills en dejú que es mostren carnívors)
queda desconfirmada per l'observació de casos de
[math]\displaystyle{ \exists{x} (Ax \wedge ¬Cx) }[/math]
(conills en dejú que no donen mostres de ser carnívors)
queda indiferent davant l'observació de casos de
[math]\displaystyle{ \exists{x} (¬Ax \wedge ¬Cx) }[/math]
(conills que no estan en dejú i que no donen mostres de ser carnívors). Plantilla:Propietat