proof: be valid by contradiction

from Quasimodo
0.2 0.4 0.6 0.8 Plausible Typical Remarkable Salient

Related concepts

Parents claim
Weight: 0.69
, justification
Weight: 0.64
, material
Weight: 0.62
, evidence
Weight: 0.62
Siblings birth certificate
Weight: 0.69
, signature
Weight: 0.64
, record
Weight: 0.58
, documentation
Weight: 0.33
, doubt
Weight: 0.33

Related properties

Property Similarity
be valid by contradiction 1.00
is valid 0.85
be considered valid 0.83

Priors about this statement

Cues

0.2 0.4 0.6 0.8 Joint Necessity Sufficiency Implication Entailment Contradiction Entropy

Evidence

0.2 0.4 0.6 0.8 Plausible Typical Remarkable Salient

Clauses

Plausibility inference from child typicality

0.40
Rule weight: 0.66
Evidence weight: 0.70
Similarity weight: 0.85
Evidence: 0.19
Plausible(claim, is valid) ⋁
Evidence: 0.37
¬ Typical(proof, be valid by contradiction)

Plausibility inheritance from parent to child

0.07
Rule weight: 0.09
Evidence weight: 0.86
Similarity weight: 0.85
Evidence: 0.28
Plausible(proof, be valid by contradiction) ⋁
Evidence: 0.19
¬ Plausible(claim, is valid)

Remarkability exclusitivity betweem a parent and a child

0.32
Rule weight: 0.58
Evidence weight: 0.66
Similarity weight: 0.85
Evidence: 0.35
¬ Remarkable(proof, be valid by contradiction) ⋁
Evidence: 0.98
¬ Remarkable(claim, is valid)

Remarkability exclusitivity between siblings

0.07
Rule weight: 0.13
Evidence weight: 0.68
Similarity weight: 0.83
Evidence: 0.35
¬ Remarkable(proof, be valid by contradiction) ⋁
Evidence: 0.92
¬ Remarkable(signature, be considered valid)

Remarkability from parent implausibility

0.31
Rule weight: 0.42
Evidence weight: 0.86
Similarity weight: 0.85
Evidence: 0.19
Plausible(claim, is valid) ⋁
Evidence: 0.35
Remarkable(proof, be valid by contradiction) ⋁
Evidence: 0.28
¬ Plausible(proof, be valid by contradiction)

Remarkability from sibling implausibility

0.49
Rule weight: 0.60
Evidence weight: 0.99
Similarity weight: 0.83
Evidence: 0.28
Plausible(proof, be valid by contradiction) ⋁
Evidence: 0.92
Remarkable(signature, be considered valid) ⋁
Evidence: 0.16
¬ Plausible(signature, be considered valid)

Salient implies Plausible

0.23
Rule weight: 0.28
Evidence weight: 0.81
Similarity weight: 1.00
Evidence: 0.28
Plausible(proof, be valid by contradiction) ⋁
Evidence: 0.27
¬ Salient(proof, be valid by contradiction)

Typical and Remarkable implies Salient

0.13
Rule weight: 0.14
Evidence weight: 0.91
Similarity weight: 1.00
Evidence: 0.27
Salient(proof, be valid by contradiction) ⋁
Evidence: 0.37
¬ Typical(proof, be valid by contradiction) ⋁
Evidence: 0.35
¬ Remarkable(proof, be valid by contradiction)

Typical implies Plausible

0.35
Rule weight: 0.48
Evidence weight: 0.73
Similarity weight: 1.00
Evidence: 0.28
Plausible(proof, be valid by contradiction) ⋁
Evidence: 0.37
¬ Typical(proof, be valid by contradiction)

Typicality and Rermarkability incompatibility between a parent and a child

0.43
Rule weight: 0.51
Evidence weight: 1.00
Similarity weight: 0.85
Evidence: 0.35
¬ Remarkable(proof, be valid by contradiction) ⋁
Evidence: 0.01
¬ Typical(claim, is valid)

Typicality and Rermarkability incompatibility between siblings

0.11
Rule weight: 0.14
Evidence weight: 0.99
Similarity weight: 0.83
Evidence: 0.35
¬ Remarkable(proof, be valid by contradiction) ⋁
Evidence: 0.02
¬ Typical(signature, be considered valid)

Typicality inheritance from parent to child

0.41
Rule weight: 0.48
Evidence weight: 0.99
Similarity weight: 0.85
Evidence: 0.37
Typical(proof, be valid by contradiction) ⋁
Evidence: 0.01
¬ Typical(claim, is valid)